PRL

Meaning of PRL in English

Proof Refinement Logic.

Versions: micro-PRL , lambda-PRL , nu-PRL .

["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983].

(1995-01-24)

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

.PRL — Process Revolution Object Library File (Diagrams, Process Maps, Flow Charts)
Computer Abbreviations English vocabulary
PRL — Perl Programming Language (filename extension) For more possible definitions for PRL , click here ©1988-2002, All Rights Reserved, AcronymFinder.com
Most Common Acronyms and Abbreviations English vocabulary
PRL — population regression line ; or more simply, regression of Y on X ; a line connecting the mean values of …
Sean Woo's Finance, GIS and Real Estate English Glossary
PRL — Paint Shop Pro Presets file
Russian-English Edic
ENDOCRINE SYSTEM, HUMAN
Britannica English vocabulary
WILD_LIFE — Logic, Inheritance, Functions and Equations parts: interpreter, manual, tests, libraries, examples Paradise Project, DEC Paris Research Laboratory. ftp://gatekeeper.dec.com/pub/plan/Life.tar.Z - Wild_LIFE …
FOLDOC Computer English Dictionary
TLAS
FOLDOC Computer English Dictionary
NUPRL — /nyu p*rl/ Nearly Ultimate PRL. A system for interactive creation of formal mathematics, including definitions and proofs. It has an …
FOLDOC Computer English Dictionary
LIFE — < language > Logic of Inheritance, Functions and Equations. An object-oriented , functional , constraint -based language by Hassan Ait-Kacy …
FOLDOC Computer English Dictionary

← PRISM PRMD→