Stephen J. Garland

According to our database, Stephen J. Garland authored at least 26 papers between 1962 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2004

Using simulated execution in verifying distributed algorithms.

Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch

Int. J. Softw. Tools Technol. Transf., 2004

2002

Mechanical Translation of I/O Automaton Specifications into First-Order Logic.

Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

1998

Active Reliable Multicast.

Li-Wei H. Lehman, Stephen J. Garland, David L. Tennenhouse

Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

1996

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.

Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch

Proceedings of the Formal Description Techniques IX: Theory, 1996

1994

Verifying timing properties of concurrent algorithms.

Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch

Proceedings of the Formal Description Techniques VII, 1994

1993

Larch: Languages and Tools for Formal Specification

John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-2704-5, 1993

Using Transformations and Verification in Circuit Design.

James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland

Formal Methods Syst. Des., 1993

An Overview of Larch.

Stephen J. Garland, John V. Guttag, James J. Horning

Proceedings of the Functional Programming, 1993

Computer-Assisted Simulation Proofs.

Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Mechanized Verification of Circuit Descriptions Using the Larch Prover.

Jørgen Staunstrup, Stephen J. Garland, John V. Guttag

Proceedings of the Theorem Provers in Circuit Design, 1992

Using Transformations and Verification in Ciruit Design.

James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning

Proceedings of the Designing Correct Circuits, 1992

A Parallel Completion Procedure for Term Rewriting Systems.

Katherine A. Yelick, Stephen J. Garland

Proceedings of the Automated Deduction, 1992

1990

Debugging Larch Shared Language Specifications.

Stephen J. Garland, John V. Guttag, James J. Horning

IEEE Trans. Software Eng., 1990

Using LP to Debug Specifications.

Stephen J. Garland, John V. Guttag

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

1989

An Overview of LP, The Larch Power.

Stephen J. Garland, John V. Guttag

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

Localized Verification of Circuit Descriptions.

Jørgen Staunstrup, Stephen J. Garland, John V. Guttag

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

Inductive Methods for Reasoning about Abstract Data Types.

Stephen J. Garland, John V. Guttag

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

LP: The Larch Prover.

Stephen J. Garland, John V. Guttag

Proceedings of the 9th International Conference on Automated Deduction, 1988

1986

Advanced placement in Computer Science (panel session): college level computer science in the high schools.

Frank H. Young, Stephen J. Garland, Robert Poland, David C. Rine

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1983

Advanced placement program in computer science(Panel Session).

David C. Rine, J. R. Jefferson Wadkins, Stephen J. Garland

Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, 1983

1979

A new master's degree program at Dartmouth College.

Stephen J. Garland, A. Kent Morton

ACM SIGCSE Bull., 1979

1973

Program Schemes, Recursion Schemes, and Formal Languages.

Stephen J. Garland, David C. Luckham

J. Comput. Syst. Sci., 1973

1972

Generalized Interpolation Theorems.

Stephen J. Garland

J. Symb. Log., 1972

On the Equivalence of Schemes

Stephen J. Garland, David C. Luckham

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972

Translating recursion schemes into program schemes.

Stephen J. Garland, David C. Luckham

Proceedings of ACM Conference on Proving Assertions About Programs, 1972

1962

Algorithm 99: Evaluation of Jacobi symbol.

Stephen J. Garland, Anthony W. Knapp

Commun. ACM, 1962