Formal System

Global Arrays

Place

library developed by scientists at Pacific Northwest National Laboratory for parallel computing

Odin

Place

programming language

A Manufacturing Language

Place

general-purpose programming language

Rocky Mountain BASIC

Place

dialect of the BASIC programming language

Superbase database

Place

end-user desktop database program

OBJ

Place

programming language family

Franz Lisp

SoftwareApplication

dialect of the Lisp programming language

ARITH-MATIC

Place

extension of Grace Hopper's A-2 programming language

Parser

Place

scripting language targeting server-side web development

SNOBOL4

Place

programming language tailored to complex pattern matching and text manipulation

Scriptlet

Place

Java-code embedded in the HTML-like JSP code

XBLite

Place

free Open Source BASIC programming language compiler and development system

Whiley

Place

programming language

Bosque

Place

programming language

Robot Battle

VideoGame

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

BBN LISP

Place

dialect of the Lisp programming language

Concurrent Haskell

Place

extension of Haskell 98 with explicit concurrency

DOPE

Place

programming language

SISAL

Place

programming language

Power Fx

Place

programming language

IBM Query Management Facility

Place

business analytics software solution

Flavors

Place

programming language

Euclid

Place

imperative programming language for writing verifiable programs

LYaPAS

Place

programming language

Actor

Place

programming language

2.PAK

Place

Programming language for artificial intelligence

Allegro Common Lisp

Place

programming language with an integrated development environment (IDE)

AgentSheets

Place

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

RUR-PLE

Place

educational tool to help students learn the Python programming language

Optimization Programming Language

Place

algebraic modeling language

1C:Enterprise programming language

Place

programming language

Hamilton C shell

Place

clone of the Unix C shell and utilities for Microsoft Windows

PIC

Place

Typesetting language and program for drawing

Blue

Place

programming language

MAI Basic Four

Organization

variety of Business Basic

GameMonkey Script

Place

Constraint Handling Rules

Place

declarative, rule-based language

MapBasic

SoftwareApplication

programming language

Le Lisp

Place

implementation of Lisp developed in France

Baltie

Place

block programming language

Agora

Place

reflective, prototype-based, object-oriented programming language

Control Language

Place

IBM operating system scripting language

Open Roberta

Place

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

Parlog

Place

programming language

Gambit

CreativeWork

software which interprets and compiles Scheme code into C code

Prograph

Place

visual, object-oriented, dataflow, multiparadigm programming language

COWSEL

Place

programming language

Orc

Place

programming language

Lynx

Place

programming language

Basic4ppc

Place

programming language for Pocket PC handheld computers running Windows Mobile operating system

Oak

Place

programming language

RAPID

Place

high-level programming language used to control ABB industrial robots

JModelica.org

Place

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

Forte 4GL

Place

proprietary application server

Zeno

Place

programming language

Sing#

Place

programming language

Dolittle

Place

programming language

Gosu

Place

programming language

Bluespec, Inc.

Place

company behind Bluespec HDL

Stanford Artificial Intelligence Language

Place

computer programming language