✦ LIBER ✦

Programming as theory building

✍ Scribed by Peter Naur

Book ID: 104178222
Publisher: Elsevier Science
Year: 1985
Weight: 789 KB
Volume: 15
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(85)90032-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Evaluators as educators: Articulating pr

Evaluators as educators: Articulating program theory and building evaluation capacity

✍ Martha C. Monroe; M. Lynette Fleming; Ruth A. Bowman; Jeanne F. Zimmer; Tom Marc 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 87 KB

Bisimilarity as a theory of functional p

✍ Andrew D. Gordon 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 248 KB

Morris-style contextual equivalence -invariance of termination under any context of ground type -is the usual notion of operational equivalence for deterministic functional languages such as PCF. Contextual equivalence is hard to establish directly. Instead, we deÿne a labelled transition system for

Evaluating criminal justice programs: Us

Evaluating criminal justice programs: Using policy as well as program theory

✍ Dennis J. Palumbo; Rebecca D. Petersen 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 586 KB

Program Theory Building: A Strategy for

Program Theory Building: A Strategy for Deriving Cumulative Evaluation Knowledge

✍ BARBARA TURNBULL 📂 Article 📅 2002 🏛 SAGE Publications 🌐 English ⚖ 222 KB

Theory-Building

✍ Review by: Robert E. Williamson 📂 Article 📅 1952 🏛 American Association for the Advancement of Scienc ⚖ 622 KB

Probability theory as a basis for buildi

Probability theory as a basis for building design

✍ M.F. Green; B. Stafford Smith 📂 Article 📅 1975 🏛 Elsevier Science ⚖ 611 KB