Search the dblp DataBase
Gary Lindstrom :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gary Lindstrom , Prakash Panangaden Stream-Based Execution of Logic Programming. [Citation Graph (1, 0)][DBLP ] SLP, 1984, pp:168-176 [Conf ] Gary Lindstrom , Peter C. Mehlitz , Willem Visser Model Checking Real Time Java Using Java PathFinder. [Citation Graph (0, 0)][DBLP ] ATVA, 2005, pp:444-456 [Conf ] Robert Mecklenburg , Charles Clark , Gary Lindstrom , Benny Yih A Dossier Driven Persistent Objects Facility. [Citation Graph (0, 0)][DBLP ] C++ Conference, 1994, pp:265-281 [Conf ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom , Konrad Slind Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. [Citation Graph (0, 0)][DBLP ] CHARME, 2003, pp:81-95 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] COMPCON, 1984, pp:448-455 [Conf ] Elliott I. Organick , Gary Lindstrom Mapping High-Order Language Program Units into VLSI Structures. [Citation Graph (0, 0)][DBLP ] COMPCON, 1982, pp:15-18 [Conf ] Guruduth Banavar , Gary Lindstrom An Application Framework For Module Composition Tools. [Citation Graph (0, 0)][DBLP ] ECOOP, 1996, pp:91-113 [Conf ] Göran Båge , Gary Lindstrom Committed Choice Functional Programming. [Citation Graph (0, 0)][DBLP ] FGCS, 1988, pp:666-674 [Conf ] Gary Lindstrom Implementing logical variables on a graph reduction architecture. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:382-400 [Conf ] Angela Violi , Xiaodong Chen , Gary Lindstrom , Eric Eddings , Adel F. Sarofim Validation Web Site: A Combustion Collaboratory over the Internet. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (2), 2001, pp:485-493 [Conf ] Gilad Bracha , Gary Lindstrom Modularity meets inheritance. [Citation Graph (0, 0)][DBLP ] ICCL, 1992, pp:282-290 [Conf ] Robert M. Keller , Gary Lindstrom Approaching Distributed Database Implementations through Functional Programming Concepts. [Citation Graph (0, 0)][DBLP ] ICDCS, 1985, pp:192-200 [Conf ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom Memory-Model-Sensitive Data Race Analysis. [Citation Graph (0, 0)][DBLP ] ICFEM, 2004, pp:30-45 [Conf ] Gary Lindstrom Or-Parallelism on Applicative Architectures. [Citation Graph (0, 0)][DBLP ] ICLP, 1984, pp:159-170 [Conf ] Peter Tinker , Gary Lindstrom A Performance-Oriented Design for OR-Parallel Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1987, pp:601-615 [Conf ] Gary Lindstrom Control Structure Aptness: A Cast Study Using Top-Down Parsing. [Citation Graph (0, 0)][DBLP ] ICSE, 1978, pp:5-12 [Conf ] Gary Lindstrom , Frances Hunt Consistency and Currency in Functional Databases. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1983, pp:352-361 [Conf ] Lal George , Gary Lindstrom Using a Functional Language id Graph Reduction to Program Multiprocessor Machines, or Functional Control of Imperative Programs. [Citation Graph (0, 0)][DBLP ] IPPS, 1992, pp:370-373 [Conf ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom , Konrad Slind Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom Specifying Java thread semantics using a uniform memory model. [Citation Graph (0, 0)][DBLP ] Java Grande, 2002, pp:192-201 [Conf ] Mark R. Swanson , Robert R. Kessler , Gary Lindstrom An Implementation of Portable Standard LISP on the BBN Butterfly. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1988, pp:132-142 [Conf ] Jon R. Oler , Gary Lindstrom , Terence Critchlow Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience. [Citation Graph (0, 0)][DBLP ] OOPSLA, 1997, pp:243-252 [Conf ] Eric Eide , Kevin Frei , Bryan Ford , Jay Lepreau , Gary Lindstrom Flick: A Flexible, Optimizing IDL Compiler. [Citation Graph (0, 0)][DBLP ] PLDI, 1997, pp:44-56 [Conf ] Gary Lindstrom Static Analysis Of Functional Programs With Logic Variables. [Citation Graph (0, 0)][DBLP ] PLILP, 1988, pp:1-19 [Conf ] Gary Lindstrom , Jan Maluszynski , Takeshi Ogi Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] PLILP, 1992, pp:428-442 [Conf ] Gary Lindstrom Functional Programming and the Logical Variable. [Citation Graph (0, 0)][DBLP ] POPL, 1985, pp:266-280 [Conf ] Gary Lindstrom Static evaluation of functional programs. [Citation Graph (0, 0)][DBLP ] SIGPLAN Symposium on Compiler Construction, 1986, pp:196-206 [Conf ] 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). [Citation Graph (0, 5)][DBLP ] SSDBM, 1996, pp:220-225 [Conf ] Gary Lindstrom The Design of Parsers for Incremental Language Processors [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:81-91 [Conf ] Gary Lindstrom , Lal George , Dowming Yeh Generating Efficient Code from Strictness Annotations. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1987, pp:140-154 [Conf ] Gary Lindstrom Copying List Structures Using Bounded Workspace. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1974, v:17, n:4, pp:198-202 [Journal ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom UMM: an operational memory model specification framework with integrated model checking capability. [Citation Graph (0, 0)][DBLP ] Concurrency - Practice and Experience, 2005, v:17, n:5-6, pp:465-487 [Journal ] Gary Lindstrom Scanning List Structures Without Stacks or Tag Bits. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1973, v:2, n:2, pp:47-51 [Journal ] Göran Båge , Gary Lindstrom Combinator Evaluation of Functional Programs with Logical Variables. [Citation Graph (0, 0)][DBLP ] Lisp and Symbolic Computation, 1990, v:3, n:3, pp:289-320 [Journal ] Gary Lindstrom Integrating Functional and Logic Programming. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1986, v:3, n:1, pp:77- [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1984, v:1, n:1, pp:31-49 [Journal ] Gary Lindstrom Backtracking in a Generalized Control Setting. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:8-26 [Journal ] Gary Lindstrom , Mary Lou Soffa Referencing and Retention in Block-Structured Coroutines. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1981, v:3, n:3, pp:263-292 [Journal ] Search in 0.015secs, Finished in 0.016secs