✦ LIBER ✦

A software science model of compile time

✍ Scribed by Shaw, W.H., Jr.; Howatt, J.W.; Maness, R.S.; Miller, D.M.

Book ID: 117872003
Publisher: IEEE
Year: 1989
Tongue: English
Weight: 754 KB
Volume: 15
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.24703

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

“Software devices” for processing graphs

“Software devices” for processing graphs using pl/i compile time facilities

✍ A. Hansal 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 901 KB

A compile-time model for safe informatio

A compile-time model for safe information flow in object-oriented databases

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 117 KB

each layer. Application of the model then consists of two parts: specification of the organization and specification of requirement harmonization functions.

Application of a software reliability mo

Application of a software reliability model to decide software release time

✍ J.G. Shanthikumar; S. Tufekci 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 543 KB

Compile time type checking of structure

Compile time type checking of structure field accessing

✍ Hamish I.E. Gunn 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 485 KB

A time/structure based software reliabil

A time/structure based software reliability model

✍ Swapna S. Gokhale; Kishor S. Trivedi 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 323 KB

[Lecture Notes in Computer Science] FST

[Lecture Notes in Computer Science] FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science Volume 2245 || A Mechanically Verified Compiling Specification for a Lisp Compiler

✍ Hariharan, Ramesh; Vinay, V.; Mukund, Madhavan 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 149 KB