Concepedia

Gary Lindstrom

GL

23

Publications

797

Citations

15

H-Index

1973

Active since

Affiliations

University of Utah(Current)

University of Pittsburgh

Gary Lindstrom is an author at University of Utah specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisComputer EngineeringSoftware AnalysisComputer ArchitectureParallel ProgrammingFormal VerificationSoftware Engineering

Publications per year

1973–2010

23

Publications

23

A loosely-coupled applicative multi-processing system

Robert Keller, Gary Lindstrom, Suhas Patil · 1979 International Workshop on Managing Requirements Knowledge (MARK) · 1979 · 106 citations

Heterogeneous Computing, Engineering, Elaborate Machine Architectures +18

Modularity meets inheritance

Gilad Bracha, Gary Lindstrom · 2003 · 104 citations

Engineering, Strong Typing, Semantics +21

Flick

Eric Eide, Kevin Frei, Bryan Ford et al. · 1997 · 90 citations

Engineering, Idl Compilation, Compiler Technology +18

Nemos: a framework for axiomatic and executable specifications of memory consistency models

Yue Yang, G. Gopalakrishnan, Gary Lindstrom et al. · 2004 · 88 citations

Engineering, Verification, Computer Architecture +18

Functional programing and the logical variable

Gary Lindstrom · 1985 · 50 citations

Non-monotonic Logic, Engineering, Functional Programming Languages +13

Rows per page

1–5 of 23