Documents Related by Co-Citation

795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
1602 The C++ Programming Language – Bjarne Stroustrup - 1995
575 Perspectives on Program Analysis – Flemming Nielson - 1996
1337 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972
1412 Component Software: Beyond Object-Oriented Programming – Clemens Szyperski - 1998
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
590 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
1148 The Java Virtual Machine Specification – Tim Lindholm, Frank Yellin - 1997
790 Eiffel: the language – Bertrand Meyer - 1992