✦ LIBER ✦

Quantifying internal attributes of functional programs

✍ Scribed by R Harrison

Book ID: 108030652
Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 649 KB
Volume: 35
Category: Article
ISSN: 0950-5849
DOI: 10.1016/0950-5849(93)90031-w

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Management of Non-functional Attributes

Management of Non-functional Attributes of Parallel Components

✍ Yunfeng Peng; Changjun Hu; Chongchong Zhao; Shigang Li; Shucai Yao 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 371 KB

Declarative Debugging of Functional Logi

Declarative Debugging of Functional Logic Programs

✍ M. Alpuente; F.J. Correa; M. Falaschi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 477 KB

Quantifying the functional impact of siR

Quantifying the functional impact of siRNA nuclease stability

📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 62 KB

Models of sequential programs used to st

Models of sequential programs used to study functional equivalence of programs

✍ R. I. Podlovchenko 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 970 KB

A method for modeling and quantifying th

A method for modeling and quantifying the security attributes of intrusion tolerant systems

✍ Bharat B. Madan; Katerina Goševa-Popstojanova; Kalyanaraman Vaidyanathan; Kishor 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 587 KB

Complex software and network based information server systems may exhibit failures. Quite often, such failures may not be accidental. Instead some failures may be caused by deliberate security intrusions with the intent ranging from simple mischief, theft of confidential information to loss of cruci

Derivation of logic programs by function

Derivation of logic programs by functional methods

✍ A. Bijlsma 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 661 KB