Formal System

BASIC Programming

VideoGame

1979 video game

BSASPEC

Place

Nikhil Nandhi/ Pavan Tickson

Superbase database

Place

end-user desktop database program

ABSET

Place

declarative programming language

Syntax Definition Formalism

Place

metasyntax used to define context-free grammars

algebraic semantics

Place

form of axiomatic semantics

WATFIV

Place

implementation of the Fortran computer programming language

Actor

Place

programming language

flow chart language

Place

programming language

NewtonScript

Place

programming language

SNOBOL4

Place

programming language tailored to complex pattern matching and text manipulation

KL1

Place

experimental AND-parallel version of KL0

SMALL

Place

programming language

OBJ

Place

programming language family

BBN LISP

Place

dialect of the Lisp programming language

XBasic

Place

variant of the BASIC programming language

Power Fx

Place

programming language

TELCOMP

Place

interactive, conversational language based on JOSS

Flavors

Place

programming language

AgentSheets

Place

cyber gaming-learning tool for programming and related information technology skills

PWCT

Place

Programming Without Coding Technology

XBLite

Place

free Open Source BASIC programming language compiler and development system

3APL

Place

experimental tool and programming language

Parser

Place

scripting language targeting server-side web development

Silq

Place

quantum programming language

GNU Awk

Place

Text scanning and processing language

SynthEdit

Place

framework to generate music software

Compiler Description Language

Place

programming language based on affix grammars

Spice Lisp

Place

Lisp dialect

MAI Basic Four

Organization

variety of Business Basic

Babbage

Place

high level assembly programming language for the GEC 4000 series minicomputers

LYaPAS

Place

programming language

Gambit

CreativeWork

software which interprets and compiles Scheme code into C code

Optimization Programming Language

Place

algebraic modeling language

Hamilton C shell

Place

clone of the Unix C shell and utilities for Microsoft Windows

GameMonkey Script

Place

Robot Battle

VideoGame

programming game for Microsoft Windows where players design and code adaptable battling robots

SISAL

Place

programming language

Sing#

Place

programming language

Allegro Common Lisp

Place

programming language with an integrated development environment (IDE)

Orc

Place

programming language

COWSEL

Place

programming language

Prograph

Place

visual, object-oriented, dataflow, multiparadigm programming language

Open Roberta

Place

project within the German education initiative "Roberta—Learning with robots"

Stanford Artificial Intelligence Language

Place

computer programming language

ARITH-MATIC

Place

extension of Grace Hopper's A-2 programming language

Constraint Handling Rules

Place

declarative, rule-based language

Scriptlet

Place

Java-code embedded in the HTML-like JSP code

Control Language

Place

IBM operating system scripting language

IBM Query Management Facility

Place

business analytics software solution

Vilnius BASIC

Place

dialect of the BASIC programming language

Opal

Place

programming language

JModelica.org

Place

free and open source software platform based on the Modelica modeling language

RAPID

Place

high-level programming language used to control ABB industrial robots

Oak

Place

programming language

Noop

Place

project by Google engineers Alex Eagle and Christian Gruber aiming to develop a new programming language

Forte 4GL

Place

proprietary application server

Concurrent Haskell

Place

extension of Haskell 98 with explicit concurrency

DOPE

Place

programming language

PL/Perl

Place

implementation of the Perl programming language for PostgreSQL database systems