✦ LIBER ✦

On deriving a LISP program from its specification

✍ Scribed by F.E.J. Kruseman Aretz

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 759 KB
Volume: 10
Category: Article
ISSN: 0167-6423
DOI: 10.1016/0167-6423(88)90014-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deriving complexity information from a f

Deriving complexity information from a formal communication protocol specification

✍ Sun-Jen Huang; Richard Lai 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

Communication software systems have become very large and complex. Recognizing the complexity of such software systems is a key element in their development activities. Software metrics are useful quantitative indicators for assessing and predicting software quality attributes, like complexity. Howe

On verifying that a concurrent program s

On verifying that a concurrent program satisfies a nondeterministic specification

✍ A.P. Sistla 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 730 KB

A note on deriving weights from pairwise

A note on deriving weights from pairwise comparison ratio matrices

✍ Akihiro Hashimoto 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 277 KB

The reaction of a coolant solution on it

The reaction of a coolant solution on its bladder made from a specific fluorocarbon elastomer

✍ Joe F. Jones; Roger Fountain 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 169 KB 👁 1 views

On the derivation of a correct deadlock

On the derivation of a correct deadlock free communication kernel for loop connected message passing architecture from its user's specification

✍ A.K Bandyopadhyay; J Bandyopadhyay 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 88 KB

Hurricane Katrina and Its Effects on a R

Hurricane Katrina and Its Effects on a Regional Cochlear Implant Program

✍ Michael Lupa; Timothy Molony; Ronald Amedee 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 475 KB

Objective: The purpose of this study was to analyze the effects Hurricane Katrina had on the demographics and outcomes of patients receiving cochlear implantation at our institution.