𝔖 Bobbio Scriptorium

✦ LIBER ✦

Axiomatics for Data Refinement in Call by Value Programming Languages

✍ Scribed by John Power; Miki Tanaka

Book ID: 108127046
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 385 KB
Volume: 225
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.12.081

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modelling environments in call-by-value

Modelling environments in call-by-value programming languages

✍ PaulBlain Levy; John Power; Hayo Thielecke 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 287 KB

Data refinement, call by value and highe

Data refinement, call by value and higher order programs

✍ David A. Naumann 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 593 KB

Regular-Language Semantics for a Call-by

Regular-Language Semantics for a Call-by-Value Programming Language

✍ Dan R. Ghica 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 186 KB

Configurationality in the Languages of N

Configurationality in the Languages of New Guinea* * I wish to acknowledge the contributions of many conversations with Bill Foley and Jane Simpson about matters discussed in the following article, made possible by the research environment provided by the University of Sydney. Further, two patient AJL reviewers have improved the clarity of this article immensely, a host of patient grammar-writers have both unknowingly and knowingly supplied data, and several classes of sometimes patient students in several continents who have seen these ideas tried out and refined, and our Lani friends in Australia and Papua, especially Indep Wanimbo deserve thanks for their patience. The usual disclaimers apply.

✍ Donohue, Mark 📂 Article 📅 2005 🏛 Taylor and Francis Group 🌐 English ⚖ 313 KB