✦ LIBER ✦

Program equivalence in a simple language with state

✍ Scribed by Nikos Tzevelekos

Book ID: 113538437
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 794 KB
Volume: 38
Category: Article
ISSN: 1477-8424
DOI: 10.1016/j.cl.2012.02.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Linear programs in a simple reversible l

Linear programs in a simple reversible language

✍ Armando B. Matos 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 141 KB

Very simple reversible programming languages can be useful for the study of reversible transformations. For this purpose we deÿne simple reversible language (SRL), a very simple reversible language, and analyse its properties. The language SRL is similar to the "loop" languages that have been used b

A simple axiomatic basis for programming

A simple axiomatic basis for programming language constructs

✍ Edsger W Dijkstra 📂 Article 📅 1974 🏛 Elsevier Science ⚖ 893 KB

State notation programming languages in

State notation programming languages in psychology

✍ Julian C. Leslie 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 710 KB

SCAN: A simple conversational programmin

SCAN: A simple conversational programming language for text analysis

✍ Brown, P. J. 📂 Article 📅 1972 🏛 Springer 🌐 English ⚖ 320 KB

A lambda-calculus model of programming l

A lambda-calculus model of programming languages—I. Simple constructs

✍ S.Kamal Abdali 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 904 KB

Parallel programming with a pattern lang

Parallel programming with a pattern language*

✍ Berna L. Massingill; Timothy G. Mattson; Beverly A. Sanders 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 294 KB