Search results for "iterators"

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