BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
function (67)
languag (39)
evalu (36)
program (35)
model (19)

Stem lazi$ (all stems)

280 papers:

DATEDATE-2015-MadhukarSWKM #abstraction #lazy evaluation #using #verification
Verifying synchronous reactive systems using lazy abstraction (KM, MS, BW, DK, RM), pp. 1571–1574.
SIGMODSIGMOD-2015-ZhouT #named #predict
SMiLer: A Semi-Lazy Time Series Prediction System for Sensors (JZ, AKHT), pp. 1871–1886.
ESOPESOP-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.
FASEFASE-2015-BouajjaniCDM #lazy evaluation #reachability
Lazy TSO Reachability (AB, GC, ED, RM), pp. 267–282.
TACASTACAS-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.
ICFPICFP-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.
ECOOPECOOP-2015-Chevalier-Boisvert #effectiveness #lazy evaluation #version control
Simple and Effective Type Check Removal through Lazy Basic Block Versioning (MCB, MF), pp. 101–123.
SACSAC-2015-TakanoI #correctness #functional #lazy evaluation #semantics
Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
PPoPPPPoPP-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.
ICSTSAT-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.
SIGMODSIGMOD-2014-CheungMS #database #lazy evaluation #named #query
Sloth: being lazy is a virtue (when issuing database queries) (AC, SM, ASL), pp. 931–942.
SIGMODSIGMOD-2014-FaleiroTA #database #evaluation #lazy evaluation #transaction
Lazy evaluation of transactions in database systems (JMF, AT, DJA), pp. 15–26.
TACASTACAS-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.
PEPMPEPM-2014-BransenDS #attribute grammar #evaluation #incremental #lazy evaluation
Lazy stateless incremental evaluation machinery for attribute grammars (JB, AD, SDS), pp. 145–156.
POPLPOPL-2014-ChangF #lazy evaluation #profiling
Profiling for laziness (SC, MF), pp. 349–360.
CAVCAV-2014-HadareanBJBT #lazy evaluation
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors (LH, KB, DJ, CB, CT), pp. 680–695.
CAVCAV-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.
CAVCAV-2014-McMillan #lazy evaluation #revisited
Lazy Annotation Revisited (KLM), pp. 243–259.
ICLPICLP-J-2014-AmadiniGM #approach #constraints #lazy evaluation #named #theorem proving
SUNNY: a Lazy Portfolio Approach for Constraint Solving (RA, MG, JM), pp. 509–524.
ICSTSAT-2014-AudemardS #lazy evaluation #parallel #policy #satisfiability
Lazy Clause Exchange Policy for Parallel SAT Solvers (GA, LS), pp. 197–205.
VLDBVLDB-2013-KaraezIZMK #lazy evaluation
Lazy ETL in Action: ETL Technology Dates Scientific Data (YK, MI, YZ, SM, MLK), pp. 1286–1289.
VLDBVLDB-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.
ESOPESOP-2013-Chang #lazy evaluation
Laziness by Need (SC), pp. 81–100.
HCIDUXU-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.
KDDKDD-2013-ZhouTWN #approach #predict #probability
A “semi-lazy” approach to probabilistic path prediction (JZ, AKHT, WW, WSN), pp. 748–756.
MLDMMLDM-2013-PrieditisS #lazy evaluation
Lazy Overfitting Control (AP, SS), pp. 481–491.
MODELSMoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using
Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.
MODELSMoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using
Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.
PADLPADL-2013-FourtounisPR #functional #implementation #lazy evaluation
The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.
ESEC-FSEESEC-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.
CAVCAV-2013-HerbreteauSW #abstraction #automaton #lazy evaluation
Lazy Abstractions for Timed Automata (FH, BS, IW), pp. 990–1005.
RTARTA-2013-Schmidt-SchaussMS #lazy evaluation #λ-calculus
Extending Abramsky’s Lazy λ Calculus: (Non)-Conservativity of Embeddings (MSS, EM, DS), pp. 239–254.
PEPMPEPM-2012-DegenTW #contract #interactive #lazy evaluation
The interaction of contracts and laziness (MD, PT, SW), pp. 97–106.
ICFPICFP-2012-Chitil #contract #lazy evaluation
Practical typed lazy contracts (OC), pp. 67–76.
ICFPICFP-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.
IFLIFL-2012-ReichNR #lazy evaluation #roadmap
Advances in Lazy SmallCheck (JSR, MN, CR), pp. 53–70.
IFLIFL-2012-WuMBS #case study #experience #lazy evaluation #mining
Pure and Lazy λ Mining — An Experience Report (NW, JPM, JB, WS), pp. 207–223.
ECIRECIR-2012-OzcanAU #information management #lazy evaluation #web
In Praise of Laziness: A Lazy Strategy for Web Information Extraction (RO, ISA, ÖU), pp. 565–568.
POPLPOPL-2012-Balabonski #approach #lazy evaluation
A unified approach to fully lazy sharing (TB), pp. 469–480.
HPCAHPCA-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.
ICLPICLP-2012-CatDS #incremental #lazy evaluation
Lazy Model Expansion by Incremental Grounding (BdC, MD, PJS), pp. 201–211.
ICLPICLP-2012-DrescherW #generative #lazy evaluation #set
Answer Set Solving with Lazy Nogood Generation (CD, TW), pp. 188–200.
ICLPICLP-2012-Hanus #analysis #lazy evaluation #nondeterminism
Improving Lazy Non-Deterministic Computations by Demand Analysis (MH), pp. 130–143.
VMCAIVMCAI-2012-FinkbeinerJ #lazy evaluation #synthesis
Lazy Synthesis (BF, SJ), pp. 219–234.
SIGMODSIGMOD-2011-MaFL #memory management #named
LazyFTL: a page-level flash translation layer optimized for NAND flash memory (DM, JF, GL), pp. 1–12.
TACASTACAS-2011-CimattiNR #abstraction #lazy evaluation #partial order #reduction
Boosting Lazy Abstraction for SystemC with Partial Order Reduction (AC, IN, MR), pp. 341–356.
PEPMPEPM-2011-Chitil #lazy evaluation #semantics
A semantics for lazy assertions (OC), pp. 141–150.
IFMIFM-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.
IFLIFL-2011-ChangBCF #lazy evaluation #sequence #stack
From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.
IFLIFL-2011-ReichNR #canonical #generative #lazy evaluation #source code
Lazy Generation of Canonical Test Programs (JSR, MN, CR), pp. 69–84.
KDIRKDIR-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.
MODELSMoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation
Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
MODELSMoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation
Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
ICSEICSE-2011-GolraD #framework #lazy evaluation #modelling #multi
The lazy initialization multilayered modeling framework (FRG, FD), pp. 924–927.
DATEDATE-2010-GaoM #lazy evaluation
Enhancing double-patterning detailed routing with lazy coloring and within-path conflict avoidance (XG, LM), pp. 1279–1284.
PEPMPEPM-2010-Henglein #algebra #equivalence #lazy evaluation #optimisation #relational #using
Optimizing relational algebra operations using generic equivalence discriminators and lazy products (FH), pp. 73–82.
SASSAS-2010-JensenMT #analysis #interprocedural #lazy evaluation
Interprocedural Analysis with Lazy Propagation (SHJ, AM, PT), pp. 320–339.
CIAACIAA-2010-EpifanioFGMS #graph #lazy evaluation #on the
On Lazy Representations and Sturmian Graphs (CE, CF, AG, FM, JS), pp. 125–134.
ICFPICFP-2010-BergstromRRSF #lazy evaluation
Lazy tree splitting (LB, MR, JHR, AS, MF), pp. 93–104.
IFLIFL-2010-BoeijinkHK #functional #lazy evaluation
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.
ICEISICEIS-AIDSS-2010-LampertiZ #lazy evaluation
Diagnosis of Active Systems by Lazy Techniques (GL, MZ), pp. 171–180.
PADLPADL-2010-GentMM #constraints #lazy evaluation
Lazy Explanations for Constraint Propagators (IPG, IM, NCAM), pp. 217–233.
PADLPADL-2010-HafizF #attribute grammar #combinator #execution #lazy evaluation #specification
Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.
PPoPPPPoPP-2010-TzannesCBV #adaptation #lazy evaluation #runtime
Lazy binary-splitting: a run-time adaptive work-stealing scheduler (AT, GCC, RB, UV), pp. 179–190.
CAVCAV-2010-McMillan #lazy evaluation #testing #verification
Lazy Annotation for Program Testing and Verification (KLM), pp. 104–118.
CAVCAV-2010-Monniaux #lazy evaluation #quantifier
Quantifier Elimination by Lazy Model Enumeration (DM), pp. 585–599.
VLDBVLDB-2009-AgrawalGSDS #adaptation
Lazy-Adaptive Tree: An Optimized Index Structure for Flash Devices (DA, DG, RKS, YD, SS), pp. 361–372.
VLDBVLDB-2009-CheemaLZWZ #lazy evaluation #monitoring #performance
Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN (MAC, XL, YZ, WW, WZ), pp. 1138–1149.
SCAMSCAM-2009-QianZX #analysis #lazy evaluation
Improving Side-Effect Analysis with Lazy Access Path Resolving (JQ, YZ, BX), pp. 35–44.
PLDIPLDI-2009-TristanL #lazy evaluation #validation
Verified validation of lazy code motion (JBT, XL), pp. 316–326.
ICFPICFP-2009-FischerKS #functional #lazy evaluation #nondeterminism #programming
Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.
ICFPICFP-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.
POPLPOPL-2009-GarciaLS #evaluation #lazy evaluation
Lazy evaluation and delimited control (RG, AL, AS), pp. 153–164.
LDTALDTA-2008-Dolstra09 #domain-specific language #functional #lazy evaluation #performance
Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs (ED), pp. 81–99.
ICLPICLP-2009-PaluDPR #constraints #lazy evaluation #programming #set #using
Answer Set Programming with Constraints Using Lazy Grounding (ADP, AD, EP, GR), pp. 115–129.
PEPMPEPM-2008-HageH #lazy evaluation
Heap recycling for lazy languages (JH, SH), pp. 189–197.
FLOPSFLOPS-2008-Yokouchi #algorithm #analysis #difference #lazy evaluation #strict
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types (HY), pp. 255–271.
FMFM-2008-DovlandJOS #behaviour #lazy evaluation #type system
Lazy Behavioral Subtyping (JD, EBJ, OO, MS), pp. 52–67.
ICFPICFP-2008-Lampson #execution #lazy evaluation
Lazy and speculative execution in computer systems (BWL), pp. 1–2.
IFLIFL-2008-BrasselF #functional #lazy evaluation #logic programming #source code
From Functional Logic Programs to Purely Functional Programs Preserving Laziness (BB, SF), pp. 25–42.
CHICHI-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.
ICPRICPR-2008-ZhuBQ #lazy evaluation #learning
Bagging very weak learners with lazy local learning (XZ, CB, WQ), pp. 1–4.
VMCAIVMCAI-2008-DimitrovaP #abstraction #lazy evaluation #protocol #question
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? (RD, AP), pp. 98–111.
SIGMODSIGMOD-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.
VLDBVLDB-2007-ZhouLE #lazy evaluation #maintenance
Lazy Maintenance of Materialized Views (JZ, PÅL, HGE), pp. 231–242.
CEFPCEFP-2007-MolEP #functional #lazy evaluation #proving #source code
Proving Properties of Lazy Functional Programs with Sparkle (MdM, MCJDvE, RP), pp. 41–86.
ICFPICFP-2007-BrasselHFHV #call-by #evaluation #lazy evaluation
Lazy call-by-value evaluation (BB, MH, SF, FH, GV), pp. 265–276.
ICFPICFP-2007-MarlowYJ #lazy evaluation #performance #pointer #using
Faster laziness using dynamic pointer tagging (SM, ARY, SLPJ), pp. 277–288.
IFLIFL-2007-BrasselS #debugging #functional #lazy evaluation #source code
Debugging Lazy Functional Programs by Asking the Oracle (BB, HS), pp. 183–200.
IFLIFL-2007-FindlerGR #contract #data type #lazy evaluation
Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.
LOPSTRLOPSTR-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.
PPDPPPDP-2007-EncinaLRH #functional #lazy evaluation #parallel
Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.
POPLPOPL-2007-PearlmutterS #higher-order #lazy evaluation #multi
Lazy multivariate higher-order forward-mode AD (BAP, JMS), pp. 155–160.
CCCC-2007-BakerCPV #garbage collection #lazy evaluation #pointer
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks (JB, AC, FP, JV), pp. 64–79.
SMTSMT-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.
CAVCAV-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.
CAVCAV-2007-SinhaC #composition #lazy evaluation #learning #satisfiability #using #verification
SAT-Based Compositional Verification Using Lazy Learning (NS, EMC), pp. 39–54.
VLDBVLDB-2006-DaudjeeS #database #lazy evaluation #replication
Lazy Database Replication with Snapshot Isolation (KD, KS), pp. 715–726.
TACASTACAS-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.
FLOPSFLOPS-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.
FLOPSFLOPS-2006-LiKL #analysis #lazy evaluation
Lazy Set-Sharing Analysis (XL, AK, LL), pp. 177–191.
ICALPICALP-v1-2006-Radhakrishnan #lazy evaluation #random #using
Gap Amplification in PCPs Using Lazy Random Walks (JR), pp. 96–107.
IFLIFL-2006-ChitilH #haskell #lazy evaluation #logic
A Pattern Logic for Prompt Lazy Assertions in Haskell (OC, FH), pp. 126–144.
CIKMCIKM-2006-VelosoMCGZ #classification #documentation #lazy evaluation #multi
Multi-evidence, multi-criteria, lazy associative document classification (AV, WMJ, MC, MAG, MJZ), pp. 218–227.
ICMLICML-2006-ZhengW #lazy evaluation #performance
Efficient lazy elimination for averaged one-dependence estimators (FZ, GIW), pp. 1113–1120.
CAVCAV-2006-BeyerHT #analysis #lazy evaluation
Lazy Shape Analysis (DB, TAH, GT), pp. 532–546.
CAVCAV-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.
CAVCAV-2006-McMillan #abstraction #lazy evaluation
Lazy Abstraction with Interpolants (KLM), pp. 123–136.
IJCARIJCAR-2006-Paskevich #lazy evaluation
Connection Tableaux with Lazy Paramodulation (AP), pp. 112–124.
DocEngDocEng-2005-ManakaS #lazy evaluation #optimisation #parsing #xml
Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing (KM, HS), pp. 55–57.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2004-AbiteboulBCMMP #evaluation #lazy evaluation #query #xml
Lazy Query Evaluation for Active XML (SA, OB, BC, IM, TM, NP), pp. 227–238.
ICEISICEIS-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.
PPDPPPDP-2004-Lopez-FraguasRV #calculus #constraints #declarative #lazy evaluation #programming
A lazy narrowing calculus for declarative constraint programming (FJLF, MRA, RdVV), pp. 43–54.
PPDPPPDP-2004-MarinM #lazy evaluation
New completeness results for lazy conditional narrowing (MM, AM), pp. 120–131.
POPLPOPL-2004-Boehm #lazy evaluation
The space cost of lazy reference counting (HJB), pp. 210–219.
ICLPICLP-2004-TronconJV #compilation #control flow #evaluation #lazy evaluation #performance #query
Fast Query Evaluation with (Lazy) Control Flow Compilation (RT, GJ, HV), pp. 240–253.
DocEngDocEng-2003-SchottN #lazy evaluation
Lazy XSL transformations (SS, MLN), pp. 9–18.
IFLIFL-2003-ChitilMR #lazy evaluation
Lazy Assertions (OC, DM, CR), pp. 1–19.
ICEISICEIS-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.
ICMLICML-2003-FernB #lazy evaluation
Boosting Lazy Decision Trees (XZF, CEB), pp. 178–185.
OOPSLAOOPSLA-2003-BoyapatiLSMR #composition #lazy evaluation #persistent
Lazy modular upgrades in persistent object stores (CB, BL, LS, CHM, SR), pp. 403–417.
PADLPADL-2003-ClareK #data mining #functional #lazy evaluation #mining
Data Mining the Yeast Genome in a Lazy Functional Language (AC, RDK), pp. 19–36.
CAVCAV-2003-FlanaganJOS #lazy evaluation #proving #theorem proving #using
Theorem Proving Using Lazy Proof Explication (CF, RJ, XO, JBS), pp. 355–367.
DocEngDocEng-2002-NogaSL #lazy evaluation #xml
Lazy XML processing (MLN, SS, WL), pp. 88–94.
CIAACIAA-2002-GuingneN #finite #lazy evaluation
Finite State Lazy Operations in NLP (FG, FN), pp. 138–147.
AFPAFP-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.
ICFPICFP-2002-Ford #functional #lazy evaluation #linear #parsing
Packrat parsing: : simple, powerful, lazy, linear time, functional pearl (BF), pp. 36–47.
IFLIFL-2002-VervoortP #functional #lazy evaluation
Lazy Dynamic Input/Output in the Lazy Functional Language Clean (MV, MJP), pp. 101–117.
POPLPOPL-2002-HenzingerJMS #abstraction #lazy evaluation
Lazy abstraction (TAH, RJ, RM, GS), pp. 58–70.
CADECADE-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.
ASEASE-2001-ChevalierV #lazy evaluation #protocol #security #verification
A Tool for Lazy Verification of Security Protocols (YC, LV), pp. 373–376.
FLOPSFLOPS-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.
FLOPSFLOPS-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.
FLOPSFLOPS-2001-Hortala-GonzalezU #automaton #calculus #lazy evaluation
An Abstract Machine Based System for a Lazy Narrowing Calculus (MTHG, EU), pp. 216–232.
FLOPSFLOPS-2001-SuzukiM #lazy evaluation
A Complete Selection Function for Lazy Conditional Narrowing (TS, AM), pp. 201–215.
TLCATLCA-2001-Gianantonio #game studies #lazy evaluation #semantics #λ-calculus
Game Semantics for the Pure Lazy λ-calculus (PDG), pp. 106–120.
DACDAC-2000-YangT #lazy evaluation #model checking
Lazy symbolic model checking (JY, AT), pp. 35–38.
VLDBVLDB-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.
ICFPICFP-2000-Baker-FinchKT #evaluation #lazy evaluation #parallel #semantics
An operational semantics for parallel lazy evaluation (CABF, DJK, PWT), pp. 162–173.
ICFPICFP-2000-Faxen #evaluation #functional #lazy evaluation
Cheap eagerness: speculative evaluation in a lazy functional language (KFF), pp. 150–161.
IFLIFL-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.
ICEISICEIS-2000-DawsonS #lazy evaluation #requirements #specification #using
Requirements Specification for Electronic Services Delivery Applications Using “Lazy Dog” Templates (LD, AS), pp. 261–266.
ICMLICML-2000-WnagZ #approach #lazy evaluation #learning #multi #problem
Solving the Multiple-Instance Problem: A Lazy Learning Approach (JW, JDZ), pp. 1119–1126.
LOPSTRLOPSTR-2000-EtalleM #functional #lazy evaluation #logic programming
The lazy functional side of logic programming (SE, JM).
PPDPPPDP-2000-BakewellR #lazy evaluation
A model for comparing the space usage of lazy evaluators (AB, CR), pp. 151–162.
ISMMISMM-2000-ChungM #lazy evaluation #memory management
Memory Allocation with Lazy Fits (YCC, SMM), pp. 65–70.
ICDARICDAR-1999-DowntonLD #evaluation #lazy evaluation #recognition
Lazy Evaluation for Best-First Contextual Handwriting Recognition (ACD, SML, LD), pp. 589–592.
VLDBVLDB-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.
PEPMPEPM-1999-ChinGK #effectiveness #lazy evaluation #multi #optimisation #traversal
Effective Optimization of Multiple Traversals in Lazy Languages (WNC, AHG, SCK), pp. 119–130.
FLOPSFLOPS-1999-AlpuenteFMV #functional #lazy evaluation #logic programming #source code
A Transformation System for Lazy Functional Logic Programs (MA, MF, GM, GV), pp. 147–162.
FLOPSFLOPS-1999-Chakravarty #lazy evaluation #performance
Lazy Lexing is Fast (MMTC), pp. 68–84.
FLOPSFLOPS-1999-Lux #encapsulation #functional #implementation #lazy evaluation #logic
Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.
FLOPSFLOPS-1999-MarinIS #higher-order #lazy evaluation #on the
On Reducing the Search Space of Higher-Order Lazy Narrowing (MM, TI, TS), pp. 319–334.
ICALPICALP-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.
ICFPICFP-1999-Nilsson #debugging #functional #lazy evaluation
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages (HN), pp. 36–47.
IFLIFL-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.
ICMLICML-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.
ICMLICML-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–?.
POPLPOPL-1999-MoranS #call-by #lazy evaluation
Improvement in a Lazy Context: An Operational Theory for Call-by-Need (AM, DS), pp. 43–56.
HPCAHPCA-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.
ICFPICFP-1998-EdalatPS #lazy evaluation
Lazy Computation with Exact Real Numbers (AE, PJP, PS), pp. 185–194.
ICFPICFP-1998-Kiselyov98c #lazy evaluation
A Lazy CGI Namespace in Scheme (OK), p. 349.
PPDPALP-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.
PPDPALP-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.
ISMMISMM-1998-WallaceR #functional #lazy evaluation
The Bits Between The Lambdas: Binary Data in a Lazy Functional Language (MW, CR), pp. 107–117.
ICDARICDAR-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.
PODSPODS-1997-BreitbartK #consistency #lazy evaluation #replication
Replication and Consistency: Being Lazy Helps Sometimes (YB, HFK), pp. 173–184.
PEPMPEPM-1997-AlpuenteFJV #functional #lazy evaluation #logic programming #source code
Specialization of Lazy Functional Logic Programs (MA, MF, PJI, GV), pp. 151–162.
IFLIFL-1997-Chakravarty #concurrent #lazy evaluation #parallel #thread
Lazy Thread and Task Creation in Parallel Graph-Reduction (MMTC), pp. 231–249.
IFLIFL-1997-Chitil #functional #lazy evaluation
Common Subexpressions Are Uncommon in Lazy Functional Languages (OC), pp. 53–71.
PPDPALP-1997-Almendros-JimenezG #lazy evaluation #order #parametricity
Lazy Narrowing with Parametric Order Sorted Types (JMAJ, AGL), pp. 159–173.
PPDPALP-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.
PPDPPLILP-1997-Patterson #lazy evaluation #using
Transforming Lazy Functions Using Comportment Properties (RP), pp. 111–125.
PPDPPLILP-1997-SparudR #functional #lazy evaluation #using
Tracing Lazy Functional Computations Using Redex Trails (JS, CR), pp. 291–308.
ICLPILPS-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.
SASSAS-1996-Paterson #compilation #lazy evaluation #using
Compiling Laziness Using Projections (RP), pp. 255–269.
ICFPICFP-1996-Okasaki #data type #evaluation #lazy evaluation
The Role of Lazy Evaluation in Amortized Data Structures (CO), pp. 62–72.
IFLIFL-1996-BoquistJ #functional #lazy evaluation #optimisation
The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages (UB, TJ), pp. 58–84.
IFLIFL-1996-JarvisM #functional #lazy evaluation #profiling #scalability #source code
The Results of: Profiling Large-Scale Lazy Functional Programs (SAJ, RGM), pp. 200–221.
HPCAHPCA-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.
ICLPJICSLP-1996-Luttringhaus-KappelS #lazy evaluation #performance #set
Applications of Efficient Lazy Set Expression (Poster Abstract) (SLK, DS), p. 531.
VLDBVLDB-1995-YanL #lazy evaluation
Eager Aggregation and Lazy Aggregation (WPY, PÅL), pp. 345–357.
ESOPESOP-J-1994-HankinM95 #lazy evaluation #program analysis #type inference
Lazy Type Inference and Program Analysis (CH, DLM), pp. 219–249.
PLDIPLDI-1995-BurgerWD #lazy evaluation #using
Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling (RGB, OW, RKD), pp. 130–138.
SASSAS-1995-Faxen #functional #lazy evaluation #optimisation #source code #using
Optimizing Lazy Functional Programs Using Flow Inference (KFF), pp. 136–153.
FPCAFPCA-1995-Boquist #functional #interprocedural #lazy evaluation
Interprocedural Register Allocation for Lazy Functional Languages (UB), pp. 270–281.
LOPSTRLOPSTR-1995-Hanus #functional #lazy evaluation #logic programming #performance #prolog #source code
Efficient Translation of Lazy Functional Logic Programs into Prolog (MH), pp. 252–266.
PPDPPLILP-1995-Arenas-SanchezG #debugging #lazy evaluation
A Debugging Model for Lazy Narrowing (PAS, AGL), pp. 453–454.
PPDPPLILP-1995-NobleR #component #functional #lazy evaluation #named #user interface #visual notation
Gadgets: Lazy Functional Components for Graphical User Interfaces (RN, CR), pp. 321–340.
ISMMIWMM-1995-Hamilton #functional #garbage collection #lazy evaluation
Compile-Time Garbage Collection for Lazy Functional Languages (GWH), pp. 119–144.
ISMMIWMM-1995-Rojemo #functional #garbage collection #lazy evaluation
Generational Garbage Collection without Temporary Space Leaks for Lazy Functional Languages (NR), pp. 145–162.
LICSLICS-1995-AbramskyM #abstraction #game studies #lazy evaluation #λ-calculus
Games and Full Abstraction for the Lazy λ-Calculus (SA, GM), pp. 234–243.
RTARTA-1995-KampermanW #lazy evaluation
Lazy Rewriting and Eager Machinery (JFTK, HRW), pp. 147–162.
VLDBVLDB-1994-FerrandinaMZ #database #implementation #lazy evaluation
Implementing Lazy Database Updates for an Object Database System (FF, TM, RZ), pp. 261–272.
ESOPESOP-1994-HankinM #analysis #lazy evaluation #strict #type inference
Lazy Type Inference for the Strictness Analysis of Lists (CH, DLM), pp. 257–271.
ESOPESOP-1994-Hanus #lazy evaluation #unification
Lazy Unification with Simplification (MH), pp. 272–286.
PLDIPLDI-1994-LaunchburyJ #functional #lazy evaluation #thread
Lazy Functional State Threads (JL, SLPJ), pp. 24–35.
STOCSTOC-1994-BergDS #incremental #lazy evaluation #on the #random
On lazy randomized incremental construction (MdB, KD, OS), pp. 105–114.
PPDPPLILP-1994-Arenas-SanchezGL #constraints #lazy evaluation
Combining Lazy Narrowing with Disequality Constraints (PAS, AGL, FJLF), pp. 385–399.
PPDPPLILP-1994-Hanus #lazy evaluation
Combining Lazy Narrowing and Simplification (MH), pp. 370–384.
POPLPOPL-1994-Maslov #analysis #array #data flow #dependence #lazy evaluation
Lazy Array Data-Flow Dependence Analysis (VM), pp. 311–325.
CADECADE-1994-Protzen #generative #induction #lazy evaluation
Lazy Generation of Induction Hypotheses (MP), pp. 42–56.
ICLPICLP-1994-LaunchburyJ #lazy evaluation #thread
Lazy Funtional State Threads: An Abstract (JL, SLPJ), pp. 3–5.
SIGMODSIGMOD-1993-JohnsonK #distributed #lazy evaluation
Lazy Updates for Distributed Search Structure (TJ, PK), pp. 337–346.
SASWSA-1993-Benton #algebra #data type #lazy evaluation #strict
Strictness Properties of Lazy Algebraic Datatypes (PNB), pp. 206–217.
FPCAFPCA-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.
FPCAFPCA-1993-Gordon #functional #lazy evaluation #semantics
An Operational Semantics for I/O in a Lazy Functional Language (ADG), pp. 136–145.
FPCAFPCA-1993-HartelL #benchmark #functional #implementation #lazy evaluation #metric
Benchmarking Implementations of Lazy Functional Languages (PHH, KL), pp. 341–349.
FPCAFPCA-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.
FPCAFPCA-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.
PPDPPLILP-1993-LoogenFR #lazy evaluation
A Demand Driven Computation Strategy for Lazy Narrowing (RL, FJLF, MRA), pp. 184–200.
PPDPPLILP-1993-Moreno-NavarroKMWH #analysis #lazy evaluation #performance #using
Efficient Lazy Narrowing using Demandedness Analysis (JJMN, HK, JMC, SW, WH), pp. 167–183.
POPLPOPL-1993-Launchbury #evaluation #lazy evaluation #semantics
A Natural Semantics for Lazy Evaluation (JL), pp. 144–154.
ICLPILPS-1993-Hanus #lazy evaluation #normalisation
Combining Lazy Narrowing and Normalization (MH), p. 673.
ESOPESOP-1992-HogenKL #automation #functional #lazy evaluation #parallel #source code
Automatic Parallelization of Lazy Functional Programs (GH, AK, RL), pp. 254–268.
ESOPESOP-1992-PurushothamanS #evaluation #lazy evaluation #semantics
An Adequate Operational Semantics for Sharing in Lazy Evaluation (SP, JS), pp. 435–450.
PEPMPEPM-1992-Chin #higher-order #lazy evaluation
Fully Lazy Higher-Order Removal (WNC), pp. 38–47.
PLDIPLDI-1992-KnoopRS #lazy evaluation
Lazy Code Motion (JK, OR, BS), pp. 224–234.
SASWSA-1992-Hamilton #analysis #first-order #functional #lazy evaluation #source code
Sharing Analysis of Lazy First-Order Functional Programs (GWH), pp. 68–78.
SASWSA-1992-ParkG #analysis #lazy evaluation
Order-of-Demand Analysis for Lazy Languages (YGP, BG), pp. 91–101.
PLDIBest-of-PLDI-1992-KnoopRS92a #lazy evaluation
Lazy code motion (with retrospective) (JK, OR, BS), pp. 460–472.
ICALPICALP-1992-Ong #lazy evaluation #modelling #λ-calculus
Lazy λ Calculus: Theories, Models and Local Structure Characterization (Extended Abstract) (CHLO), pp. 487–498.
LISPLFP-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.
LISPLFP-1992-Maranget #compilation #lazy evaluation #pattern matching
Compiling Lazy Pattern Matching (LM), pp. 21–31.
CSCWCSCW-1992-NarayanaswamyG #consistency #development #lazy evaluation
“Lazy” Consistency: A Basis for Cooperative Software Development (KN, NMG), pp. 257–264.
ICMLML-1992-ClarkH #integration #lazy evaluation #partial evaluation
Lazy Partial Evaluation: An Integration of Explanation-Based Generalization and Partial Evaluation (PC, RCH), pp. 82–91.
LOPSTRLOPSTR-1992-Jimenez-MartinMM #compilation #lazy evaluation #performance #prolog
Efficient Compilation of Lazy Narrowing into Prolog (JAJM, JMC, JJMN), pp. 253–270.
PPDPPLILP-1992-GomardS #analysis #data type #lazy evaluation
Path Analysis for Lazy Data Structures (CKG, PS), pp. 54–68.
PPDPPLILP-1992-HansLW #backtracking #evaluation #interactive #lazy evaluation #on the
On the Interaction of Lazy Evaluation and Backtracking (WH, RL, SW), pp. 355–369.
PPDPPLILP-1992-NilssonF #algorithm #debugging #functional #lazy evaluation
Algorithmic Debugging for Lazy Functional Languages (HN, PF), pp. 385–399.
PPDPPLILP-1992-Rebelsky #functional #interactive #lazy evaluation #programming
I/O Trees and Interactive Lazy Functional Programming (SAR), pp. 458–472.
POPLPOPL-1992-Jorgensen #compilation #generative #lazy evaluation #partial evaluation
Generating a Compiler for a Lazy Language by Partial Evaluation (JJ), pp. 258–268.
SOSPSOSP-WIP-1991-Young92 #lazy evaluation #metadata #named #transaction
Episode: Lazy Transactions for Filesystem Meta-Data Updates (Abstract) (MWY), p. 20.
CCCC-1992-LangendoenH #code generation #functional #lazy evaluation #named
FCG: A Code Generator for Lazy Functional Languages (KL, PHH), pp. 278–296.
ISMMIWMM-1992-Seward #garbage collection #graph #lazy evaluation #reduction
Generational Garbage Collection for Lazy Graph Reduction (JS), pp. 200–217.
CADECADE-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.
CADECADE-1992-SekarR #equation #evaluation #framework #lazy evaluation #parallel #programming
Programming with Equations: A Framework for Lazy Parallel Evaluation (RCS, IVR), pp. 618–632.
ICLPJICSLP-1992-KuchenLMR #constraints #functional #implementation #lazy evaluation #logic
Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.
LICSLICS-1992-Sangiorgi #concurrent #lazy evaluation #λ-calculus
The Lazy λ Calculus in a Concurrency Scenario (Extended Abstract) (DS), pp. 102–109.
PEPMPEPM-1991-HolstG #lazy evaluation #partial evaluation
Partial Evaluation is Fuller Laziness (CKH, CKG), pp. 223–233.
PEPMPEPM-1991-Takano #functional #lazy evaluation
Generalized Partial Computation for a Lazy Functional Language (AT), pp. 1–11.
FPCAFPCA-1991-LeungM #lazy evaluation #reasoning
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages (AL, PM), pp. 328–351.
FPCAFPCA-1991-Maranget #implementation #lazy evaluation #ml #named #parallel
GAML: a Parallel Implementation of Lazy ML (LM), pp. 102–123.
FPCAFPCA-1991-SmetsersNGP #functional #generative #lazy evaluation #performance
Generating Efficient Code for Lazy Functional Languages (SS, EN, JHGvG, MJP), pp. 592–617.
FPCAFPCA-1991-WakelingR #lazy evaluation
Linearity and Laziness (DW, CR), pp. 215–240.
LOPSTRLOPSTR-1991-Antoy #evaluation #lazy evaluation #logic programming #nondeterminism
Non-Determinism and Lazy Evaluation in Logic Programming (SA), pp. 318–331.
PPDPPLILP-1991-Antoy #evaluation #lazy evaluation #logic
Lazy Evaluation in Logic (SA), pp. 371–382.
PPDPPLILP-1991-ChakravartyL #implementation #lazy evaluation
The Implementation of Lazy Narrowing (MMTC, HCRL), pp. 123–134.
ESOPESOP-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.
ESOPESOP-1990-Sands #analysis #complexity #higher-order #lazy evaluation
Complexity Analysis for a Lazy Higher-Order Language (DS), pp. 361–376.
LISPLFP-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.
LISPLFP-1990-NielsonN #code generation #information management #lazy evaluation
Context Information for Lazy Code Generation (HRN, FN), pp. 251–263.
PPDPALP-1990-Moreno-NavarroKLR #graph #lazy evaluation
Lazy Narrowing in a Graph Machine (JJMN, HK, RL, MRA), pp. 298–317.
PPDPPLILP-1990-Asperti #calculus #evaluation #lazy evaluation #strict
Integrating Strict and Lazy Evaluation: The λ-sl-Calculus (AA), pp. 238–254.
POPLPOPL-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.
LICSLICS-1990-CosmadakisMR #lazy evaluation
Completeness for typed lazy inequalities (SSC, ARM, JGR), pp. 312–320.
FPCAFPCA-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.
SOSPSOSP-1989-BarkleyL #bound #lazy evaluation
A Lazy Buddy System Bounded by Two Coalescing Delays per Class (REB, TPL), pp. 167–176.
LICSLICS-1989-Howe #lazy evaluation #similarity
Equality In Lazy Computation Systems (DJH), pp. 198–203.
RTARTA-1989-Narain #lazy evaluation #nondeterminism #optimisation
Optimization by Non-Deterministic, Lazy Rewriting (SN), pp. 326–342.
ESOPESOP-1988-Laville #algorithm #implementation #lazy evaluation #pattern matching
Implementation of Lazy Pattern Matching Algorithms (AL), pp. 298–316.
CSLCSL-1988-Luttringhaus #evaluation #interpreter #lazy evaluation #prolog
An Interpreter with Lazy Evaluation for Prolog with Functions (SL), pp. 199–225.
ICLPJICSCP-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.
FPCAFPCA-1987-FairbairnW #automaton #combinator #lazy evaluation #named
TIM: A simple, lazy abstract machine to execute supercombinatorics (JF, SW), pp. 34–45.
FPCAFPCA-1985-Hughes85 #lazy evaluation
Lazy Memo-functions (JH), pp. 129–146.
FPCAFPCA-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.
ICLPSLP-1985-Narain85 #evaluation #lazy evaluation #logic
A Technique for Doing Lazy Evaluation in Logic (SN), pp. 261–269.
PLDISCC-1984-Johnsson #compilation #evaluation #lazy evaluation #performance
Efficient compilation of lazy evaluation (TJ), pp. 58–69.
PLDIBest-of-PLDI-1984-Johnsson #compilation #evaluation #lazy evaluation #performance
Efficient compilation of lazy evaluation (with retrospective) (TJ), pp. 125–138.
LISPLFP-1984-Augustsson #compilation #lazy evaluation #ml
A Compiler for Lazy ML (LA), pp. 218–227.
LISPLFP-1984-DoschM #infinity #lazy evaluation
Busy and Lazy FP with Infinite Objects (WD, BM), pp. 282–292.
LISPLFP-1984-Wadler #evaluation #garbage collection #lazy evaluation
Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time (PW), pp. 45–52.
POPLPOPL-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.
ICLPILPC-1984-HirakawaCF84 #concurrent #lazy evaluation #prolog
Eager and Lazy Enumerations in Concurrent Prolog (HH, TC, KF), pp. 89–100.
ICALPICALP-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.
LISPLFP-1982-CartwrightD #evaluation #lazy evaluation #semantics
The Semantics of Lazy (and Industrious) Evaluation (RC, JED), p. 253–?.
LISPLFP-1982-Clinger #call-by #lazy evaluation #nondeterminism
Nondeterministic Call by Need is Neither Lazy Nor by Name (WDC), pp. 226–234.
LISPLISP-1980-SteeleS #lazy evaluation
The Dream of Lifetime: A Lazy Variable Extent Mechanism (GLSJ, GJS), pp. 163–172.
POPLPOPL-1976-HendersonM #lazy evaluation
A Lazy Evaluator (PH, JHMJ), pp. 95–103.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.