Get started
Author

Gary E. Lindstrom

Observed names: G. Lindstrom, GARY LINDSTROM, Gary Lindstrom, Lindstrom,G.
Institution: University of Utah
OpenAlex ID: A5025758087
Logic Programming: Functions, Relations and Equations
1986 · Doug DeGroot, Gary Lindstrom · 132
A loosely-coupled applicative multi-processing system
1979 · ROBERT M. KELLER, GARY LINDSTROM, et al. · International Workshop on Managing Requirements Knowledge (MARK) · 110
Modularity meets inheritance
2003 · G. Bracha, G. Lindstrom · International Conference on Computer Languages (ICCL) · 102
Nemos: a framework for axiomatic and executable specifications of memory consistency models
2004 · Yue Yang, G. Gopalakrishnan, et al. · IEEE International Parallel and Distributed Processing Symposium (IPDPS) · 91
Flick: a flexible, optimizing IDL compiler
1997 · Eric Eide, Kevin Frei, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 87
Functional programing and the logical variable
1985 · Gary Lindstrom · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 51
Scanning list structures without stacks or tag bits
1973 · Gary Lindstrom · Information Processing Letters · 36
UMM: an operational memory model specification framework with integrated model checking capability
2005 · Yue Yang, Ganesh Gopalakrishnan, et al. · Concurrency and Computation Practice and Experience · 34
Or-Parallelism on Applicative Architectures.
1984 · Gary Lindstrom · 34
Model Checking Real Time Java Using Java PathFinder
2005 · Gary Lindstrom, Peter C. Mehlitz, et al. · Lecture notes in computer science · 31
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
2003 · Yue Yang, Ganesh Gopalakrishnan, et al. · Lecture notes in computer science · 29
PDF
Stream-Based Execution of Logic Programming.
1984 · Gary Lindstrom, Prakash Panangaden · SLP · 27
Memory-Model-Sensitive Data Race Analysis
2004 · Yue Yang, Ganesh Gopalakrishnan, et al. · Lecture notes in computer science · 23
Copying list structures using bounded workspace
1974 · Gary Lindstrom · Communications of the ACM · 23
An implementation of portable standard LISP on the BBN butterfly
1988 · Mark Swanson, Robert Kessler, et al. · ACM Conference on LISP and Functional Programming (LFP) · 22
PDF
Specifying Java thread semantics using a uniform memory model
2002 · Yue Yang, Ganesh Gopalakrishnan, et al. · Joint ACM-ISCOPE Conference on Java Grande · 18
Static evaluation of functional programs
1986 · Gary Lindstrom · ACM SIGPLAN Symposium on Compiler Construction · 17
PDF
Applications of feedback in functional programming
1981 · Robert M. Keller, Gary Lindstrom · International Conference on Functional Programming Languages and Computer Architecture (FPCA) · 15
PDF
An application framework for module composition tools
1996 · Guruduth Banavar, Gary Lindstrom · Lecture notes in computer science · 14
A Performance-Oriented Design for OR-Parallel Logic Programming.
1987 · Peter A. Tinker, Gary Lindstrom · 14
Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A First Experiment
1984 · E.I. Organick, T.M. Carter, et al. · IEEE Software · 14
Backtracking in a Generalized Control Setting
1979 · Gary Lindstrom · ACM Transactions on Programming Languages and Systems · 13
PDF
ABI compatibility through a customizable language
2010 · Kevin Atkinson, Matthew Flatt, et al. · International Conference on Generative Programming and Component Engineering (GPCE) · 12
Analyzing the CRF Java memory model
2005 · Y. Yang, G. Gopalakrishnan, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 12
Approaching Distributed Database Implementations Through Functional Programming Concepts
1985 · Robert Keller, Gary Lindstrom · Scholarship @ Claremont (The Claremont Colleges) · 12
PDF
Works count: 105
Citation count: 1,092
H-index: 17
I10-index: 28
Year
Topic
Type