Stephen J. Garland - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2004

Using simulated execution in verifying distributed algorithmsToh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch. STTT, 6(1):67-76, 2004. [doi]

2003

Using Simulated Execution in Verifying Distributed AlgorithmsToh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch. vmcai 2003: 283-297 [doi]

2002

Mechanical Translation of I/O Automaton Specifications into First-Order LogicAndrej Bogdanov, Stephen J. Garland, Nancy A. Lynch. forte 2002: 364-368 [doi]

1998

Active Reliable MulticastLi-Wei H. Lehman, Stephen J. Garland, David L. Tennenhouse. infocom 1998: 581-589

1996

Computer-Assisted Verification of an Algorithm for Concurrent TimestampsTsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch. forte 1996: 29-44

1994

Verifying timing properties of concurrent algorithmsVictor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch. forte 1995: 259-273

1993

An Overview of LarchStephen J. Garland, John V. Guttag, James J. Horning. mcmaster 1993: 329-348

Larch: Languages and Tools for Formal SpecificationJohn V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing. Texts and Monographs in Computer Science, Springer, 1993. [doi]

Using Transformations and Verification in Circuit DesignJames B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland. fmsd, 3(3):181-209, 1993.

Computer-Assisted Simulation ProofsJørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants. cav 1993: 305-319

1992

1990

Using LP to Debug SpecificationsStephen J. Garland, John V. Guttag. ifip2 1990: 369-386

Debugging Larch Shared Language SpecificationsStephen J. Garland, John V. Guttag, James J. Horning. TSE, 16(9):1044-1057, 1990. [doi]

1989

An Overview of LP, The Larch PowerStephen J. Garland, John V. Guttag. RTA 1989: 137-151

Localized Verification of Circuit DescriptionsJørgen Staunstrup, Stephen J. Garland, John V. Guttag. avmfss 1990: 349-364

1988

Inductive Methods for Reasoning about Abstract Data TypesStephen J. Garland, John V. Guttag. POPL 1988: 219-228

LP: The Larch ProverStephen J. Garland, John V. Guttag. cade 1988: 748-749

1986

Advanced placement in Computer Science (panel session): college level computer science in the high schoolsFrank H. Young, Stephen J. Garland, Robert Poland, David C. Rine. acm 1986: 393 [doi]

1979

A new master's degree program at Dartmouth CollegeStephen J. Garland, A. Kent Morton. SIGCSE, 11(4):25-26, 1979. [doi]

1973

Program Schemes, Recursion Schemes, and Formal LanguagesStephen J. Garland, David C. Luckham. jcss, 7(2):119-160, 1973.

1972

On the Equivalence of SchemesStephen J. Garland, David C. Luckham. stoc 1972: 65-72

Generalized Interpolation TheoremsStephen J. Garland. JSYML, 37(2):343-351, 1972.

Translating recursion schemes into program schemesStephen J. Garland, David C. Luckham. praapr 1972: 83-96 [doi]

1962

Algorithm 99: Evaluation of Jacobi symbolStephen J. Garland, Anthony W. Knapp. CACM, 5(6):345-346, 1962. [doi]

Sign in or sign up to see more results.

runs on WebDSL