| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kevin Atkinson, Matthew Flatt, Gary Lindstrom |
ABI compatibility through a customizable language.  |
GPCE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom |
UMM: an operational memory model specification framework with integrated model checking capability. |
Concurrency - Practice and Experience |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom, Peter C. Mehlitz, Willem Visser |
Model Checking Real Time Java Using Java PathFinder. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom |
Memory-Model-Sensitive Data Race Analysis. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind |
Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind |
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom |
Specifying Java thread semantics using a uniform memory model. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
Java, verification, compilation, threads, memory models |
| 1 | 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 |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom |
Flick: A Flexible, Optimizing IDL Compiler. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon R. Oler, Gary Lindstrom, Terence Critchlow |
Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience. |
OOPSLA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Guruduth Banavar, Gary Lindstrom |
An Application Framework For Module Composition Tools. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih |
A Dossier Driven Persistent Objects Facility. |
C++ Conference |
1994 |
DBLP BibTeX RDF |
|
| 1 | Lal George, Gary Lindstrom |
Using a Functional Language id Graph Reduction to Program Multiprocessor Machines, or Functional Control of Imperative Programs. |
IPPS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gilad Bracha, Gary Lindstrom |
Modularity meets inheritance. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom, Jan Maluszynski, Takeshi Ogi |
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Sans pareil: Referees. |
International Journal of Parallel Programming |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Göran Båge, Gary Lindstrom |
Combinator Evaluation of Functional Programs with Logical Variables. |
Lisp and Symbolic Computation |
1990 |
DBLP BibTeX RDF |
|
| 1 | Gary Lindstrom |
Sans pareil: Referees. |
International Journal of Parallel Programming |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Sage commentary. |
International Journal of Parallel Programming |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Göran Båge, Gary Lindstrom |
Committed Choice Functional Programming. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mark R. Swanson, Robert R. Kessler, Gary Lindstrom |
An Implementation of Portable Standard LISP on the BBN Butterfly. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
LISP |
| 1 | Gary Lindstrom |
Static Analysis Of Functional Programs With Logic Variables. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Sans pareil: Referees. |
International Journal of Parallel Programming |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom, Lal George, Dowming Yeh |
Generating Efficient Code from Strictness Annotations. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Tinker, Gary Lindstrom |
A Performance-Oriented Design for OR-Parallel Logic Programming. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
| 1 | Gary Lindstrom |
Sans pareil: Referees. |
International Journal of Parallel Programming |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Integrating Functional and Logic Programming. |
IEEE Software |
1986 |
DBLP BibTeX RDF |
|
| 1 | Doug DeGroot, Gary Lindstrom |
Logic programming - functions, relations and equations. |
|
1986 |
RDF |
|
| 1 | Gary Lindstrom |
Static evaluation of functional programs. |
SIGPLAN Symposium on Compiler Construction |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Implementing logical variables on a graph reduction architecture. |
Graph Reduction |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Editorial: A time of transition. |
International Journal of Parallel Programming |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Functional Programming and the Logical Variable. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Keller, Gary Lindstrom |
Approaching Distributed Database Implementations through Functional Programming Concepts. |
ICDCS |
1985 |
DBLP BibTeX RDF |
|
| 1 | 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 Software |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Or-Parallelism on Applicative Architectures. |
ICLP |
1984 |
DBLP BibTeX RDF |
|
| 1 | Gary Lindstrom, Prakash Panangaden |
Stream-Based Execution of Logic Programming. |
SLP |
1984 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Gary Lindstrom, Frances Hunt |
Consistency and Currency in Functional Databases. |
INFOCOM |
1983 |
DBLP BibTeX RDF |
|
| 1 | Elliott I. Organick, Gary Lindstrom |
Mapping High-Order Language Program Units into VLSI Structures. |
COMPCON |
1982 |
DBLP BibTeX RDF |
|
| 1 | Gary Lindstrom, Mary Lou Soffa |
Referencing and Retention in Block-Structured Coroutines. |
ACM Trans. Program. Lang. Syst. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Backtracking in a Generalized Control Setting. |
ACM Trans. Program. Lang. Syst. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Control Structure Aptness: A Cast Study Using Top-Down Parsing. |
ICSE |
1978 |
DBLP BibTeX RDF |
|
| 1 | Gary Lindstrom |
Algorithms for list structure condensation. |
International Journal of Parallel Programming |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Copying List Structures Using Bounded Workspace. |
Commun. ACM |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
Scanning List Structures Without Stacks or Tag Bits. |
Inf. Process. Lett. |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lindstrom |
The Design of Parsers for Incremental Language Processors |
STOC |
1970 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")