Stem lazi$ (all stems)

280 papers:

DATE-2015-MadhukarSWKM #abstraction #lazy evaluation #using #verification

Verifying synchronous reactive systems using lazy abstraction (KM, MS, BW, DK, RM), pp. 1571–1574.

SIGMOD-2015-ZhouT #named #predict

SMiLer: A Semi-Lazy Time Series Prediction System for Sensors (JZ, AKHT), pp. 1871–1886.

ESOP-2015-VasconcelosJFH #analysis #functional #lazy evaluation #recursion #type system

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.

FASE-2015-BouajjaniCDM #lazy evaluation #reachability

Lazy TSO Reachability (AB, GC, ED, RM), pp. 267–282.

TACAS-2015-Nguyen0TP #bound #c #contest #lazy evaluation #source code

Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches — (Competition Contribution) (TLN, BF, SLT, GP), pp. 461–463.

ICFP-2015-KarachaliasSVJ #data type #lazy evaluation #pattern matching

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness (GK, TS, DV, SLPJ), pp. 424–436.

ECOOP-2015-Chevalier-Boisvert #effectiveness #lazy evaluation #version control

Simple and Effective Type Check Removal through Lazy Basic Block Versioning (MCB, MF), pp. 101–123.

SAC-2015-TakanoI #correctness #functional #lazy evaluation #semantics

Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.

PPoPP-2015-ThomsonD #concurrent #lazy evaluation #partial order #reduction #testing

The lazy happens-before relation: better partial-order reduction for systematic concurrency testing (PT, AFD), pp. 259–260.

SAT-2015-MangalZNN #framework #lazy evaluation #named #satisfiability #scalability

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances (RM, XZ, AVN, MN), pp. 299–306.

SIGMOD-2014-CheungMS #database #lazy evaluation #named #query

Sloth: being lazy is a virtue (when issuing database queries) (AC, SM, ASL), pp. 931–942.

SIGMOD-2014-FaleiroTA #database #evaluation #lazy evaluation #transaction

Lazy evaluation of transactions in database systems (JMF, AT, DJA), pp. 15–26.

TACAS-2014-InversoT0TP #c #contest #lazy evaluation #named

Lazy-CSeq: A Lazy Sequentialization Tool for C — (Competition Contribution) (OI, ET, BF, SLT, GP), pp. 398–401.

PEPM-2014-BransenDS #attribute grammar #evaluation #incremental #lazy evaluation

Lazy stateless incremental evaluation machinery for attribute grammars (JB, AD, SDS), pp. 145–156.

POPL-2014-ChangF #lazy evaluation #profiling

Profiling for laziness (SC, MF), pp. 349–360.

CAV-2014-HadareanBJBT #lazy evaluation

A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors (LH, KB, DJ, CB, CT), pp. 680–695.

CAV-2014-InversoT0TP #bound #c #concurrent #lazy evaluation #model checking #multi #source code #thread

Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization (OI, ET, BF, SLT, GP), pp. 585–602.

CAV-2014-McMillan #lazy evaluation #revisited

Lazy Annotation Revisited (KLM), pp. 243–259.

ICLP-J-2014-AmadiniGM #approach #constraints #lazy evaluation #named #theorem proving

SUNNY: a Lazy Portfolio Approach for Constraint Solving (RA, MG, JM), pp. 509–524.

SAT-2014-AudemardS #lazy evaluation #parallel #policy #satisfiability

Lazy Clause Exchange Policy for Parallel SAT Solvers (GA, LS), pp. 197–205.

VLDB-2013-KaraezIZMK #lazy evaluation

Lazy ETL in Action: ETL Technology Dates Scientific Data (YK, MI, YZ, SM, MLK), pp. 1286–1289.

VLDB-2013-ZhouTWN #2d #learning #named #predict #probability

R2-D2: a System to Support Probabilistic Path Prediction in Dynamic Environments via “Semi-Lazy” Learning (JZ, AKHT, WW, WSN), pp. 1366–1369.

ESOP-2013-Chang #lazy evaluation

Laziness by Need (SC), pp. 81–100.

DUXU-CXC-2013-BaylissVNLB #game studies #lazy evaluation #visual notation

Lazy Eye Shooter: Making a Game Therapy for Visual Recovery in Adult Amblyopia Usable (JDB, IV, MN, DL, DB), pp. 352–360.

KDD-2013-ZhouTWN #approach #predict #probability

A “semi-lazy” approach to probabilistic path prediction (JZ, AKHT, WW, WSN), pp. 748–756.

MLDM-2013-PrieditisS #lazy evaluation

Lazy Overfitting Control (AP, SS), pp. 481–491.

MoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using

Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.

MoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using

Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.

PADL-2013-FourtounisPR #functional #implementation #lazy evaluation

The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.

ESEC-FSE-2013-BraioneDP #execution #lazy evaluation #symbolic computation #term rewriting

Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (PB, GD, MP), pp. 411–421.

CAV-2013-HerbreteauSW #abstraction #automaton #lazy evaluation

Lazy Abstractions for Timed Automata (FH, BS, IW), pp. 990–1005.

RTA-2013-Schmidt-SchaussMS #lazy evaluation #λ-calculus

Extending Abramsky’s Lazy λ Calculus: (Non)-Conservativity of Embeddings (MSS, EM, DS), pp. 239–254.

PEPM-2012-DegenTW #contract #interactive #lazy evaluation

The interaction of contracts and laziness (MD, PT, SW), pp. 97–106.

ICFP-2012-Chitil #contract #lazy evaluation

Practical typed lazy contracts (OC), pp. 67–76.

ICFP-2012-SimoesVFJH #analysis #automation #functional #lazy evaluation #memory management #source code

Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.

IFL-2012-ReichNR #lazy evaluation #roadmap

Advances in Lazy SmallCheck (JSR, MN, CR), pp. 53–70.

IFL-2012-WuMBS #case study #experience #lazy evaluation #mining

Pure and Lazy λ Mining — An Experience Report (NW, JPM, JB, WS), pp. 207–223.

ECIR-2012-OzcanAU #information management #lazy evaluation #web

In Praise of Laziness: A Lazy Strategy for Web Information Extraction (RO, ISA, ÖU), pp. 565–568.

POPL-2012-Balabonski #approach #lazy evaluation

A unified approach to fully lazy sharing (TB), pp. 469–480.

HPCA-2012-NegiGAGS #hardware #lazy evaluation #memory management #named #scalability #transaction

π-TM: Pessimistic invalidation for scalable lazy hardware transactional memory (AN, JRTG, MEA, JMG, PS), pp. 141–152.

ICLP-2012-CatDS #incremental #lazy evaluation

Lazy Model Expansion by Incremental Grounding (BdC, MD, PJS), pp. 201–211.

ICLP-2012-DrescherW #generative #lazy evaluation #set

Answer Set Solving with Lazy Nogood Generation (CD, TW), pp. 188–200.

ICLP-2012-Hanus #analysis #lazy evaluation #nondeterminism

Improving Lazy Non-Deterministic Computations by Demand Analysis (MH), pp. 130–143.

VMCAI-2012-FinkbeinerJ #lazy evaluation #synthesis

Lazy Synthesis (BF, SJ), pp. 219–234.

SIGMOD-2011-MaFL #memory management #named

LazyFTL: a page-level flash translation layer optimized for NAND flash memory (DM, JF, GL), pp. 1–12.

TACAS-2011-CimattiNR #abstraction #lazy evaluation #partial order #reduction

Boosting Lazy Abstraction for SystemC with Partial Order Reduction (AC, IN, MR), pp. 341–356.

PEPM-2011-Chitil #lazy evaluation #semantics

A semantics for lazy assertions (OC), pp. 141–150.

IFM-J-2009-DovlandJOS11 #behaviour #incremental #inheritance #lazy evaluation #multi #reasoning #type system

Incremental reasoning with lazy behavioral subtyping for multiple inheritance (JD, EBJ, OO, MS), pp. 915–941.

IFL-2011-ChangBCF #lazy evaluation #sequence #stack

From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.

IFL-2011-ReichNR #canonical #generative #lazy evaluation #source code

Lazy Generation of Canonical Test Programs (JSR, MN, CR), pp. 69–84.

KDIR-2011-ArmengolP #case study #classification #information management #lazy evaluation #learning

Combining Two Lazy Learning Methods for Classification and Knowledge Discovery — A Case Study for Malignant Melanoma Diagnosis (EA, SP), pp. 200–207.

MoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation

Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.

MoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation

Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.

ICSE-2011-GolraD #framework #lazy evaluation #modelling #multi

The lazy initialization multilayered modeling framework (FRG, FD), pp. 924–927.

DATE-2010-GaoM #lazy evaluation

Enhancing double-patterning detailed routing with lazy coloring and within-path conflict avoidance (XG, LM), pp. 1279–1284.

PEPM-2010-Henglein #algebra #equivalence #lazy evaluation #optimisation #relational #using

Optimizing relational algebra operations using generic equivalence discriminators and lazy products (FH), pp. 73–82.

SAS-2010-JensenMT #analysis #interprocedural #lazy evaluation

Interprocedural Analysis with Lazy Propagation (SHJ, AM, PT), pp. 320–339.

CIAA-2010-EpifanioFGMS #graph #lazy evaluation #on the

On Lazy Representations and Sturmian Graphs (CE, CF, AG, FM, JS), pp. 125–134.

ICFP-2010-BergstromRRSF #lazy evaluation

Lazy tree splitting (LB, MR, JHR, AS, MF), pp. 93–104.

IFL-2010-BoeijinkHK #functional #lazy evaluation

Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.

ICEIS-AIDSS-2010-LampertiZ #lazy evaluation

Diagnosis of Active Systems by Lazy Techniques (GL, MZ), pp. 171–180.

PADL-2010-GentMM #constraints #lazy evaluation

Lazy Explanations for Constraint Propagators (IPG, IM, NCAM), pp. 217–233.

PADL-2010-HafizF #attribute grammar #combinator #execution #lazy evaluation #specification

Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.

PPoPP-2010-TzannesCBV #adaptation #lazy evaluation #runtime

Lazy binary-splitting: a run-time adaptive work-stealing scheduler (AT, GCC, RB, UV), pp. 179–190.

CAV-2010-McMillan #lazy evaluation #testing #verification

Lazy Annotation for Program Testing and Verification (KLM), pp. 104–118.

CAV-2010-Monniaux #lazy evaluation #quantifier

Quantifier Elimination by Lazy Model Enumeration (DM), pp. 585–599.

VLDB-2009-AgrawalGSDS #adaptation

Lazy-Adaptive Tree: An Optimized Index Structure for Flash Devices (DA, DG, RKS, YD, SS), pp. 361–372.

VLDB-2009-CheemaLZWZ #lazy evaluation #monitoring #performance

Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN (MAC, XL, YZ, WW, WZ), pp. 1138–1149.

SCAM-2009-QianZX #analysis #lazy evaluation

Improving Side-Effect Analysis with Lazy Access Path Resolving (JQ, YZ, BX), pp. 35–44.

PLDI-2009-TristanL #lazy evaluation #validation

Verified validation of lazy code motion (JBT, XL), pp. 316–326.

ICFP-2009-FischerKS #functional #lazy evaluation #nondeterminism #programming

Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.

ICFP-2009-Sampson #case study #experience #functional #haskell #lazy evaluation

Experience report: Haskell in the “real world”: writing a commercial application in a lazy functional language (CJS), pp. 185–190.

POPL-2009-GarciaLS #evaluation #lazy evaluation

Lazy evaluation and delimited control (RG, AL, AS), pp. 153–164.

LDTA-2008-Dolstra09 #domain-specific language #functional #lazy evaluation #performance

Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs (ED), pp. 81–99.

ICLP-2009-PaluDPR #constraints #lazy evaluation #programming #set #using

Answer Set Programming with Constraints Using Lazy Grounding (ADP, AD, EP, GR), pp. 115–129.

PEPM-2008-HageH #lazy evaluation

Heap recycling for lazy languages (JH, SH), pp. 189–197.

FLOPS-2008-Yokouchi #algorithm #analysis #difference #lazy evaluation #strict

Strictness Analysis Algorithms Based on an Inequality System for Lazy Types (HY), pp. 255–271.

FM-2008-DovlandJOS #behaviour #lazy evaluation #type system

Lazy Behavioral Subtyping (JD, EBJ, OO, MS), pp. 52–67.

ICFP-2008-Lampson #execution #lazy evaluation

Lazy and speculative execution in computer systems (BWL), pp. 1–2.

IFL-2008-BrasselF #functional #lazy evaluation #logic programming #source code

From Functional Logic Programs to Purely Functional Programs Preserving Laziness (BB, SF), pp. 25–42.

CHI-2008-LaukkanenIR #lazy evaluation #performance

The cone and the lazy bubble: two efficient alternatives between the point cursor and the bubble cursor (JL, PI, KJR), pp. 309–312.

ICPR-2008-ZhuBQ #lazy evaluation #learning

Bagging very weak learners with lazy local learning (XZ, CB, WQ), pp. 1–4.

VMCAI-2008-DimitrovaP #abstraction #lazy evaluation #protocol #question

Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? (RD, AP), pp. 98–111.

SIGMOD-2007-RamanQHNCYL #adaptation #lazy evaluation

Lazy, adaptive rid-list intersection, and its application to index anding (VR, LQ, WH, IN, YLC, KHY, FLL), pp. 773–784.

VLDB-2007-ZhouLE #lazy evaluation #maintenance

Lazy Maintenance of Materialized Views (JZ, PÅL, HGE), pp. 231–242.

CEFP-2007-MolEP #functional #lazy evaluation #proving #source code

Proving Properties of Lazy Functional Programs with Sparkle (MdM, MCJDvE, RP), pp. 41–86.

ICFP-2007-BrasselHFHV #call-by #evaluation #lazy evaluation

Lazy call-by-value evaluation (BB, MH, SF, FH, GV), pp. 265–276.

ICFP-2007-MarlowYJ #lazy evaluation #performance #pointer #using

Faster laziness using dynamic pointer tagging (SM, ARY, SLPJ), pp. 277–288.

IFL-2007-BrasselS #debugging #functional #lazy evaluation #source code

Debugging Lazy Functional Programs by Asking the Oracle (BB, HS), pp. 183–200.

IFL-2007-FindlerGR #contract #data type #lazy evaluation

Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.

LOPSTR-2007-FischerSTV #functional #lazy evaluation #partial evaluation #source code

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (SF, JS, ST, GV), pp. 74–89.

PPDP-2007-EncinaLRH #functional #lazy evaluation #parallel

Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.

POPL-2007-PearlmutterS #higher-order #lazy evaluation #multi

Lazy multivariate higher-order forward-mode AD (BAP, JMS), pp. 155–160.

CC-2007-BakerCPV #garbage collection #lazy evaluation #pointer

Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks (JB, AC, FP, JV), pp. 64–79.

SMT-J-2006-GanaiTG07 #difference #encoding #integration #lazy evaluation #logic #named

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic (MKG, MT, AG), pp. 91–114.

CAV-2007-BruttomessoCFGHNPS #industrial #lazy evaluation #problem #smt #verification

A Lazy and Layered SMT(BV) Solver for Hard Industrial Verification Problems (RB, AC, AF, AG, ZH, AN, AP, RS), pp. 547–560.

CAV-2007-SinhaC #composition #lazy evaluation #learning #satisfiability #using #verification

SAT-Based Compositional Verification Using Lazy Learning (NS, EMC), pp. 39–54.

VLDB-2006-DaudjeeS #database #lazy evaluation #replication

Lazy Database Replication with Snapshot Isolation (KD, KS), pp. 715–726.

TACAS-2006-GanaiTG #encoding #integration #lazy evaluation #logic #named

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver (MKG, MT, AG), pp. 135–150.

FLOPS-2006-CasasCH #approach #evaluation #functional #higher-order #lazy evaluation

A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (AC, DC, MVH), pp. 146–162.

FLOPS-2006-LiKL #analysis #lazy evaluation

Lazy Set-Sharing Analysis (XL, AK, LL), pp. 177–191.

ICALP-v1-2006-Radhakrishnan #lazy evaluation #random #using

Gap Amplification in PCPs Using Lazy Random Walks (JR), pp. 96–107.

IFL-2006-ChitilH #haskell #lazy evaluation #logic

A Pattern Logic for Prompt Lazy Assertions in Haskell (OC, FH), pp. 126–144.

CIKM-2006-VelosoMCGZ #classification #documentation #lazy evaluation #multi

Multi-evidence, multi-criteria, lazy associative document classification (AV, WMJ, MC, MAG, MJZ), pp. 218–227.

ICML-2006-ZhengW #lazy evaluation #performance

Efficient lazy elimination for averaged one-dependence estimators (FZ, GIW), pp. 1113–1120.

CAV-2006-BeyerHT #analysis #lazy evaluation

Lazy Shape Analysis (DB, TAH, GT), pp. 532–546.

CAV-2006-ColvinGLM #algorithm #concurrent #lazy evaluation #set #verification

Formal Verification of a Lazy Concurrent List-Based Set Algorithm (RC, LG, VL, MM), pp. 475–488.

CAV-2006-McMillan #abstraction #lazy evaluation

Lazy Abstraction with Interpolants (KLM), pp. 123–136.

IJCAR-2006-Paskevich #lazy evaluation

Connection Tableaux with Lazy Paramodulation (AP), pp. 112–124.

DocEng-2005-ManakaS #lazy evaluation #optimisation #parsing #xml

Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing (KM, HS), pp. 55–57.

SIGMOD-2005-CataniaWOW #lazy evaluation #performance #xml

Lazy XML Updates: Laziness as a Virtue of Update and Structural Join Efficiency (BC, WQW, BCO, XW), pp. 515–526.

SIGMOD-2004-AbiteboulBCMMP #evaluation #lazy evaluation #query #xml

Lazy Query Evaluation for Active XML (SA, OB, BC, IM, TM, NP), pp. 227–238.

ICEIS-v1-2004-Irun-BrizMB #database #distributed #lazy evaluation #protocol #replication

The Abortion Rate of Lazy Replication Protocols for Distributed Databases (LIB, FDME, JMBA), pp. 130–135.

PPDP-2004-Lopez-FraguasRV #calculus #constraints #declarative #lazy evaluation #programming

A lazy narrowing calculus for declarative constraint programming (FJLF, MRA, RdVV), pp. 43–54.

PPDP-2004-MarinM #lazy evaluation

New completeness results for lazy conditional narrowing (MM, AM), pp. 120–131.

POPL-2004-Boehm #lazy evaluation

The space cost of lazy reference counting (HJB), pp. 210–219.

ICLP-2004-TronconJV #compilation #control flow #evaluation #lazy evaluation #performance #query

Fast Query Evaluation with (Lazy) Control Flow Compilation (RT, GJ, HV), pp. 240–253.

DocEng-2003-SchottN #lazy evaluation

Lazy XSL transformations (SS, MLN), pp. 9–18.

IFL-2003-ChitilMR #lazy evaluation

Lazy Assertions (OC, DM, CR), pp. 1–19.

ICEIS-v1-2003-Irun-BrizMDB #database #framework #lazy evaluation #named #replication

COPLA: A Platform for Eager and Lazy Replication in Networked Databases (LIB, FDME, HD, JMBA), pp. 273–278.

ICML-2003-FernB #lazy evaluation

Boosting Lazy Decision Trees (XZF, CEB), pp. 178–185.

OOPSLA-2003-BoyapatiLSMR #composition #lazy evaluation #persistent

Lazy modular upgrades in persistent object stores (CB, BL, LS, CHM, SR), pp. 403–417.

PADL-2003-ClareK #data mining #functional #lazy evaluation #mining

Data Mining the Yeast Genome in a Lazy Functional Language (AC, RDK), pp. 19–36.

CAV-2003-FlanaganJOS #lazy evaluation #proving #theorem proving #using

Theorem Proving Using Lazy Proof Explication (CF, RJ, XO, JBS), pp. 355–367.

DocEng-2002-NogaSL #lazy evaluation #xml

Lazy XML processing (MLN, SS, WL), pp. 88–94.

CIAA-2002-GuingneN #finite #lazy evaluation

Finite State Lazy Operations in NLP (FG, FN), pp. 138–147.

AFP-2002-ClaessenRCHW02 #functional #lazy evaluation #quickcheck #source code #testing #using

Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (KC, CR, OC, JH, MW), pp. 59–99.

ICFP-2002-Ford #functional #lazy evaluation #linear #parsing

Packrat parsing: : simple, powerful, lazy, linear time, functional pearl (BF), pp. 36–47.

IFL-2002-VervoortP #functional #lazy evaluation

Lazy Dynamic Input/Output in the Lazy Functional Language Clean (MV, MJP), pp. 101–117.

POPL-2002-HenzingerJMS #abstraction #lazy evaluation

Lazy abstraction (TAH, RJ, RM, GS), pp. 58–70.

CADE-2002-MouraRS #bound #infinity #lazy evaluation #model checking #proving #theorem proving

Lazy Theorem Proving for Bounded Model Checking over Infinite Domains (LMdM, HR, MS), pp. 438–455.

ASE-2001-ChevalierV #lazy evaluation #protocol #security #verification

A Tool for Lazy Verification of Security Protocols (YC, LV), pp. 373–376.

FLOPS-2001-CaballeroLR #debugging #declarative #functional #lazy evaluation #logic programming #source code

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.

FLOPS-2001-ChoiLH #compilation #functional #java #lazy evaluation #source code #virtual machine

Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine (KC, HiL, TH), pp. 92–107.

FLOPS-2001-Hortala-GonzalezU #automaton #calculus #lazy evaluation

An Abstract Machine Based System for a Lazy Narrowing Calculus (MTHG, EU), pp. 216–232.

FLOPS-2001-SuzukiM #lazy evaluation

A Complete Selection Function for Lazy Conditional Narrowing (TS, AM), pp. 201–215.

TLCA-2001-Gianantonio #game studies #lazy evaluation #semantics #λ-calculus

Game Semantics for the Pure Lazy λ-calculus (PDG), pp. 106–120.

DAC-2000-YangT #lazy evaluation #model checking

Lazy symbolic model checking (JY, AT), pp. 35–38.

VLDB-2000-KemmeA #consistency #database #lazy evaluation #replication

Don’t Be Lazy, Be Consistent: Postgres-R, A New Way to Implement Database Replication (BK, GA), pp. 134–143.

ICFP-2000-Baker-FinchKT #evaluation #lazy evaluation #parallel #semantics

An operational semantics for parallel lazy evaluation (CABF, DJK, PWT), pp. 162–173.

ICFP-2000-Faxen #evaluation #functional #lazy evaluation

Cheap eagerness: speculative evaluation in a lazy functional language (KFF), pp. 150–161.

IFL-2000-ChitilRW #comparative #debugging #evaluation #functional #lazy evaluation #source code

Freja, Hat and Hood — A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs (OC, CR, MW), pp. 176–193.

ICEIS-2000-DawsonS #lazy evaluation #requirements #specification #using

Requirements Specification for Electronic Services Delivery Applications Using “Lazy Dog” Templates (LD, AS), pp. 261–266.

ICML-2000-WnagZ #approach #lazy evaluation #learning #multi #problem

Solving the Multiple-Instance Problem: A Lazy Learning Approach (JW, JDZ), pp. 1119–1126.

LOPSTR-2000-EtalleM #functional #lazy evaluation #logic programming

The lazy functional side of logic programming (SE, JM).

PPDP-2000-BakewellR #lazy evaluation

A model for comparing the space usage of lazy evaluators (AB, CR), pp. 151–162.

ISMM-2000-ChungM #lazy evaluation #memory management

Memory Allocation with Lazy Fits (YCC, SMM), pp. 65–70.

ICDAR-1999-DowntonLD #evaluation #lazy evaluation #recognition

Lazy Evaluation for Best-First Contextual Handwriting Recognition (ACD, SML, LD), pp. 589–592.

VLDB-1999-PacittMS #algorithm #consistency #database #lazy evaluation #maintenance #performance

Fast Algorithms for Maintaining Replica Consistency in Lazy Master Replicated Databases (EP, PM, ES), pp. 126–137.

PEPM-1999-ChinGK #effectiveness #lazy evaluation #multi #optimisation #traversal

Effective Optimization of Multiple Traversals in Lazy Languages (WNC, AHG, SCK), pp. 119–130.

FLOPS-1999-AlpuenteFMV #functional #lazy evaluation #logic programming #source code

A Transformation System for Lazy Functional Logic Programs (MA, MF, GM, GV), pp. 147–162.

FLOPS-1999-Chakravarty #lazy evaluation #performance

Lazy Lexing is Fast (MMTC), pp. 68–84.

FLOPS-1999-Lux #encapsulation #functional #implementation #lazy evaluation #logic

Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.

FLOPS-1999-MarinIS #higher-order #lazy evaluation #on the

On Reducing the Search Space of Higher-Order Lazy Narrowing (MM, TI, TS), pp. 319–334.

ICALP-1999-Miculan #calculus #formal method #induction #lazy evaluation #proving #μ-calculus

Formalizing a Lazy Substitution Proof System for μ-calculus in the Calculus of Inductive Constructions (MM), pp. 554–564.

ICFP-1999-Nilsson #debugging #functional #lazy evaluation

Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages (HN), pp. 36–47.

IFL-1999-Groningen #functional #lazy evaluation #multi #optimisation #recursion #tuple

Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language (JHGvG), pp. 59–76.

ICML-1999-ZhengWT #lazy evaluation #learning #naive bayes

Lazy Bayesian Rules: A Lazy Semi-Naive Bayesian Learning Technique Competitive to Boosting Decision Trees (ZZ, GIW, KMT), pp. 493–502.

ICML-1999-ZhouB #algorithm #approach #hybrid #learning #memory management #parametricity #requirements

A Hybrid Lazy-Eager Approach to Reducing the Computation and Memory Requirements of Local Parametric Learning Algorithms (YZ, CEB), p. 503–?.

POPL-1999-MoranS #call-by #lazy evaluation

Improvement in a Lazy Context: An Operational Theory for Call-by-Need (AM, DS), pp. 43–56.

HPCA-1999-CoxLHZ #comparison #consistency #lazy evaluation #memory management #performance #protocol

A Performance Comparison of Homeless and Home-Based Lazy Release Consistency Protocols in Software Shared Memory (ALC, EdL, YCH, WZ), pp. 279–283.

ICFP-1998-EdalatPS #lazy evaluation

Lazy Computation with Exact Real Numbers (AE, PJP, PS), pp. 185–194.

ICFP-1998-Kiselyov98c #lazy evaluation

A Lazy CGI Namespace in Scheme (OK), p. 349.

ALP-PLILP-1998-Arenas-SanchezLR #constraints #functional #lazy evaluation #logic #multi

Embedding Multiset Constraints into a Lazy Functional Logic Language (PAS, FJLF, MRA), pp. 429–444.

ALP-PLILP-1998-Wakeling #compilation #functional #haskell #java #lazy evaluation #mobile #source code #virtual machine

Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine (DW), pp. 335–352.

ISMM-1998-WallaceR #functional #lazy evaluation

The Bits Between The Lambdas: Binary Data in a Lazy Functional Language (MW, CR), pp. 107–117.

ICDAR-1997-DuDLA #documentation #evaluation #lazy evaluation #recognition #semantics #using

Generalized Contextual Recognition of Hand-Printed Documents Using Semantic Trees with Lazy Evaluation (LD, ACD, SML, BAB), pp. 238–242.

PODS-1997-BreitbartK #consistency #lazy evaluation #replication

Replication and Consistency: Being Lazy Helps Sometimes (YB, HFK), pp. 173–184.

PEPM-1997-AlpuenteFJV #functional #lazy evaluation #logic programming #source code

Specialization of Lazy Functional Logic Programs (MA, MF, PJI, GV), pp. 151–162.

IFL-1997-Chakravarty #concurrent #lazy evaluation #parallel #thread

Lazy Thread and Task Creation in Parallel Graph-Reduction (MMTC), pp. 231–249.

IFL-1997-Chitil #functional #lazy evaluation

Common Subexpressions Are Uncommon in Lazy Functional Languages (OC), pp. 53–71.

ALP-1997-Almendros-JimenezG #lazy evaluation #order #parametricity

Lazy Narrowing with Parametric Order Sorted Types (JMAJ, AGL), pp. 159–173.

ALP-1997-SuzukiNI #calculus #functional #higher-order #lazy evaluation #logic

Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language (TS, KN, TI), pp. 99–113.

PLILP-1997-Patterson #lazy evaluation #using

Transforming Lazy Functions Using Comportment Properties (RP), pp. 111–125.

PLILP-1997-SparudR #functional #lazy evaluation #using

Tracing Lazy Functional Computations Using Redex Trails (JS, CR), pp. 291–308.

ILPS-1997-Arenas-SanchezR #algebra #calculus #functional #lazy evaluation #logic programming #polymorphism

A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types (PAS, MRA), pp. 53–67.

SAS-1996-Paterson #compilation #lazy evaluation #using

Compiling Laziness Using Projections (RP), pp. 255–269.

ICFP-1996-Okasaki #data type #evaluation #lazy evaluation

The Role of Lazy Evaluation in Amortized Data Structures (CO), pp. 62–72.

IFL-1996-BoquistJ #functional #lazy evaluation #optimisation

The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages (UB, TJ), pp. 58–84.

IFL-1996-JarvisM #functional #lazy evaluation #profiling #scalability #source code

The Results of: Profiling Large-Scale Lazy Functional Programs (SAJ, RGM), pp. 200–221.

HPCA-1996-AdveCDRZ #comparison #consistency #implementation #lazy evaluation

A Comparison of Entry Consistency and Lazy Release Consistency Implementations (SVA, ALC, SD, RR, WZ), pp. 26–37.

JICSLP-1996-Luttringhaus-KappelS #lazy evaluation #performance #set

Applications of Efficient Lazy Set Expression (Poster Abstract) (SLK, DS), p. 531.

VLDB-1995-YanL #lazy evaluation

Eager Aggregation and Lazy Aggregation (WPY, PÅL), pp. 345–357.

ESOP-J-1994-HankinM95 #lazy evaluation #program analysis #type inference

Lazy Type Inference and Program Analysis (CH, DLM), pp. 219–249.

PLDI-1995-BurgerWD #lazy evaluation #using

Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling (RGB, OW, RKD), pp. 130–138.

SAS-1995-Faxen #functional #lazy evaluation #optimisation #source code #using

Optimizing Lazy Functional Programs Using Flow Inference (KFF), pp. 136–153.

FPCA-1995-Boquist #functional #interprocedural #lazy evaluation

Interprocedural Register Allocation for Lazy Functional Languages (UB), pp. 270–281.

LOPSTR-1995-Hanus #functional #lazy evaluation #logic programming #performance #prolog #source code

Efficient Translation of Lazy Functional Logic Programs into Prolog (MH), pp. 252–266.

PLILP-1995-Arenas-SanchezG #debugging #lazy evaluation

A Debugging Model for Lazy Narrowing (PAS, AGL), pp. 453–454.

PLILP-1995-NobleR #component #functional #lazy evaluation #named #user interface #visual notation

Gadgets: Lazy Functional Components for Graphical User Interfaces (RN, CR), pp. 321–340.

IWMM-1995-Hamilton #functional #garbage collection #lazy evaluation

Compile-Time Garbage Collection for Lazy Functional Languages (GWH), pp. 119–144.

IWMM-1995-Rojemo #functional #garbage collection #lazy evaluation

Generational Garbage Collection without Temporary Space Leaks for Lazy Functional Languages (NR), pp. 145–162.

LICS-1995-AbramskyM #abstraction #game studies #lazy evaluation #λ-calculus

Games and Full Abstraction for the Lazy λ-Calculus (SA, GM), pp. 234–243.

RTA-1995-KampermanW #lazy evaluation

Lazy Rewriting and Eager Machinery (JFTK, HRW), pp. 147–162.

VLDB-1994-FerrandinaMZ #database #implementation #lazy evaluation

Implementing Lazy Database Updates for an Object Database System (FF, TM, RZ), pp. 261–272.

ESOP-1994-HankinM #analysis #lazy evaluation #strict #type inference

Lazy Type Inference for the Strictness Analysis of Lists (CH, DLM), pp. 257–271.

ESOP-1994-Hanus #lazy evaluation #unification

Lazy Unification with Simplification (MH), pp. 272–286.

PLDI-1994-LaunchburyJ #functional #lazy evaluation #thread

Lazy Functional State Threads (JL, SLPJ), pp. 24–35.

STOC-1994-BergDS #incremental #lazy evaluation #on the #random

On lazy randomized incremental construction (MdB, KD, OS), pp. 105–114.

PLILP-1994-Arenas-SanchezGL #constraints #lazy evaluation

Combining Lazy Narrowing with Disequality Constraints (PAS, AGL, FJLF), pp. 385–399.

PLILP-1994-Hanus #lazy evaluation

Combining Lazy Narrowing and Simplification (MH), pp. 370–384.

POPL-1994-Maslov #analysis #array #data flow #dependence #lazy evaluation

Lazy Array Data-Flow Dependence Analysis (VM), pp. 311–325.

CADE-1994-Protzen #generative #induction #lazy evaluation

Lazy Generation of Induction Hypotheses (MP), pp. 42–56.

ICLP-1994-LaunchburyJ #lazy evaluation #thread

Lazy Funtional State Threads: An Abstract (JL, SLPJ), pp. 3–5.

SIGMOD-1993-JohnsonK #distributed #lazy evaluation

Lazy Updates for Distributed Search Structure (TJ, PK), pp. 337–346.

WSA-1993-Benton #algebra #data type #lazy evaluation #strict

Strictness Properties of Lazy Algebraic Datatypes (PNB), pp. 206–217.

FPCA-1993-CarlssonH #functional #lazy evaluation #named #user interface #visual notation

FUDGETS: A Graphical User Interface in a Lazy Functional Language (MC, TH), pp. 321–330.

FPCA-1993-Gordon #functional #lazy evaluation #semantics

An Operational Semantics for I/O in a Lazy Functional Language (ADG), pp. 136–145.

FPCA-1993-HartelL #benchmark #functional #implementation #lazy evaluation #metric

Benchmarking Implementations of Lazy Functional Languages (PHH, KL), pp. 341–349.

FPCA-1993-KozatoO #benchmark #functional #image #lazy evaluation #metric #source code

Benchmarking Real-Life Image Processing Programs in Lazy Functional Languages (YK, GPO), pp. 18–30.

FPCA-1993-Liu #evaluation #functional #lazy evaluation #logic #nondeterminism #towards

Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages (FL), pp. 201–209.

PLILP-1993-LoogenFR #lazy evaluation

A Demand Driven Computation Strategy for Lazy Narrowing (RL, FJLF, MRA), pp. 184–200.

PLILP-1993-Moreno-NavarroKMWH #analysis #lazy evaluation #performance #using

Efficient Lazy Narrowing using Demandedness Analysis (JJMN, HK, JMC, SW, WH), pp. 167–183.

POPL-1993-Launchbury #evaluation #lazy evaluation #semantics

A Natural Semantics for Lazy Evaluation (JL), pp. 144–154.

ILPS-1993-Hanus #lazy evaluation #normalisation

Combining Lazy Narrowing and Normalization (MH), p. 673.

ESOP-1992-HogenKL #automation #functional #lazy evaluation #parallel #source code

Automatic Parallelization of Lazy Functional Programs (GH, AK, RL), pp. 254–268.

ESOP-1992-PurushothamanS #evaluation #lazy evaluation #semantics

An Adequate Operational Semantics for Sharing in Lazy Evaluation (SP, JS), pp. 435–450.

PEPM-1992-Chin #higher-order #lazy evaluation

Fully Lazy Higher-Order Removal (WNC), pp. 38–47.

PLDI-1992-KnoopRS #lazy evaluation

Lazy Code Motion (JK, OR, BS), pp. 224–234.

WSA-1992-Hamilton #analysis #first-order #functional #lazy evaluation #source code

Sharing Analysis of Lazy First-Order Functional Programs (GWH), pp. 68–78.

WSA-1992-ParkG #analysis #lazy evaluation

Order-of-Demand Analysis for Lazy Languages (YGP, BG), pp. 91–101.

Best-of-PLDI-1992-KnoopRS92a #lazy evaluation

Lazy code motion (with retrospective) (JK, OR, BS), pp. 460–472.

ICALP-1992-Ong #lazy evaluation #modelling #λ-calculus

Lazy λ Calculus: Theories, Models and Local Structure Characterization (Extended Abstract) (CHLO), pp. 487–498.

LFP-1992-KaserPRRS #experience #implementation #lazy evaluation #parallel #performance

Fast Parallel Implementation of Lazy Languages — The EQUALS Experience (OK, SP, CRR, IVR, RCS), pp. 335–344.

LFP-1992-Maranget #compilation #lazy evaluation #pattern matching

Compiling Lazy Pattern Matching (LM), pp. 21–31.

CSCW-1992-NarayanaswamyG #consistency #development #lazy evaluation

“Lazy” Consistency: A Basis for Cooperative Software Development (KN, NMG), pp. 257–264.

ML-1992-ClarkH #integration #lazy evaluation #partial evaluation

Lazy Partial Evaluation: An Integration of Explanation-Based Generalization and Partial Evaluation (PC, RCH), pp. 82–91.

LOPSTR-1992-Jimenez-MartinMM #compilation #lazy evaluation #performance #prolog

Efficient Compilation of Lazy Narrowing into Prolog (JAJM, JMC, JJMN), pp. 253–270.

PLILP-1992-GomardS #analysis #data type #lazy evaluation

Path Analysis for Lazy Data Structures (CKG, PS), pp. 54–68.

PLILP-1992-HansLW #backtracking #evaluation #interactive #lazy evaluation #on the

On the Interaction of Lazy Evaluation and Backtracking (WH, RL, SW), pp. 355–369.

PLILP-1992-NilssonF #algorithm #debugging #functional #lazy evaluation

Algorithmic Debugging for Lazy Functional Languages (HN, PF), pp. 385–399.

PLILP-1992-Rebelsky #functional #interactive #lazy evaluation #programming

I/O Trees and Interactive Lazy Functional Programming (SAR), pp. 458–472.

POPL-1992-Jorgensen #compilation #generative #lazy evaluation #partial evaluation

Generating a Compiler for a Lazy Language by Partial Evaluation (JJ), pp. 258–268.

SOSP-WIP-1991-Young92 #lazy evaluation #metadata #named #transaction

Episode: Lazy Transactions for Filesystem Meta-Data Updates (Abstract) (MWY), p. 20.

CC-1992-LangendoenH #code generation #functional #lazy evaluation #named

FCG: A Code Generator for Lazy Functional Languages (KL, PHH), pp. 278–296.

IWMM-1992-Seward #garbage collection #graph #lazy evaluation #reduction

Generational Garbage Collection for Lazy Graph Reduction (JS), pp. 200–217.

CADE-1992-HasegawaKF #generative #lazy evaluation #named #parallel #proving #theorem proving

MGTP: A Parallel Theorem Prover Based on Lazy Model Generation (RH, MK, HF), pp. 776–780.

CADE-1992-SekarR #equation #evaluation #framework #lazy evaluation #parallel #programming

Programming with Equations: A Framework for Lazy Parallel Evaluation (RCS, IVR), pp. 618–632.

JICSLP-1992-KuchenLMR #constraints #functional #implementation #lazy evaluation #logic

Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.

LICS-1992-Sangiorgi #concurrent #lazy evaluation #λ-calculus

The Lazy λ Calculus in a Concurrency Scenario (Extended Abstract) (DS), pp. 102–109.

PEPM-1991-HolstG #lazy evaluation #partial evaluation

Partial Evaluation is Fuller Laziness (CKH, CKG), pp. 223–233.

PEPM-1991-Takano #functional #lazy evaluation

Generalized Partial Computation for a Lazy Functional Language (AT), pp. 1–11.

FPCA-1991-LeungM #lazy evaluation #reasoning

Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages (AL, PM), pp. 328–351.

FPCA-1991-Maranget #implementation #lazy evaluation #ml #named #parallel

GAML: a Parallel Implementation of Lazy ML (LM), pp. 102–123.

FPCA-1991-SmetsersNGP #functional #generative #lazy evaluation #performance

Generating Efficient Code for Lazy Functional Languages (SS, EN, JHGvG, MJP), pp. 592–617.

FPCA-1991-WakelingR #lazy evaluation

Linearity and Laziness (DW, CR), pp. 215–240.

LOPSTR-1991-Antoy #evaluation #lazy evaluation #logic programming #nondeterminism

Non-Determinism and Lazy Evaluation in Logic Programming (SA), pp. 318–331.

PLILP-1991-Antoy #evaluation #lazy evaluation #logic

Lazy Evaluation in Logic (SA), pp. 371–382.

PLILP-1991-ChakravartyL #implementation #lazy evaluation

The Implementation of Lazy Narrowing (MMTC, HCRL), pp. 123–134.

ESOP-1990-Kennaway #ambiguity #lazy evaluation #pattern matching #term rewriting

The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems (RK), pp. 256–270.

ESOP-1990-Sands #analysis #complexity #higher-order #lazy evaluation

Complexity Analysis for a Lazy Higher-Order Language (DS), pp. 361–376.

LFP-1990-MohrKH #lazy evaluation #parallel #source code

Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs (EM, DAK, RHHJ), pp. 185–197.

LFP-1990-NielsonN #code generation #information management #lazy evaluation

Context Information for Lazy Code Generation (HRN, FN), pp. 251–263.

ALP-1990-Moreno-NavarroKLR #graph #lazy evaluation

Lazy Narrowing in a Graph Machine (JJMN, HK, RL, MRA), pp. 298–317.

PLILP-1990-Asperti #calculus #evaluation #lazy evaluation #strict

Integrating Strict and Lazy Evaluation: The λ-sl-Calculus (AA), pp. 238–254.

POPL-1990-Field #analysis #lazy evaluation #on the #specification #tool support

On Laziness and Optimality in λ Interpreters: Tools for Specification and Analysis (JF), pp. 1–15.

LICS-1990-CosmadakisMR #lazy evaluation

Completeness for typed lazy inequalities (SSC, ARM, JGR), pp. 312–320.

FPCA-1989-BjernerH #analysis #approach #composition #first-order #functional #lazy evaluation #source code

A Composition Approach to Time Analysis of First Order Lazy Functional Programs (BB, SH), pp. 157–165.

SOSP-1989-BarkleyL #bound #lazy evaluation

A Lazy Buddy System Bounded by Two Coalescing Delays per Class (REB, TPL), pp. 167–176.

LICS-1989-Howe #lazy evaluation #similarity

Equality In Lazy Computation Systems (DJH), pp. 198–203.

RTA-1989-Narain #lazy evaluation #nondeterminism #optimisation

Optimization by Non-Deterministic, Lazy Rewriting (SN), pp. 326–342.

ESOP-1988-Laville #algorithm #implementation #lazy evaluation #pattern matching

Implementation of Lazy Pattern Matching Algorithms (AL), pp. 298–316.

CSL-1988-Luttringhaus #evaluation #interpreter #lazy evaluation #prolog

An Interpreter with Lazy Evaluation for Prolog with Functions (SL), pp. 199–225.

JICSCP-1988-GotoKNC88 #garbage collection #incremental #lazy evaluation #parallel

Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines (AG, YK, TN, TC), pp. 1241–1256.

FPCA-1987-FairbairnW #automaton #combinator #lazy evaluation #named

TIM: A simple, lazy abstract machine to execute supercombinatorics (JF, SW), pp. 34–45.

FPCA-1985-Hughes85 #lazy evaluation

Lazy Memo-functions (JH), pp. 129–146.

FPCA-1985-Wadler85 #backtracking #exception #functional #how #lazy evaluation #pattern matching

How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages (PW), pp. 113–128.

SLP-1985-Narain85 #evaluation #lazy evaluation #logic

A Technique for Doing Lazy Evaluation in Logic (SN), pp. 261–269.

SCC-1984-Johnsson #compilation #evaluation #lazy evaluation #performance

Efficient compilation of lazy evaluation (TJ), pp. 58–69.

Best-of-PLDI-1984-Johnsson #compilation #evaluation #lazy evaluation #performance

Efficient compilation of lazy evaluation (with retrospective) (TJ), pp. 125–138.

LFP-1984-Augustsson #compilation #lazy evaluation #ml

A Compiler for Lazy ML (LA), pp. 218–227.

LFP-1984-DoschM #infinity #lazy evaluation

Busy and Lazy FP with Infinite Objects (WD, BM), pp. 282–292.

LFP-1984-Wadler #evaluation #garbage collection #lazy evaluation

Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time (PW), pp. 45–52.

POPL-1984-SubrahmanyamY #evaluation #functional #lazy evaluation #logic programming #reduction #source code

Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs (PAS, JHY), pp. 228–234.

ILPC-1984-HirakawaCF84 #concurrent #lazy evaluation #prolog

Eager and Lazy Enumerations in Concurrent Prolog (HH, TC, KF), pp. 89–100.

ICALP-1983-Moller #algebra #data-driven #evaluation #functional #lazy evaluation #semantics

An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language (BM), pp. 513–526.

LFP-1982-CartwrightD #evaluation #lazy evaluation #semantics

The Semantics of Lazy (and Industrious) Evaluation (RC, JED), p. 253–?.

LFP-1982-Clinger #call-by #lazy evaluation #nondeterminism

Nondeterministic Call by Need is Neither Lazy Nor by Name (WDC), pp. 226–234.

LISP-1980-SteeleS #lazy evaluation

The Dream of Lifetime: A Lazy Variable Extent Mechanism (GLSJ, GJS), pp. 163–172.

POPL-1976-HendersonM #lazy evaluation

A Lazy Evaluator (PH, JHMJ), pp. 95–103.