Search results for "LISP"

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