Concepedia

Stephen J. Garland

SJ

8

Publications

535

Citations

8

H-Index

1973

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Stephen J. Garland is an author at Massachusetts Institute of Technology specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware AnalysisAutomated ReasoningComputer EngineeringVerificationProgram AnalysisSoftware Design

Publications per year

1973–2002

8

Publications

8

Active reliable multicast

Li-wei H. Lehman, Stephen J. Garland, David L. Tennenhouse · 2002 · 202 citations

Multicast Data, Fault-tolerant Network, Engineering +10

Program schemes, recursion schemes, and formal languages

Stephen J. Garland, D Luckham · Journal of Computer and System Sciences · 1973 · 109 citations

Declarative Programming, Engineering, Program Analysis +8

Debugging Larch shared language specifications

Stephen J. Garland, John V. Guttag, J. J. Horning · IEEE Transactions on Software Engineering · 1990 · 62 citations

Engineering, Verification, Language Interoperability +26

PAN: a high-performance active network node supporting multiple mobile code systems

Erik Nygren, Stephen J. Garland, M. Frans Kaashoek · 1999 · 60 citations

Active Networks, Engineering, High Performance Computer Network +13

Inductive methods for reasoning about abstract data types

Stephen J. Garland, John V. Guttag · 1988 · 39 citations

Software Maintenance, Engineering, Type Theory +22

Rows per page

1–5 of 8