Search results for "laziness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi	Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	lambda conversion, implementation, lambda calculus, explicit substitution
17	Salvador España Boquera, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
17	Diletta Cacciagrano, Flavio Corradini	Expressiveness of Timed Events and Timed Languages.	SFM	2004	DBLP DOI BibTeX RDF
17	Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal	A semantics for tracing declarative multi-paradigm programs.	PPDP	2004	DBLP DOI BibTeX RDF	semantics, tracing, functional logic programming
17	Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal	Run-Time Profiling of Functional Logic Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
17	Amanda Clare, Ross D. King	Data Mining the Yeast Genome in a Lazy Functional Language.	PADL	2003	DBLP DOI BibTeX RDF
17	Florin Sultan, Thu D. Nguyen, Liviu Iftode	Lazy Garbage Collection of Recovery State for Fault-Tolerant Distributed Shared Memory.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	log-based rollback recovery, Fault tolerance, garbage collection, checkpointing, distributed shared memory
17	Florin Sultan, Thu D. Nguyen, Liviu Iftode	Lazy Garbage Collection of Recovery State for Fault-Tolerant Distributed Shared Memory.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	log-based rollback recovery, Fault tolerance, garbage collection, checkpointing, distributed shared memory
17	Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev	Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
17	Michael Hill	Sharpening the Axe for Test Driven Development.	XP/Agile Universe	2002	DBLP DOI BibTeX RDF
17	María Alpuente, Santiago Escobar 0001, Bernhard Gramlich, Salvador Lucas	Improving On-Demand Strategy Annotations.	LPAR	2002	DBLP DOI BibTeX RDF	on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ
17	William L. Harrison, Tim Sheard, James Hook	Fine Control of Demand in Haskell.	MPC	2002	DBLP DOI BibTeX RDF
17	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
17	Sheng Liang, Gilad Bracha	Dynamics Class Loading in the Java Virtual Machine.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
17	Hans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano	Parallelising a Large Functional Program or: Keeping LOLITA Busy.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
17	Mohand Ourabah Benouamer, P. Jaillon, Dominique Michelucci, Jean-Michel Moreau	A lazy exact arithmetic.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
17	C.-H. Luke Ong	Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
17	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Lazy code motion (with retrospective)	Best of PLDI	1992	DBLP DOI BibTeX RDF
17	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Lazy Code Motion.	PLDI	1992	DBLP DOI BibTeX RDF
17	Koen Langendoen, Willem G. Vree	FRATS: A Parallel Reduction Strategy for Shared Memory.	PLILP	1991	DBLP DOI BibTeX RDF
17	David de Frutos-Escrig, María-Inés Fernández-Camacho	On Narrowing Strategies for Partial Non-Strict Functions.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
17	John Gateley, Bruce F. Duba	Call-by-Value Combinatory Logic and the Lambda-Value Calculus.	MFPS	1991	DBLP DOI BibTeX RDF
17	Simon L. Peyton Jones	An Introduction to Fully-Lazy Supercombinators.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF