Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Shang-Ching Chou |
A Geometry Theorem Prover for Macintoshes. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Eric T. Freeman, Daniel P. Friedman |
Characterizing the Paralation Model using Dynamic Assignment. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Ramana Rao |
Implementational Reflection in Silica. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Mark P. Pearson, Partha Dasgupta |
CLIDE: a distributed, symbolic programming system based on large-grained persistent objects. |
ICDCS |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Harold Boley |
Extended Logic-plus-Functional Programming. |
ELP |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Xavier Leroy |
Efficient Data Representation in Polymorphic Languages. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Alfonseca 0001 |
Object Oriented Programming (Tutorial). |
APL |
1990 |
DBLP DOI BibTeX RDF |
APL, C++, Smalltalk |
19 | Daniel L. Larner |
A Distributed, Operating System Based, Blackboard Architecture for Real-Time Control. |
IEA/AIE (Vol. 1) |
1990 |
DBLP DOI BibTeX RDF |
CLOS |
19 | Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones |
Experiments with Implementations of Two Theoretical Constructions. |
Logic at Botik |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Taiichi Yuasa |
Premature Return - Another Interpretation of the Future Construct. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Edward H. Bensley, Thomas J. Brando, J. C. Fohlin, Myra Jean Prelle, Ann Wollrath |
MITRE's future generation computer architectures program. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
19 | T. F. Higginbotham |
Prospectives on computer science: twenty-five years of observations. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe |
A General Approach to the Optimization of Function Calls. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Richard H. Lathrop, Robert S. Kirk |
Precedent-based manipulation of VLSI structures. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Ewing L. Lusk, William McCune, Ross A. Overbeek |
Logic Machine Architecture: Inference Mechanisms. |
CADE |
1982 |
DBLP DOI BibTeX RDF |
|
19 | Norihisa Suzuki |
Inferring Types in Smalltalk. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
19 | Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward |
Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
19 | Charles G. Nelson, Derek C. Oppen |
A Simplifier Based on Efficient Decision Algorithms. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
19 | Robert M. Balzer |
A language-independent programmer's interface. |
AFIPS National Computer Conference |
1974 |
DBLP DOI BibTeX RDF |
|
19 | Robert F. Simmons |
Storage and retrieval of aspects of meaning in directed graph structures. |
Commun. ACM |
1966 |
DBLP DOI BibTeX RDF |
|
18 | Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig |
Threads Yield Continuations. |
LISP Symb. Comput. |
1998 |
DBLP BibTeX RDF |
|
18 | David A. Schmidt |
Trace-Based Abstract Interpretation of Operational Semantics. |
LISP Symb. Comput. |
1998 |
DBLP BibTeX RDF |
|
18 | Mitchell Wand |
The Theory of Fexprs is Trivial. |
LISP Symb. Comput. |
1998 |
DBLP BibTeX RDF |
|
18 | Sho-Huan Simon Tung |
Visualizing Evaluation in Scheme. |
LISP Symb. Comput. |
1998 |
DBLP BibTeX RDF |
|
18 | Arthur H. Lee, Joseph L. Zachary |
Adding Support for Persistence to CLOS via Its Metaobject Protocol. |
LISP Symb. Comput. |
1997 |
DBLP BibTeX RDF |
|
18 | Atsushi Ohori, Tomonobu Takamizawa |
An Unboxed Operational Semantics for ML Polymorphism. |
LISP Symb. Comput. |
1997 |
DBLP BibTeX RDF |
|
18 | David S. Wise, Brian C. Heck, Caleb Hess, Willie Hunt, Eric Ost |
Research Demonstration of a Hardware Reference-Counting Heap. |
LISP Symb. Comput. |
1997 |
DBLP BibTeX RDF |
|
18 | Olivier Danvy, Mayer Goldberg |
Partial Evaluation of the Euclidian Algorithm. |
LISP Symb. Comput. |
1997 |
DBLP BibTeX RDF |
|
18 | Robert Glück, Jesper Jørgensen |
An Automatic Program Generator for Multi-Level Specialization. |
LISP Symb. Comput. |
1997 |
DBLP BibTeX RDF |
|
18 | Jacques Malenfant, Christophe Dony, Pierre Cointe |
A Semantics of Introspection in a Reflective Prototype-Based Language. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
18 | Yasuaki Honda, Mario Tokoro |
Reflection and Time-Dependent Computing: Experiences with the R2 Architecture. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
18 | Jonathan Springer, Samuel N. Kamin |
Strictness Analysis in the Imperative Lambda Calculus. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
18 | Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa |
Duplication and Partial Evaluation For a Better Understanding of Reflective Languages. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
18 | Stanley Jefferson, Daniel P. Friedman |
A Simple Reflective Interpreter. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
18 | Sho-Huan Simon Tung, R. Kent Dybvig |
Reliable Interactive Programming with Modules. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
18 | David Tarditi, Amer Diwan |
Measuring the Cost of Storage Management. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
18 | Ian Stark |
Categorical Models for Local Names. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
18 | Wei-Ngan Chin, John Darlington |
A Higher-Order Removal Method. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
18 | Uday S. Reddy |
Global State Considered Unnecessary: An Introduction to Object-Based Semantics. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
18 | Joshua D. Guttman, John D. Ramsdell, Vipin Swarup |
The VLISP Verified Scheme System. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Lars Birkedal, Morten Welinder |
Binding-Time Analysis for Standard ML. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Kei Davis |
PERs from Projections for Binding-Time Analysis. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | John Launchbury, Simon L. Peyton Jones |
State in Haskell. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Joshua D. Guttman, John D. Ramsdell, Mitchell Wand |
VLISP: A Verified Implementation of Scheme. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Ian A. Mason, Martin Odersky |
Special Issue on State in Programming Languages - Introduction. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Mark P. Jones |
Dictionary-Free Overloading by Partial Evaluation. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Dino Oliva, John D. Ramsdell, Mitchell Wand |
The VLISP Verified PreScheme Compiler. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Jonathan Eifrig, Scott F. Smith 0001, Valery Trifonov, Amy E. Zwarico |
An Interpretation of Typed OOP in a Language with State. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Andrew K. Wright |
Simple Imperative Polymorphism. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Clement A. Baker-Finch |
Type Theory and Projections for Static Analysis. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Olivier Danvy, Karoline Malmkjær, Jens Palsberg |
The Essence of Eta-Expansion in Partial Evaluation. |
LISP Symb. Comput. |
1995 |
DBLP BibTeX RDF |
|
18 | Andrew W. Appel |
Loop Headers in Lambda-Calculus or CPS. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Richard Kelsey, Jonathan Rees |
A Tractable Scheme Implementation. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Hideo Matsuda, Yukio Kaneda |
An Application of an OR-Parallel Prolog Systemto Phylogenetic Analysis. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Marc Feeley, Marcel Turcotte, Guy Lapalme |
Using Multilisp for Solving Constraint Satisfaction Problems: An Application to Nucleic Acid 3D Structure Determination. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Stephen Weeks, Suresh Jagannathan, James Philbin |
A Concurrent Abstract Interpreter. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | John S. Conery |
Continuation-Based Control in the Implementation of Parallel Logic Programs. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Andrzej Filinski |
Recursion from Iteration. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Kinson Ho, Hans W. Guesgen, Paul N. Hilfinger |
CONSAT: A Parallel Constraint Satisfaction System. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Chris Okasaki, Peter Lee 0001, David Tarditi |
Call-by-Need and Continuation-Passing Style. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Soumen Chakrabarti, Katherine A. Yelick |
Distributed Data Structures and Algorithms for Gröbner Basis Computation. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Philip Wadler |
Monads and Composable Continuations. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Robert Hieb, R. Kent Dybvig, Claude W. Anderson III |
Subcontinuations. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | Peter D. Karp, John D. Lowrance, Thomas M. Strat, David E. Wilkins |
The Grasper-CL Graph Management System. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
18 | F. Lockwood Morris |
The Next 700 Formal Language Descriptions. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Harry Bretthauer, Jürgen Kopp, Harley Davis, Keith Playford |
Balancing the EULISP Metaobject Protocol. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Amr Sabry, Matthias Felleisen |
Reasoning about Programs in Continuation-Passing Style. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Russell J. Bradford, David De Roure |
EuLisp in Education. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | John C. Reynolds |
The Discoveries of Continuations. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Michael J. Fischer |
Lambda-Calculus Schemata. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Julian A. Padget, Greg Nuyens, Harry Bretthauer |
An Overview of EULISP. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Neil Berrington, Peter A. Broadbery, David De Roure, Julian A. Padget |
EULISP Threads: A Concurrency Toolbox. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Andreas Kind, Horst Friedrich |
A Practical Approach to Type Inference for EuLisp. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Robert Harper 0001, Mark Lillibridge |
Polymorphic Type Assignment and CPS Conversion. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Peter A. Broadbery, Christopher Burdorf |
Applications of Telos. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Simon C. Merrall, Julian A. Padget |
Plurals: A SIMD Extension to EuLisp. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
18 | Al Davis |
Mayfly: A General-Purpose, Scalable, Parallel Processing Architecture. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | Guy Lapalme, Mario Latendresse |
A Debugging Environment for Lazy Functional Languages. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | Gang Cheng, Zhang Yun-Zheng |
A "Functional + Logic" Programming Language in Interpretation-Compilation Implementation. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | John D. Evans, Robert R. Kessler |
DPOS: A Metalanguage and Programming Environment for Parallel Processing. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | Charles Consel, Olivier Danvy |
Partial Evaluation in Parallel. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | Alan Borning, Bjørn N. Freeman-Benson, Molly Wilson |
Constraint Hierarchies. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | Shinn-Der Lee, Daniel P. Friedman |
First-Class Extents. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | John S. Conery |
Parallel Logic Programs on the Mayfly. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | R. Kent Dybvig, Robert Hieb, Carl Bruggeman |
Syntactic Abstraction in Scheme. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider |
Answer to Baker's Remarks of July 1991 on Version 1.0. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | Robert R. Kessler, Harold Carr, Leigh Stoller, Mark R. Swanson |
Implementing Concurrent Scheme for the Mayfly Distributed Parallel Processing System. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | Andrew W. Appel, Zhong Shao |
Callee-Save Registers in Continuation-Passing Style. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | Mark R. Swanson |
Concurrent Scheme Reference. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
18 | David M. Ungar, Randall B. Smith |
SELF: The Power of Simplicity. |
LISP Symb. Comput. |
1991 |
DBLP BibTeX RDF |
|
18 | Robert R. Kessler, Jed J. Krohnfeldt |
A Logical Approach to Program Analysis. |
LISP Symb. Comput. |
1991 |
DBLP BibTeX RDF |
|
18 | Timothy Koschmann |
Designing a Browser to Support Multimethods and Method Combination. |
LISP Symb. Comput. |
1991 |
DBLP BibTeX RDF |
|
18 | Craig Chambers, David M. Ungar |
Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. |
LISP Symb. Comput. |
1991 |
DBLP BibTeX RDF |
|
18 | Craig Chambers, David M. Ungar, Elgin Lee |
An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes. |
LISP Symb. Comput. |
1991 |
DBLP BibTeX RDF |
|
18 | Craig Chambers, David M. Ungar, Bay-Wei Chang, Urs Hölzle |
Parents are Shared Parts of Objects: Inheritance and Encapsulation in SELF. |
LISP Symb. Comput. |
1991 |
DBLP BibTeX RDF |
|
18 | Craig Chambers, David M. Ungar, Bay-Wei Chang, Urs Hölzle |
Organizing Programs Without Classes. |
LISP Symb. Comput. |
1991 |
DBLP BibTeX RDF |
|
18 | Richard J. Fateman |
Endpaper: FRPOLY: A Benchmark Revisited. |
LISP Symb. Comput. |
1991 |
DBLP BibTeX RDF |
|
18 | James S. Miller, Guillermo Juan Rozas |
Free Variables and First-Class Environments. |
LISP Symb. Comput. |
1991 |
DBLP BibTeX RDF |
|
18 | R. Kent Dybvig, Robert Hieb |
A New Approach to Procedures with Variable Arity. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
18 | Andrew W. Appel |
A Runtime System. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|