The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Lazy Evaluation (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1986 (17) 1987-1989 (18) 1990-1991 (16) 1992-1994 (15) 1995-1997 (15) 1998-1999 (15) 2000-2002 (21) 2003-2004 (18) 2005-2006 (21) 2007 (17) 2008-2009 (20) 2010-2014 (18) 2015-2019 (10)
Publication types (Num. hits)
article(50) incollection(1) inproceedings(167) phdthesis(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 191 occurrences of 119 keywords

Results
Found 221 publication records. Showing 221 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
78Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. Search on Bibsonomy FLOPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order
70Werner Hans, Rita Loogen, Stephan Winkler On the Interaction of Lazy Evaluation and Backtracking. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
59C.-H. Luke Ong Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
56Andy C. Downton, Simon M. Lucas, L. Du Lazy Evaluation for Best-First Contextual Handwriting Recognition. Search on Bibsonomy ICDAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
52S. Purushothaman, Jill Seaman An Adequate Operational Semantics for Sharing in Lazy Evaluation. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
48Chris Okasaki Amortization, Lazy Evaluation, and Persistence: Lists with Catenation via Lazy Linking. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF catenation, lazy linking, data structures, persistence, lazy evaluation, list processing, amortization, persistent data structures
47Philip Wadler Strictness Analysis Aids Time Analysis. Search on Bibsonomy POPL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
40Ian Poole, Craig Ewington, Arthur Joones, Steve Wille Combining Functional and Object-Oriented Programming Methodologies in a Large Commercial Application. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF object-oriented programming, C++, Functional programming, lazy evaluation, Real world applications
38J. F. Th. Kamperman, H. R. Walters Lazy Rewriting and Eager Machinery. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas Improving On-Demand Strategy Annotations. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ
36Peter Van Weert Efficient Lazy Evaluation of Rule-Based Programs. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Optimizing compilation, lazy evaluation, production rules, matching algorithms, constraint handling rules
36John Launchbury A Natural Semantics for Lazy Evaluation. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Keshav Pingali Lazy evaluation and the logic variable. Search on Bibsonomy ICS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF RISC, Miranda
36Stefan Lüttringhaus An Interpreter with Lazy Evaluation for Prolog with Functions. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
34P. V. R. Murthy, V. Rajaraman Implementation of Speculative Parallelism in Functional Languages. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF compile-time analysis technique, supercombinator, speculative evaluation, conservative parallelism, branch speculation, argument speculation, performance, probability, probability, functional programming, parallel languages, functional languages, lazy evaluation, speculative parallelism, user-defined function, strictness analysis
34Andrea Asperti Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. Search on Bibsonomy PLILP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
32E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer Concurrent Clean. Search on Bibsonomy PARLE (2) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
31Ronald Garcia, Andrew Lumsdaine, Amr Sabry Lazy evaluation and delimited control. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF call-by-need, lambda calculus, abstract machines, delimited continuations, reduction semantics
30Andrew Paul Smith Fast construction of constant bound functions for sparse polynomials. Search on Bibsonomy J. Global Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Constrained global optimization, Interval arithmetic, Relaxation, Lazy evaluation, Multivariate polynomials, Bernstein polynomials, Bound functions
30Jean-Philippe Bernardy Lazy functional incremental parsing. Search on Bibsonomy Haskell The full citation details ... 2009 DBLP  DOI  BibTeX  RDF polish representation, dynamic programming, haskell, parsing, lazy evaluation, incremental computing, editor
30Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill A lightweight interactive debugger for haskell. Search on Bibsonomy Haskell The full citation details ... 2007 DBLP  DOI  BibTeX  RDF debugging, lazy evaluation
30Janis Voigtländer Using circular programs to deforest in accumulating parameters. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF accumulating parameters, intermediate data structures, lazy composition, multiple traversals, program transformation, lazy evaluation, tupling, deforestation, circular programs
30Michael Hanus Teaching Functional and Logic Programming with a Single Computational Model. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Keyword Functional logic languages, integration of paradigms, lazy evaluation, residuation, narrowing
30Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil An Implementation Technique for Database Query Languages. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF database interfaces, lazy evaluation, applicative programing, coroutines
30Steffen Schott, Markus L. Noga Lazy XSL transformations. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30P. A. Subrahmanyam, Jia-Huai You Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. Search on Bibsonomy POPL The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
29Clement A. Baker-Finch, David J. King, Philip W. Trinder An operational semantics for parallel lazy evaluation. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Dieter Maurer Lazy Execution of Boolean Queries. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Anders L. Madsen, Finn Verner Jensen LAZY Propagation: A Junction Tree Inference Algorithm Based on Lazy Evaluation. Search on Bibsonomy Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Thilo Götz, Detmar Meurers The importance of being lazy -- using lazy evaluation to process queries to HPSG grammars Search on Bibsonomy CoRR The full citation details ... 1996 DBLP  BibTeX  RDF
26Julio Mariño, José María Rey Poza Adding constraints to curry via flat guards. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF definitional trees, sloth, constraints, type classes, curry
25Chris Okasaki The Role of Lazy Evaluation in Amortized Data Structures. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25John Placer Integrating destructive assignment and lazy evaluation in the multiparadigm language G-2. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Sergio Antoy Lazy Evaluation in Logic. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
24Geoffrey L. Burn The Evaluation Transformer Model of Reduction and Its Correctness. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
22Rui Camacho Improving the Efficiency of ILP Systems. Search on Bibsonomy EPIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Adrienne G. Bloss, Paul Hudak Path Semantics. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
20Raymes Khoury, Bernd Burgstaller, Bernhard Scholz Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF math script languages, Cell Broadband Engine architecture, scheduling, Programming languages, data partitioning, lazy evaluation
20Stefan Holdermans, Jurriaan Hage Making "stricterness" more relevant. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis
20Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF HList, class system, type-level programming, Haskell, attribute grammars, lazy evaluation
20Colin Runciman, Matthew Naylor, Fredrik Lindblad Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lazy evaluation, type classes, exhaustive search, embedded language, property-based testing
20Nils Anders Danielsson Lightweight semiformal time complexity analysis for purely functional data structures. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF amortised time complexity, purely functional data structures, dependent types, lazy evaluation
20Butler W. Lampson Lazy and speculative execution in computer systems. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lazy evaluation
20Makoto Yui, Jun Miyazaki, Shunsuke Uemura, Hirokazu Kato XBird/D: distributed and parallel XQuery processing using remote proxy. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF design and implementation of distributed database, distributed and parallel database, lazy evaluation, XML query processing
20Erik Meijer 0001 Fundamentalist functional programming. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pure functional programming, concurrency, monads, lazy evaluation, linq
20Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger Improving the lazy Krivine machine. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Call by need, Lambda calculus, Lazy evaluation, Abstract machine
20Frédéric Lang Explaining the lazy Krivine machine using explicit substitution and addresses. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Call-by-need, Functional programming, Lazy evaluation, Abstract machine
20Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF intermediate results, purely functional data structures, improving sequences, lazy evaluation
20Jacques Le Maitre Describing multistructured XML documents by means of delay nodes. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multistructured documents, XML, XQuery, lazy evaluation
20Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano Dealing with incomplete knowledge on CLP(FD) variable domains. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF domain acquisition, interaction, Constraints, streams, sets, lazy evaluation
20Kenji Manaka, Hiroyuki Sato Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2005 DBLP  DOI  BibTeX  RDF saxon, optimization, XSLT, lazy evaluation
20Dongxi Liu, Zhenjiang Hu, Masato Takeichi An environment for maintaining computation dependency in XML documents. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2005 DBLP  DOI  BibTeX  RDF computation dependency, programmable structured document, XML, functional programming, lazy evaluation
20Steve Dekorte Io: a small programming language. Search on Bibsonomy OOPSLA Companion The full citation details ... 2005 DBLP  DOI  BibTeX  RDF prototype-based, object oriented, languages, actors, lazy evaluation, coroutines
20Robert Ennals, Simon L. Peyton Jones Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF haskell, lazy evaluation, online profiling
20Santiago Escobar Refining weakly outermost-needed rewriting and narrowing. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF neededness, term rewriting, lazy evaluation, demandness, parallel evaluation
20Markus L. Noga, Steffen Schott, Welf Löwe Lazy XML processing. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML, parsing, lazy evaluation, document object model
20Bradley T. Vander Zanden, Richard L. Halterman, Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Pedro A. Szekely, Dario A. Giuse, David S. Kosbie Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Constraint experience, constraint usage, eager evaluation, one-way dataflow constraints, constraint satisfaction, lazy evaluation
20Arthur G. Duncan Reusable Ada Libraries Supporting Infinite Data Structures. Search on Bibsonomy SIGAda The full citation details ... 1998 DBLP  DOI  BibTeX  RDF infinite data structures, Ada, Ada, functional programming, lazy evaluation
20Paul E. S. Dunne, Paul H. Leng, Gerald F. Nwana On the Complexity of Boolean Functions Computed by Lazy Oracles. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Boolean function complexity, demand-driven simulation, Circuit simulation, lazy evaluation, symmetric Boolean functions
20Marcel Beemster Strictness Optimization for Graph Reduction Machines (Why id Might Not Be Strict). Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF lazy evaluation, graph reduction, strictness analysis
20Scott E. Hudson Incremental Attribute Evaluation: A Flexible Algorithm for Lazy Update. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF incremental attribute evaluation, interactive systems, attribute grammars, lazy evaluation
20Dominik Gruntz Infinite streams in Java. Search on Bibsonomy PPPJ The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java
20Rui Camacho IndLog - Induction in Logic. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Alberto de la Encina, Ricardo Pena Proving the Correctness of the STG Machine. Search on Bibsonomy IFL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Abbas Edalat, Peter John Potts, Philipp Sünderhauf Lazy Computation with Exact Real Numbers. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Daniel Barbará, Mark Sullivan Quasi-Cubes: Exploiting Approximations in Multidimensional Databases. Search on Bibsonomy SIGMOD Record The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Chris Okasaki Catenable Double-Ended Queues. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
18Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta Co-Logic Programming: Extending Logic Programming with Coinduction. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Bernd Braßel, Holger Siegel Debugging Lazy Functional Programs by Asking the Oracle. Search on Bibsonomy IFL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Duncan Coutts, Don Stewart, Roman Leshchinskiy Rewriting Haskell Strings. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Program fusion, Functional programming, Deforestation
18Janis Voigtländer Using Circular Programs to Deforest in Accumulating Parameters. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2004 DBLP  DOI  BibTeX  RDF intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs
18Anthony M. Sloane Post-design Domain-Specific Language Embedding: A Case Study in the Software Engineering Domain. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF domain-specific embedded languages, software build systems, evaluation, functional languages
18Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer Polygonizing Implicit Surfaces in a Purely Functional Way. Search on Bibsonomy IFL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
18Andrew Moran, David Sands 0001, Magnus Carlsson Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. Search on Bibsonomy COORDINATION The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
18Robert Giegerich, Stefan Kurtz, Jens Stoye Efficient Implementation of Lazy Suffix Trees. Search on Bibsonomy Algorithm Engineering The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
18Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo Lazy Narrowing in a Graph Machine. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
16Graham H. B. Roberts The Derivation of Functional Equivalents of Imperative Programs. Search on Bibsonomy ACSC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Gary Lindstrom Static evaluation of functional programs. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
15Juan David Hernández, Mark Moll, Lydia E. Kavraki Lazy Evaluation of Goal Specifications Guided by Motion Planning. Search on Bibsonomy ICRA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
15Justus Sagemüller, Olivier Verdier Lazy evaluation in infinite-dimensional function spaces with wavelet basis. Search on Bibsonomy FHPNC@ICFP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
15Joachim Breitner The adequacy of Launchbury's natural semantics for lazy evaluation. Search on Bibsonomy J. Funct. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Saso Karakatic, Marjan Hericko, Vili Podgorelec Experiments with Lazy Evaluation of Classification Decision Trees Made with Genetic Programming. Search on Bibsonomy IJCCI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
15Saso Karakatic, Marjan Hericko, Vili Podgorelec Improving Genetic Programming for Classification with Lazy Evaluation and Dynamic Weighting. Search on Bibsonomy IJCCI (Selected Papers) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
15Sam Leroux, Steven Bohez, Cedric De Boom, Elias De Coninck, Tim Verbelen, Bert Vankeirsbilck, Pieter Simoens, Bart Dhoedt Lazy Evaluation of Convolutional Filters. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
15Lesley Wevers, Marieke Huisman, Maurice van Keulen Lazy Evaluation for Concurrent OLTP and Bulk Transactions. Search on Bibsonomy IDEAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Joachim Breitner Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. Search on Bibsonomy 2016   RDF
15Massimo Tisi, Rémi Douence, Dennis Wagelaar Lazy Evaluation for OCL. Search on Bibsonomy OCL@MoDELS The full citation details ... 2015 DBLP  BibTeX  RDF
15Ilya Kolchinsky, Izchak Sharfman, Assaf Schuster Lazy evaluation methods for detecting complex events. Search on Bibsonomy DEBS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Joachim Breitner The Correctness of Launchbury's Natural Semantics for Lazy Evaluation. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
15Jose M. Faleiro, Alexander Thomson, Daniel J. Abadi Lazy evaluation of transactions in database systems. Search on Bibsonomy SIGMOD Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. Search on Bibsonomy ICECCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Seyed H. Haeri, Sibylle Schupp Distributed Lazy Evaluation: A Big-Step Mechanised Semantics. Search on Bibsonomy PDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Saulo Medeiros de Araujo, Kiev Santos da Gama, Nelson Souto Rosa, Silvio Romero de Lemos Meira Afluentes Concurrent I/O Made Easy with Lazy Evaluation. Search on Bibsonomy PDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Rafael Cabañas, Andrés Cano, Manuel Gómez-Olmedo, Anders L. Madsen On SPI-Lazy Evaluation of Influence Diagrams. Search on Bibsonomy Probabilistic Graphical Models The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Anders L. Madsen, Finn Verner Jensen Lazy Evaluation of Symmetric Bayesian Decision Problems Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
15Joachim Breitner The Correctness of Launchbury's Natural Semantics for Lazy Evaluation. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2013 DBLP  BibTeX  RDF
15Rafael Cabañas, Andrés Cano, Manuel Gómez-Olmedo, Anders L. Madsen Approximate Lazy Evaluation of Influence Diagrams. Search on Bibsonomy CAEPIA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Peter Thanisch, Jyrki Nummenmaa, Tapio Niemi, Marko Niinimäki Cell-at-a-Time Approach to Lazy Evaluation of Dimensional Aggregations. Search on Bibsonomy DaWaK The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. Search on Bibsonomy ICTAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
15Sylvain Pion, Andreas Fabri A generic lazy evaluation scheme for exact geometric computations. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 221 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license