Formal_System

JOVIAL

Place

programming language

Lean

CreativeWork

software for interactive and automated theorem proving

Inform

Place

programming language and design system for interactive fiction

Karel

Place

programming language

WEB

Place

programming language

C++/CLI

Place

programming language

Maclisp

Place

dialect of the Lisp programming language

Mojo

Place

programming language

CICS

Place

IBM customer data and transaction management application

Curry

Place

programming language

Curl

Place

programming language

Factor

Place

programming language

Pike

Place

programming language

Turbo Basic

Place

programming language

DRAKON

Place

algorithmic visual programming and modeling language

Hewlett-Packard Graphics Language

Place

printer control language

ScratchJr

Place

visual programming language

FoxPro

Place

programming language

Max (programming language)

Place

programming language

Datalog

Place

declarative logic programming language

PL/M

Place

high-level programming language for Intel microprocessors

Blockly

Place

Blockly visual programming language

FLOW-MATIC

Place

programming language

Shakespeare

Place

esoteric programming language designed by Jon Åslund and Karl Hasselström

PowerBASIC

Place

brand of several commercial compilers by PowerBASIC Inc. that compile a dialect of the BASIC program

Integer BASIC

CreativeWork

BASIC interpreter of the Apple I and original Apple II computers

Modula-3

Place

programming language

Sinclair BASIC

Place

dialect of the programming language BASIC

COMAL

Place

programming language

BLISS

Place

systems programming language

High Level Assembly

CreativeWork

high-level assembly language

UCSD Pascal

Place

Pascal programming language system

KTurtle

Place

educational programming environment for turtle graphics

YAWL

Place

workflow modelling language

SystemVerilog

Place

hardware description and hardware verification language

Cobra

Place

programming language

PL/pgSQL

Place

procedural programming language for PostgreSQL database systems

HQ9+

Place

esoteric programming language

CLISP

Place

software implementation of the programming language Common Lisp

MXML

CreativeWork

XML-based user interface markup language

SQL*Plus

SoftwareApplication

Interactive and batch query tool installed with Oracle Database installations

Agda

Place

dependently typed, purely functional programming language and proof assistant

Applesoft BASIC

CreativeWork

floating-point BASIC interpreter

Asymptote

Place

descriptive vector graphics language

UnrealScript

Place

The scripting language that Unreal Engine used for authoring game code and gameplay events before th

Unobtrusive JavaScript

Place

general approach to the use of JavaScript in web pages

Stackless Python

Place

alternative Python implementation

Xojo

CreativeWork

programming environment and programming language

Pharo

Place

open-source Smalltalk environment

Clarion

Place

commercial, proprietary, 4GL, multi-paradigm, programming language and Integrated Development Enviro

Java Agent Development Framework

CreativeWork

software framework

AMPL

Place

algebraic modeling language

Unlambda

Place

functional programming language

GAP

Thing

computer algebra system for computational discrete algebra

FRACTRAN

Place

Turing-complete esoteric programming language invented by John Conway

Mesa

Place

programming language

BBC BASIC

Place

version of the BASIC programming language

ALGOL W

Place

programming language based on a proposal for ALGOL X

CHILL

Place

programming language

Amiga E

Place

programming language