The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Iterators with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1993 (16) 1994-1998 (19) 1999-2003 (19) 2004-2006 (29) 2007-2008 (24) 2009-2013 (15) 2014-2023 (14)
Publication types (Num. hits)
article(34) book(1) inproceedings(101)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 131 occurrences of 107 keywords

Results
Found 136 publication records. Showing 136 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
156Stephen M. Watt A technique for generic iteration and its optimization. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF generic program, iterators
108Giuseppe Castagna, Kim Nguyen 0001 Typed iterators for XML. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML, polymorphism, iterators, subtyping
108Olivier Zendra, Dominique Colnet Adding External Iterators to an Existing Eiffel Class Library. Search on Bibsonomy TOOLS (32) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF SmallEiffel, libraries, iterators, collections, Eiffel
99John Beidler Structuring Iterators to Encourage Reuse. Search on Bibsonomy Ada-Europe The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
84Jed Liu, Aaron Kimball, Andrew C. Myers Interruptible iterators. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF JMatch, Java, logic programming, exception, coroutine
84James Noble 0001 Iterators and Encapsulation. Search on Bibsonomy TOOLS (33) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
78David Alex Lamb Specification of Iterators. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications
74Stephan Murer, Stephen M. Omohundro, David Stoutamire, Clemens A. Szyperski Iteration Abstraction in Sather. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Sather, general control structures, iteration abstraction
63Florian Waas Extending Iterators for Advanced Query Execution. Search on Bibsonomy Australasian Database Conference The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Disjunctive predicates, Iterators, Query evaluation
63Matthew H. Austern Segmented Iterators and Hierarchical Algorithms. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF multidimensional data structures, iterators, Standard Template Library
63Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb Design and Specification of Iterators Using the Swapping Paradigm. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages
55Christian Schulte 0001, Guido Tack Views and Iterators for Generic Constraint Implementations. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Christian Schulte 0001, Guido Tack Views and Iterators for Generic Constraint Implementations. Search on Bibsonomy CSCLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
53Jordi Marco, Xavier Franch A framework for designing and implementing the Ada standard container library. Search on Bibsonomy SIGAda The full citation details ... 2003 DBLP  DOI  BibTeX  RDF access by position, container libraries, iterators, quality models
44Songtao Xia, Manuel Fähndrich, Francesco Logozzo Inferring Dataflow Properties of User Defined Table Processors. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Milind Kulkarni 0001, Patrick Carribault, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew Scheduling strategies for optimistic parallel execution of irregular programs. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scheduling, optimistic parallelism, irregular programs
44Ehsan Vossough, Janusz R. Getta Processing of Continuous Queries over Unlimited Data Streams. Search on Bibsonomy DEXA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Thomas Kühne 0001 Internal Iteration Externalized. Search on Bibsonomy ECOOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Zdzislaw Splawski, Pawel Urzyczyn Type Fixpoints: Iteration vs. Recursion. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
40Mackale Joyner, Bradford L. Chamberlain, Steven J. Deitz Iterators in Chapel. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Jean-Christophe Filliâtre Backtracking iterators. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF iteration, backtracking, persistent data structures
40Dieter Gluche, Dietmar Kühl, Karsten Weihe Iterators Evaluate Table Queries (C++ Toolbox). Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38David R. Musser, Arturo J. Sánchez-Ruíz Theory and Generality of Complete Traversals. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Standard Template Library (STL), Adaptors, Iteration Mechanisms, Generic Programming, Iterators, Containers, Closures
30Milind Kulkarni 0001, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew Optimistic parallelism benefits from data partitioning. Search on Bibsonomy ASPLOS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lock coarsening, over-decomposition, locality, data partitioning, optimistic parallelism, irregular programs
30Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur Heap analysis in the presence of collection libraries. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF collection library, static analysis, shape analysis
30Gerhard W. Zumbusch A Container-Iterator Parallel Programming Model. Search on Bibsonomy PPAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF domain specific code generation, parallel numerical methods, Posix threads, MPI, automatic parallelization, multigrid, Cell processor, parallel programming models
30Daniel Hoffman, Kevin Yoo Blowtorch: a framework for firewall test automation. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF network firewall, production grammar, automated testing, covering array, capture/replay
30Leonidas Fegaras XQuery Processing with Relevance Ranking. Search on Bibsonomy XSym The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira Ownership types for object encapsulation. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF object encapsulation, ownership types, software upgrades
30Alexandre V. Zamulin Language Independent Container Specification. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Jan F. Prins, Daniel W. Palmer Transforming High-Level Data-Parallel Programs into Vector Operations. Search on Bibsonomy PPoPP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Judy M. Bishop The Effect of Data Abstraction on Loop Programming Techniques. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF loop programming techniques, loop algorithms, generic sorting routine, generic data types, software engineering, data structures, Ada, generators, abstract data types, iterator, data abstraction
30Robert D. Cameron Efficient High-Level Iteration with Accumulators. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
25Mark Niklas Müller, Marc Fischer 0002, Robin Staab, Martin T. Vechev Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Xavier Denis, Jacques-Henri Jourdan Specifying and Verifying Higher-order Rust Iterators. Search on Bibsonomy TACAS (2) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Aurel Bílý, Jonas Hansen, Peter Müller 0001, Alexander J. Summers Compositional Reasoning for Side-effectful Iterators and Iterator Adapters. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Benjamin Brock, Scott McMillan, Aydin Buluç, Timothy G. Mattson, José E. Moreira GraphBLAS: C++ Iterators for Sparse Matrices. Search on Bibsonomy IPDPS Workshops The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25John Jolly, Priya Goyal, Vishal Sahoo, Hans Johansen, Mary W. Hall Tensor Iterators for Flexible High-Performance Tensor Computation. Search on Bibsonomy LCPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Alejandro R. Mosteo, María-Teresa Lorente Exploring the boundaries of Ada syntax with functional-style iterators. Search on Bibsonomy J. Syst. Archit. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Archita Agarwal, Zhiyu Liu, Eli Rosenthal, Vikram Saraph Linearizable Iterators for Concurrent Data Structures. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
25Jiasi Shen 0001, Martin C. Rinard Robust programs with filtered iterators. Search on Bibsonomy SLE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25François Pottier Verifying a hash table and its iterators in higher-order separation logic. Search on Bibsonomy CPP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Daniel Langr, Ivan Simecek, Tomás Dytrych Block Iterators for Sparse Matrices. Search on Bibsonomy FedCSIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Aleksandar Prokopec, Dmitry Petrashko, Martin Odersky Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections. Search on Bibsonomy PDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Ian J. Bertolacci, Catherine Olschanowsky, Ben Harshbarger, Bradford L. Chamberlain, David G. Wonnacott, Michelle Mills Strout Parameterized Diamond Tiling for Stencil Computations with Chapel parallel iterators. Search on Bibsonomy ICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Wei Zhang 0059, Per Larsen, Stefan Brunthaler 0001, Michael Franz Accelerating iterators in optimizing AST interpreters. Search on Bibsonomy OOPSLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Catherine Dubois, Renaud Rioboo Verified Functional Iterators Using the FoCaLiZe Environment. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Joaquín Moreno An infinite family of one-step iterators for solving nonlinear equations to increase the order of convergence and a new algorithm of global convergence. Search on Bibsonomy Comput. Math. Appl. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Erez Petrank, Shahar Timnat Lock-Free Data-Structure Iterators. Search on Bibsonomy DISC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson 0001 Synthesizing iterators from abstraction functions. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Marco Nissen Graph Iterators: Decoupling Graph Structures from Algorithms Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
25Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers A Decidable Characterization of a Graphical Pi-calculus with Iterators Search on Bibsonomy INFINITY The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Christian Haack, Clément Hurlin Resource Usage Protocols for Iterators. Search on Bibsonomy J. Object Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça Iterators, Recursors and Interaction Nets Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
25Tomas Petricek 0001 Encoding Monadic Computations in C# Using Iterators. Search on Bibsonomy ITAT The full citation details ... 2009 DBLP  BibTeX  RDF
25Giuseppe Castagna, Kim Nguyen 0001 Typed Iterators for XML. Search on Bibsonomy PLAN-X The full citation details ... 2008 DBLP  BibTeX  RDF
25Lionel Robert Morel Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation. Search on Bibsonomy EURASIP J. Embed. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Gerhard W. Zumbusch Data Parallel Iterators for Hierarchical Grid and Tree Algorithms. Search on Bibsonomy Euro-Par The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Bart Jacobs 0002, Frank Piessens, Wolfram Schulte VC generation for functional behavior and non-interference of iterators. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Bruce W. Weide SAVCBS 2006 challenge: specification of iterators. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Neelakantan R. Krishnaswami Reasoning about iterators with separation logic. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25David R. Cok Specifying java iterators with JML and Esc/Java2. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Sara Cohen, Itzhak Fadida, Yaron Kanza, Benny Kimelfeld, Yehoshua Sagiv Full Disjunctions: Polynomial-Delay Iterators in Action. (PDF / PS) Search on Bibsonomy VLDB The full citation details ... 2006 DBLP  BibTeX  RDF
25Krister Åhlander Sorting Out the Relationships Between Pairs of Iterators, Values, and References. Search on Bibsonomy GPCE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Pei-Chi Wu, Feng-Jian Wang Iterators: Taxonomy, Strength, Weakness, and Efficiency. Search on Bibsonomy J. Inf. Sci. Eng. The full citation details ... 2003 DBLP  BibTeX  RDF
25Ray Lischner STL - pocket reference: containers, iterators, and algorithms. Search on Bibsonomy 2003   RDF
25Lionel Morel Efficient Compilation of Array Iterators for Lustre. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Jan A. Bergstra, Alban Ponse Non-regular iterators in process algebra. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Andrew Koenig Iterator Iterators and Temporal Sequences. Search on Bibsonomy J. Object Oriented Program. The full citation details ... 1997 DBLP  BibTeX  RDF
25Miguel Katrib, Jesüs Coira Improving Eiffel Assertions Using Quantiefied Iterators. Search on Bibsonomy J. Object Oriented Program. The full citation details ... 1997 DBLP  BibTeX  RDF
25David C. Steere Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency. Search on Bibsonomy SOSP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Andrew Koenig Arithmetic Sequence Iterators. Search on Bibsonomy J. Object Oriented Program. The full citation details ... 1996 DBLP  BibTeX  RDF
25Andrew Koenig Generic Input Iterators. Search on Bibsonomy J. Object Oriented Program. The full citation details ... 1996 DBLP  BibTeX  RDF
25H. J. Messerschmidt List Iterators in C++. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Goetz Graefe Iterators, Schedulers, and Distributed-memory Parallelism. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Andrew Koenig Generic Iterators. Search on Bibsonomy J. Object Oriented Program. The full citation details ... 1994 DBLP  BibTeX  RDF
25Hans Albrecht Schmid Safe Iterators. Search on Bibsonomy TOOLS (13) The full citation details ... 1994 DBLP  BibTeX  RDF
25Henry G. Baker Iterators: signs of weakness in object-oriented languages. Search on Bibsonomy OOPS Messenger The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
25Thomas Kofler Robust Iterators in ET++. Search on Bibsonomy Struct. Program. The full citation details ... 1993 DBLP  BibTeX  RDF
25John Beidler A role for iterators as a tool for software reuse. Search on Bibsonomy WADAS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Christopher Coyle, Peter Crogono Building abstract iterators using continuations. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
25Giulio Iannello Programming Abstract Data Types, Iterators and Generic Modules in C. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Jay Earley High Level Iterators and a Method for Automatically Designing Data Structure Representation. Search on Bibsonomy Comput. Lang. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
23Paul Tarau, Arun K. Majumdar Interoperating Logic Engines. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs
23Lennart C. L. Kats, Martin Bravenboer, Eelco Visser Mixing source and bytecode: a case for compilation by normalization. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dryad compiler, source tracing, java, compilers, domain-specific languages, iterators, meta programming, language extensions, bytecode, traits, embedded languages, SDF, stratego
23Paul Tarau Logic Engines as Interactors. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF generalized iterators, logic engines, agent oriented programming language constructs, metaprogramming
23Keshav Pingali Data-parallel abstractions for irregular programs. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF set iterators, multicore programming, optimistic parallelism, irregular programs
23Peter A. Tucker, David Maier 0001, Tim Sheard, Leonidas Fegaras Exploiting Punctuation Semantics in Continuous Data Streams. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF stream semantics, continuous data streams, stream iterators, Continuous queries, query operators
23Russell R. Atkinson, Barbara H. Liskov, Robert Scheifler Aspects Of Implementing CLU. Search on Bibsonomy ACM Annual Conference (1) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF CLU, Implementation methods, Parameterized modules, CLU, Programming language, Exception handling, Iterators
15François Fages, Julien Martin Modelling Search Strategies in Rules2CP. Search on Bibsonomy CPAIOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Olaf Hartig, Christian Bizer, Johann Christoph Freytag Executing SPARQL Queries over the Web of Linked Data. Search on Bibsonomy ISWC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup Minimizing dependencies within generic classes for faster and smaller programs. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generalized hoisting, scary assignments and initializations, generics, templates
15Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky Effective interactive proofs for higher-order imperative programs. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF functional programming, dependent types, separation logic, interactive proof assistants
15Paul Tarau An embedded declarative data transformation language. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph
15Darren Willis, David J. Pearce 0001, James Noble 0001 Caching and incrementalisation in the java query language. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF java, querying, incrementalization
15Prabhanjan Kambadur, Douglas P. Gregor, Andrew Lumsdaine OpenMP Extensions for Generic Libraries. Search on Bibsonomy IWOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Christian Haack, Clément Hurlin Separation Logic Contracts for a Java-Like Language with Fork/Join. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Baoqiang Yan, Philip J. Rhodes I/O friendly data parallelization for spatial computation. Search on Bibsonomy Mardi Gras Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Nasser Giacaman, Oliver Sinnen, Lama Akeila Object-Oriented Parallelisation: Improved and Extended Parallel Iterator. Search on Bibsonomy ICPADS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Baoqiang Yan, Philip J. Rhodes Toward automatic parallelization of spatial computation for computing clusters. Search on Bibsonomy HPDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF i/o optimization, caching, locality, dependency, cluster computing, data parallelization, spatial data, access pattern
Displaying result #1 - #100 of 136 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license