POPL

Meaning of POPL in English

Principles of Programming Languages

Computer acronyms English vocab. Английский словарь компьютерных сокращений. 2012

VIRON — ["Five Paradigm Shifts in Programming Language Design and Their Realisation in Viron, a Dataflow Programming Environment", V. Pratt, 10th POPL, …
FOLDOC Computer English Dictionary
SMALLTALK — < language > The pioneering object-oriented programming system developed in 1972 by the Software Concepts Group, led by Alan Kay …
FOLDOC Computer English Dictionary
SECOND-ORDER LAMBDA-CALCULUS — < language > (SOL) A typed lambda-calculus . ["Abstract Types have Existential Type", J. Mitchell et al, 12th POPL, ACM …
FOLDOC Computer English Dictionary
SUMMER — String manipulation and pattern matching language by Klint & Sint at CWI in the late 1970s. It was recently used …
FOLDOC Computer English Dictionary
SML# — An extension of SML/NJ with polymorphic field selection and nondestructive field update. "A Compilation Method for ML-style Polymorphic Record Calculi", …
FOLDOC Computer English Dictionary
POPLAR — Morris, 1978. A blend of LISP with SNOBOL4 pattern matching and APL-like postfix syntax . Implicit iteration over lists, sorting …
FOLDOC Computer English Dictionary
PCF — A simply typed, functional language . ["Fully Abstract Translations Between Functional Languages", J. Riecke, 18th POPL, pp. 245-254 (1991)]. ["LCF …
FOLDOC Computer English Dictionary
OBJ2 — Clear-like parametrised modules. A functional system based on equations. "Principles of OBJ2", K. Futatsugi et al, 12th POPL, ACM 1985, …
FOLDOC Computer English Dictionary
ML — 1. < robotics > Manipulator Language. IBM language for handling robots. 2. Meta Language. R. Milner rm@lfcs.edinburgh.ac.uk et al, 1973. …
FOLDOC Computer English Dictionary
LITHE — Object-oriented with extensible syntax. "LITHE: A Language Combining a Flexible Syntax and Classes", D. Sandberg, Conf Rec 9th Ann ACM …
FOLDOC Computer English Dictionary
LGEN — A logic language for VLSI implementation by S.C. Johnson of Bell Labs . [S.C. Johnson, "Code Generation for Silicon", Proc …
FOLDOC Computer English Dictionary
KFX — The kernel language of FX-87 . ["Polymorphic Effect Systems", J.M. Lucassen et al, Proc 15th Ann ACM Conf POPL, ACM …
FOLDOC Computer English Dictionary
GLASGOW HASKELL COMPILER — < language > (GHC) A Haskell 1.2 compiler written in Haskell by the AQUA project at Glasgow University , headed …
FOLDOC Computer English Dictionary
FGL+LV — ["Functional Programming and the Logical Variable", G. Lindstrom, POPL 1985, pp. 266-280]. (1994-11-30)
FOLDOC Computer English Dictionary
EXTENDED ML — A language by Don Sannella of the University of Edinburgh combining algebraic specification and functional programming . ["Program Specification and …
FOLDOC Computer English Dictionary
DELIRIUM — An embedding coordinate language for parallel programming, implemented on Sequent Symmetry , Cray , BBN Butterfly . ["Parallel Programming with …
FOLDOC Computer English Dictionary
CRYSTAL — Concurrent Representation of Your Space-Time ALgorithms. A recursion equation parallel language. ["A Parallel Language and its Compilation to Multiprocessor Machines …
FOLDOC Computer English Dictionary
CONSTRAINT LOGIC PROGRAMMING — (CLP) A programming framework based (like Prolog ) on LUSH (or SLD ) resolution , but in which unification has …
FOLDOC Computer English Dictionary
CP — A concurrent Prolog. "The Concurrent Logic Programming Language CP": Definition and Operational Semantics", V. Saraswat, 14th POPL, ACM 1987, pp.49-62.
FOLDOC Computer English Dictionary
CLP* — A derivative of Constraint Logic Programming (CLP). ["CLP* and Constraint Abstraction", T. Hickey, 16th POPL, pp. 125-133, 1989]. (1994-11-01)
FOLDOC Computer English Dictionary
CHOCS — A generalisation of CCS . ["A Calculus of Higher-Order Communicating Systems", B. Thomsen, 16th POPL pp.143-154 (1989)].
FOLDOC Computer English Dictionary

Computer Acronyms English vocab

← POPF POR→