TOPLAS

Meaning of TOPLAS in English

Transactions On Programming Languages And Systems

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

ZAP — 1. < language > A language for expressing program transformations. ["A System for Assisting Program Transformation", M.S. Feather, ACM TOPLAS …
FOLDOC Computer English Dictionary
Y — 1. General purpose language syntactically like RATFOR , semantically like C . Lacks structures and pointers. Used as a source …
FOLDOC Computer English Dictionary
VAL — 1. Value-oriented Algorithmic Language. J.B. Dennis, MIT 1979. Single assignment language, designed for MIT dataflow machine. Based on CLU, has …
FOLDOC Computer English Dictionary
THINGLAB — A simulation system written in Smalltalk-80 . It solves constraint s using value inference . Version: ThingLab II. ["The Programming …
FOLDOC Computer English Dictionary
SYNTAX/SEMANTIC LANGUAGE — < language > (S/SL) A high level specification language for recursive descent parsers developed by J.R. Cordy cordy@cs.queensu.ca and R.C. …
FOLDOC Computer English Dictionary
SR — < language > Synchronizing Resources. A language for concurrent programming. "Resources" encapsulate processes and variables they share. Each Resource can …
FOLDOC Computer English Dictionary
MULTILISP — < language > A parallel extension of Scheme with explicit concurrency . The form (future X) immediately returns a " …
FOLDOC Computer English Dictionary
MAGMA2 — < language > A language that allows programmability of the control environment, e.g. recursion , backtracking , coroutine s, nondeterminism …
FOLDOC Computer English Dictionary
LINDA — < language > A "coordination language" from Yale , providing a model for concurrency with communication via a shared tuple …
FOLDOC Computer English Dictionary
CIRCUIT CALCULUS — (CIRCAL) A process algebra used to model and verify the design correctness of concurrent systems such as digital logic . …
FOLDOC Computer English Dictionary
ARGUS — < language > A successor to CLU , from LCS at MIT . Argus supports distributed programming through guardians (like …
FOLDOC Computer English Dictionary
ACTUS — < language > Pascal with parallel extensions, similar to the earlier Glypnir . It has parallel constants and index set …
FOLDOC Computer English Dictionary

Computer Acronyms English vocab

← TOPICS TOPS→