dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

John V. Guttag (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Evans, John V. Guttag, James J. Horning, Yang Meng Tan: LCLint: A Tool for Using Specifications to Check Code. SIGSOFT FSE 1994: 87-96
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. Garland, John V. Guttag, James J. Horning: An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Formal Methods in System Design 3(3): 181-209 (1993)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning: Using Transformations and Verification in Ciruit Design. Designing Correct Circuits 1992: 1-25
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Larch 1992: 201-226
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn V. Guttag, James J. Horning: A Tutorial on LARCH and LCL, A LARCH/C Interface Language. VDM Europe (2) 1991: 1-78
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. Garland, John V. Guttag, James J. Horning: Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Birrell, John V. Guttag, James J. Horning, Roy Levin: Synchronization Primitives for a Multiprocessor: A Formal Specification. SOSP 1987: 94-102
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn V. Guttag, James J. Horning: Report on the Larch Shared Language. Sci. Comput. Program. 6(2): 103-134 (1986)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn V. Guttag, James J. Horning: A Larch Shared Language Handbook. Sci. Comput. Program. 6(2): 135-157 (1986)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn V. Guttag, James J. Horning: An Introduction to the Larch Shared Language. IFIP Congress 1983: 809-814
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn V. Guttag, James J. Horning, Jeannette M. Wing: Some Notes on Putting Formal Specifications to Productive Use. Sci. Comput. Program. 2(1): 53-68 (1982)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn V. Guttag, James J. Horning: Formal Specification as a Design Tool. POPL 1980: 251-261
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Program Construction 1978: 133-163
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Acta Inf. 10: 1-26 (1978)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52 (1978)

Selection of 16 from 67 records - John V. Guttag has 67 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page