default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGary Lindstrom
Person information
- affiliation: University of Utah, Salt Lake City, Utah, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
[c35]Kevin Atkinson, Matthew Flatt, Gary Lindstrom:
ABI compatibility through a customizable language. GPCE 2010: 147-156
2000 – 2009
- 2005
- [j15]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
UMM: an operational memory model specification framework with integrated model checking capability. Concurr. Pract. Exp. 17(5-6): 465-487 (2005) - [c34]Gary Lindstrom, Peter C. Mehlitz, Willem Visser:
Model Checking Real Time Java Using Java PathFinder. ATVA 2005: 444-456 - 2004
- [c33]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
Memory-Model-Sensitive Data Race Analysis. ICFEM 2004: 30-45 - [c32]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind:
Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS 2004 - 2003
- [c31]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind:
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. CHARME 2003: 81-95 - 2002
- [c30]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
Specifying Java thread semantics using a uniform memory model. Java Grande 2002: 192-201 - 2001
- [c29]Angela Violi, Xiaodong Chen
, Gary Lindstrom, Eric Eddings, Adel F. Sarofim:
Validation Web Site: A Combustion Collaboratory over the Internet. International Conference on Computational Science (2) 2001: 485-493
1990 – 1999
- 1997
- [c28]Jon R. Oler, Gary Lindstrom, Terence Critchlow:
Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience. OOPSLA 1997: 243-252 - [c27]Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom:
Flick: A Flexible, Optimizing IDL Compiler. PLDI 1997: 44-56 - 1996
- [c26]Guruduth Banavar, Gary Lindstrom:
An Application Framework For Module Composition Tools. ECOOP 1996: 91-113 - [c25]Rob Sargent, Dave Fuhrman, Terence Critchlow, Tony Di Sera, Robert Mecklenburg, Gary Lindstrom, Peter Cartwright:
The Design and Implementation of a Database For Human Genome Research (Position Paper). SSDBM 1996: 220-225 - 1994
- [c24]Robert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih:
A Dossier Driven Persistent Objects Facility. C++ Conference 1994: 265-281 - 1992
- [c23]Gilad Bracha, Gary Lindstrom:
Modularity meets inheritance. ICCL 1992: 282-290 - [c22]Lal George, Gary Lindstrom:
Using a Functional Language id Graph Reduction to Program Multiprocessor Machines, or Functional Control of Imperative Programs. IPPS 1992: 370-373 - [c21]Gary Lindstrom, Jan Maluszynski, Takeshi Ogi:
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. PLILP 1992: 428-442 - 1990
- [j14]Gary Lindstrom:
Sans pareil: Referees. Int. J. Parallel Program. 19(6): 511-512 (1990) - [j13]Göran Båge, Gary Lindstrom:
Combinator Evaluation of Functional Programs with Logical Variables. LISP Symb. Comput. 3(3): 289-320 (1990)
1980 – 1989
- 1989
- [j12]Gary Lindstrom:
Sans pareil: Referees. Int. J. Parallel Program. 18(6): 551-552 (1989) - 1988
- [j11]Gary Lindstrom:
Sage commentary. Int. J. Parallel Program. 17(1): 93 (1988) - [c20]Göran Båge, Gary Lindstrom:
Committed Choice Functional Programming. FGCS 1988: 666-674 - [c19]Mark R. Swanson, Robert R. Kessler, Gary Lindstrom:
An Implementation of Portable Standard LISP on the BBN Butterfly. LISP and Functional Programming 1988: 132-142 - [c18]Gary Lindstrom:
Static Analysis Of Functional Programs With Logic Variables. PLILP 1988: 1-19 - 1987
- [j10]Gary Lindstrom:
Sans pareil: Referees. Int. J. Parallel Program. 16(6): 521-522 (1987) - [c17]Peter Tinker, Gary Lindstrom:
A Performance-Oriented Design for OR-Parallel Logic Programming. ICLP 1987: 601-615 - [c16]Gary Lindstrom, Lal George, Dowming Yeh:
Generating Efficient Code from Strictness Annotations. TAPSOFT, Vol.2 1987: 140-154 - 1986
- [b1]Doug DeGroot, Gary Lindstrom:
Logic programming - functions, relations and equations. Prentice Hall 1986, ISBN 978-0-13-539958-3, pp. I-VII, 1-533 - [j9]Gary Lindstrom:
Sans pareil: Referees. Int. J. Parallel Program. 15(6): 567-568 (1986) - [j8]Gary Lindstrom:
Integrating Functional and Logic Programming. IEEE Softw. 3(1): 77 (1986) - [c15]Gary Lindstrom:
Implementing logical variables on a graph reduction architecture. Graph Reduction 1986: 382-400 - [c14]Gary Lindstrom:
Static evaluation of functional programs. SIGPLAN Symposium on Compiler Construction 1986: 196-206 - [e1]Doug DeGroot, Gary Lindstrom:
Logic Programming: Functions, Relations, and Equations. Prentice-Hall 1986, ISBN 0-13-539958-0, pp. 1-524 [contents] - 1985
- [j7]Gary Lindstrom:
Editorial: A time of transition. Int. J. Parallel Program. 14(6): 335-336 (1985) - [c13]Robert M. Keller, Gary Lindstrom:
Approaching Distributed Database Implementations through Functional Programming Concepts. ICDCS 1985: 192-200 - [c12]Gary Lindstrom:
Functional Programming and the Logical Variable. POPL 1985: 266-280 - 1984
- [j6]Elliott I. Organick, Tony M. Carter, Mike P. Maloney, Alan L. Davis, Alan B. Hayes, Dan Klass, Gary Lindstrom, Brent E. Nelson, Kent F. Smith:
Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. IEEE Softw. 1(1): 31-49 (1984) - [c11]Tony M. Carter, Alan L. Davis, Alan B. Hayes, Gary Lindstrom, Dan Klass, Mike P. Maloney, Brent E. Nelson, Elliott I. Organick, Kent F. Smith:
Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment. COMPCON 1984: 448-455 - [c10]Gary Lindstrom:
Or-Parallelism on Applicative Architectures. ICLP 1984: 159-170 - [c9]Gary Lindstrom, Prakash Panangaden:
Stream-Based Execution of Logic Programming. SLP 1984: 168-176 - 1983
- [c8]Gary Lindstrom, Frances Hunt:
Consistency and Currency in Functional Databases. INFOCOM 1983: 352-361 - 1982
- [c7]Elliott I. Organick, Gary Lindstrom:
Mapping High-Order Language Program Units into VLSI Structures. COMPCON 1982: 15-18 - 1981
- [j5]Gary Lindstrom, Mary Lou Soffa:
Referencing and Retention in Block-Structured Coroutines. ACM Trans. Program. Lang. Syst. 3(3): 263-292 (1981) - [c6]Robert M. Keller, Gary Lindstrom:
Applications of feedback in functional programming. FPCA 1981: 123-130
1970 – 1979
- 1979
- [j4]Gary Lindstrom:
Backtracking in a Generalized Control Setting. ACM Trans. Program. Lang. Syst. 1(1): 8-26 (1979) - [c5]Robert M. Keller, Gary Lindstrom, Suhas Patil:
A loosely-coupled applicative multi-processing system. MARK 1979: 613-622 - 1978
- [c4]Gary Lindstrom:
Control Structure Aptness: A Cast Study Using Top-Down Parsing. ICSE 1978: 5-12 - 1977
- [c3]Michael J. Lemon, Gary Lindstrom, Mary Lou Soffa:
Control Separation in programming languages. ACM Annual Conference 1977: 496-501 - 1976
- [c2]Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen, Frederick C. Druseikis, G. David Ripley, David R. Hanson, Gary Lindstrom:
SIGPLAN(Paper Session). ACM Annual Conference 1976: 390 - 1974
- [j3]Gary Lindstrom:
Copying List Structures Using Bounded Workspace. Commun. ACM 17(4): 198-202 (1974) - [j2]Gary Lindstrom:
Algorithms for list structure condensation. Int. J. Parallel Program. 3(3): 197-216 (1974) - 1973
- [j1]Gary Lindstrom:
Scanning List Structures Without Stacks or Tag Bits. Inf. Process. Lett. 2(2): 47-51 (1973) - 1970
- [c1]Gary Lindstrom:
The Design of Parsers for Incremental Language Processors. STOC 1970: 81-91
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
