The SCEAS System
Navigation Menu

Search the dblp DataBase


Gary Lindstrom: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gary Lindstrom, Prakash Panangaden
    Stream-Based Execution of Logic Programming. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:168-176 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Guruduth Banavar, Gary Lindstrom
    An Application Framework For Module Composition Tools. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1996, pp:91-113 [Conf]
  8. Göran Båge, Gary Lindstrom
    Committed Choice Functional Programming. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:666-674 [Conf]
  9. Gary Lindstrom
    Implementing logical variables on a graph reduction architecture. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:382-400 [Conf]
  10. 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]
  11. Gilad Bracha, Gary Lindstrom
    Modularity meets inheritance. [Citation Graph (0, 0)][DBLP]
    ICCL, 1992, pp:282-290 [Conf]
  12. Robert M. Keller, Gary Lindstrom
    Approaching Distributed Database Implementations through Functional Programming Concepts. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1985, pp:192-200 [Conf]
  13. Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
    Memory-Model-Sensitive Data Race Analysis. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:30-45 [Conf]
  14. Gary Lindstrom
    Or-Parallelism on Applicative Architectures. [Citation Graph (0, 0)][DBLP]
    ICLP, 1984, pp:159-170 [Conf]
  15. Peter Tinker, Gary Lindstrom
    A Performance-Oriented Design for OR-Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:601-615 [Conf]
  16. Gary Lindstrom
    Control Structure Aptness: A Cast Study Using Top-Down Parsing. [Citation Graph (0, 0)][DBLP]
    ICSE, 1978, pp:5-12 [Conf]
  17. Gary Lindstrom, Frances Hunt
    Consistency and Currency in Functional Databases. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1983, pp:352-361 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Gary Lindstrom
    Static Analysis Of Functional Programs With Logic Variables. [Citation Graph (0, 0)][DBLP]
    PLILP, 1988, pp:1-19 [Conf]
  25. 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]
  26. Gary Lindstrom
    Functional Programming and the Logical Variable. [Citation Graph (0, 0)][DBLP]
    POPL, 1985, pp:266-280 [Conf]
  27. Gary Lindstrom
    Static evaluation of functional programs. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Symposium on Compiler Construction, 1986, pp:196-206 [Conf]
  28. 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]
  29. Gary Lindstrom
    The Design of Parsers for Incremental Language Processors [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:81-91 [Conf]
  30. 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]
  31. Gary Lindstrom
    Copying List Structures Using Bounded Workspace. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1974, v:17, n:4, pp:198-202 [Journal]
  32. 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]
  33. 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]
  34. 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]
  35. Gary Lindstrom
    Integrating Functional and Logic Programming. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1986, v:3, n:1, pp:77- [Journal]
  36. 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]
  37. 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]
  38. 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.005secs, Finished in 0.008secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002