CLU reference manual
From MaRDI portal
Publication:1153681
zbMath0463.68009MaRDI QIDQ1153681
Eliot Moss, Alan Snyder, Russel Atkinson, Robert Scheifler, Toby Bloom, J. Craig Schaffert, Barbara Liskov
Publication date: 1981
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items (8)
On observational equivalence and algebraic specification ⋮ An algebraic semantics approach to the effective resolution of type equations ⋮ Unification in combinations of collapse-free regular theories ⋮ Specifications in an arbitrary institution ⋮ Unnamed Item ⋮ The semantics of second-order lambda calculus ⋮ Functorial polymorphism ⋮ Programmed deallocation without dangling reference
This page was built for publication: CLU reference manual
