Search results for "abstract data type"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Murali Sitaraman, Bruce W. Weide, William F. Ogden	On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	abstraction function, abstraction mapping, abstraction relation, formal specification, program verification, greedy algorithm, Abstract data type, relation, nondeterminism, optimization problem, data abstraction
2	Michael T. Goodrich, John G. Kloss II	Tiered Vectors: Efficient Dynamic Arrays for Rank-Based Sequences.	WADS	1999	DBLP DOI BibTeX RDF	dynamic array, JDSL, Java, vector, abstract data type
2	Qian Wu, A. J. Field, Paul H. J. Kelly	M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applictions.	Euro-Par	1997	DBLP DOI BibTeX RDF
2	Jean-Francois Girard, Rainer Koschke, Georg Schied	Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding. (PDF / PS)	WCRE	1997	DBLP DOI BibTeX RDF
2	Rong N. Chang, Chinya V. Ravishankar	A Service Acquisition Mechanism for Server-Based Heterogeneous Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	serviceacquisition mechanism, server-based heterogeneous distributed systems, remote networkservers, server interface binding protocols, interface operation invocation protocols, Clibrary interface, protocols, distributed processing, abstract data types, abstract data type, network servers
2	Seung-Min Yang, K. H. Kim	Implementation of the Conversation Scheme in Message-Based Distributed Computer Systems.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	message-based distributed computer systems, exit control strategies, conversationacceptance test, recovery information, recovery cache, conversation structures, name-linked recovery block, abstract data type conversations, unmanned vehicle system, distributed processing, message passing, abstract data types, run-time management
2	Joseph E. Lang, Robert K. Maruyama	Teaching the abstract data type in CS2.	SIGCSE	1989	DBLP DOI BibTeX RDF
2	Christoph Beierle, Angi Voß	Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
2	Christoph Beierle, Angi Voß	On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition.	STACS	1987	DBLP DOI BibTeX RDF
2	Richard B. Kieburtz	Precise Typing of Abstract Data Type Specifications.	POPL	1983	DBLP DOI BibTeX RDF
2	Boumediene Belkhouche, Joseph E. Urban, Gregory A. Riccardi	Synthesizing abstract data type specifications.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	specifications, synthesis, abstract data types
2	Marie-Claude Gaudel	Specification of compilers as abstract data type representations.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
1	Frank Drewes, Johanna Högberg, Andreas Maletti	MAT learners for tree series: an abstract data type and two realizations.	Acta Inf.	2011	DBLP DOI BibTeX RDF
1	Leonardo Filipe Batista Silva de Carvalho, Helio Cavalcante Silva Neto, Fábio Paraguaçu, Roberta Vilhena Vieira Lopes	Application of a Genetic Algorithm Based on Abstract Data Type in Electronic Games' Scenarios Adaptive Evolution.	MICAI (Special Sessions)	2010	DBLP DOI BibTeX RDF
1	Sharad C. Seth, Ramana Chakradhar Jandhyala, Mukkai S. Krishnamoorthy, George Nagy	Analysis and taxonomy of column header categories for web tables.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF	Wang notation, column-header grammar, table ontology, conversion, parsing, web tables
1	Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy	Coarse-grained transactions.	POPL	2010	DBLP DOI BibTeX RDF	coarse-grained transactions, movers, transactional boosting, transactional memory, abstract data-types, commutativity
1	Peter Z. Revesz	A comparison of abstract data type and constraint database approaches to GIS query languages.	GIS	2009	DBLP DOI BibTeX RDF	query language, abstract data types, constraint databases
1	William R. Cook	On understanding data abstraction, revisited.	OOPSLA	2009	DBLP DOI BibTeX RDF	ADT, object, abstract data type, class
1	Amal Ahmed, Derek Dreyer, Andreas Rossberg	State-dependent representation independence.	POPL	2009	DBLP DOI BibTeX RDF	local state, representation independence, abstract data types, existential types, step-indexed logical relations
1	Duane Buck, David J. Stucki	The hidden injuries of overloading 'ADT'.	SIGCSE	2009	DBLP DOI BibTeX RDF	value semantics, modeling, interfaces, abstract data types, containers, data representation
1	Thomas Anberrée	First-Order Universality for Real Programs.	CiE	2009	DBLP DOI BibTeX RDF	real number computation, simply typed lambda-calculus, computability, denotational semantics
1	Antonio L. Furtado, Marco A. Casanova, Karin Koogan Breitman, Simone Diniz Junqueira Barbosa	A Frame Manipulation Algebra for ER Logical Stage Modelling.	ER	2009	DBLP DOI BibTeX RDF	abstract data types, Frames, algebra, semi-structured data
1	Damian W. I. Rouson	Towards analysis-driven scientific software architecture: The case for abstract data type calculus.	Scientific Programming	2008	DBLP DOI BibTeX RDF
1	Donald Sannella, Andrzej Tarlecki	Observability Concepts in Abstract Data Type Specification, 30 Years Later.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
1	Yousuke Watanabe, Ryo Akiyama, Kousuke Ohki, Hiroyuki Kitagawa	A video stream management system for heterogeneous information integration environments.	ICUIMC	2008	DBLP DOI BibTeX RDF	video, data stream, information integration
1	José Moreira, Cristina Ribeiro, Jean-Marc Saglio, Michel Scholl	A model of approximations for representing time-varying multidimensional data.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
1	Haishan Chen, Yu Chen, Beizhan Wang, Fei Long	Algorithm Description of Generalized Binary Linked List.	ICNSC	2008	DBLP DOI BibTeX RDF
1	Hideyuki Kawashima, Ryo Sato, Hiroyuki Kitagawa	Models and Issues on Probabilistic Data Streams with Bayesian Networks.	SAINT	2008	DBLP DOI BibTeX RDF
1	Jan A. Bergstra, Yoram Hirshfeld, John Tucker	Fields, Meadows and Abstract Data Types.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
1	Jan A. Bergstra, J. V. Tucker	The rational numbers as an abstract data type.	J. ACM	2007	DBLP DOI BibTeX RDF	division-by-zero, meadow, total versus partial functions, abstract data types, algebraic specification, computable algebras, field, equations, Rational numbers, initial algebra
1	Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li	A general framework for certifying garbage collectors and their mutators.	PLDI	2007	DBLP DOI BibTeX RDF	assembly code verification, garbage collection, abstract data type, separation logic, proof-carrying code
1	Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, Kunle Olukotun	Transactional collection classes.	PPOPP	2007	DBLP DOI BibTeX RDF	collection classes, Java, transactional memory, multiprocessor architecture
1	Christos Baloukas, Lazaros Papadopoulos, Stylianos Mamagkakis, Dimitrios Soudris	Component Based Library Implementation of Abstract Data Types for Resource Management Customization of Embedded Systems.	ESTImedia	2007	DBLP DOI BibTeX RDF
1	Frédéric Blanqui, Thérèse Hardin, Pierre Weis	On the Implementation of Construction Functions for Non-free Concrete Data Types.	ESOP	2007	DBLP DOI BibTeX RDF
1	Alfredo Buttari, Pasqua D'Ambra, Daniela di Serafino, Salvatore Filippone	2LEV-D2P4: a package of high-performance preconditioners for scientific and engineering applications.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Parallel numerical software, Algebraic two-level preconditioners, Sparse linear algebra
1	Pablo Nogueira	When is an abstract data type a functor?	Trends in Functional Programming	2006	DBLP BibTeX RDF
1	Jungsoon P. Yoo, Sung K. Yoo, Chris Lance, Judy Hankins	Student progress monitoring tool using treeview.	SIGCSE	2006	DBLP DOI BibTeX RDF	visualization, courseware
1	Nicolas Marín Ruíz, Maria J. Martín-Bautista, Miguel A. Prados de Reyes, María Amparo Vila Miranda	Enhancing Short Text Retrieval in Databases.	FQAS	2006	DBLP DOI BibTeX RDF	short texts, AP-sets, frequent itemsets, knowledge structure, Semantic querying
1	Gian Pietro Picco, Matteo Migliavacca, Amy L. Murphy, Gruia-Catalin Roman	Distributed Abstract Data Types.	OTM Conferences	2006	DBLP DOI BibTeX RDF
1	Christie Bolton, Jim Davies	A singleton failures semantics for Communicating Sequential Processes.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types
1	Peter Thiemann	An embedded domain-specific language for type-safe server-side web scripting.	ACM Trans. Internet Techn.	2005	DBLP DOI BibTeX RDF	Interactive Web services, Web programming
1	Hans Meine, Ullrich Köthe	The GeoMap: A Unified Representation for Topology and Geometry.	GbRPR	2005	DBLP DOI BibTeX RDF
1	Friedrich Mayer-Lindenberg	A Management Scheme for the Basic Types in High Level Languages.	SOFSEM	2005	DBLP DOI BibTeX RDF
1	Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff	A Case Study in Domain-Customized Model Checking for Real-Time Component Software.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Rania Lutfi, Marc Gelgon, José Martinez	Structuring and Querying Documents in an Audio Database Management System.	Multimedia Tools Appl.	2004	DBLP DOI BibTeX RDF	audio database, audio query, speaker recognition, audio retrieval
1	Dale Miller	Encryption as an abstract data type.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Walid G. Aref, Moustafa A. Hammad, Ann Christine Catlin, Ihab F. Ilyas, Thanaa M. Ghanem, Ahmed K. Elmagarmid, Mirette S. Marzouk	Video query processing in the VDBMS testbed for video database research.	MMDB	2003	DBLP DOI BibTeX RDF	rank-join algorithm, window-join algorithm, query processing, continuous query, stream processing, video database
1	Bakhadyr Khoussainov	On Algebraic Specifications of Abstract Data Types.	CSL	2003	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer	Coordinating Agents in OO.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
1	Dirk Seifert, Steffen Helke, Thomas Santen	Test Case Generation for UML Statecharts.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
1	Fernando Arroyo, Juan Castellanos, Carmen Luengo, Luis F. Mingo	A Binary Data Structure for Membrane Processors: Connectivity Arrays.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
1	Chantal Ykman-Couvreur, J. Lambrecht, A. Van Der Togt, Francky Catthoor	Multi-ovjective abstract data type refinement for mapping tables in telecom network applications.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	memory management, memory performance, system-level exploration
1	Agnès Voisard, Benoit David	A Database Perspective on Geospatial Data Modeling.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	spatial abstract data type, aggregate/disaggregate function, object-oriented model, complex object, extended-relational model
1	Ralf Hinze	Bootstrapping one-sided flexible arrays.	ICFP	2002	DBLP DOI BibTeX RDF	flexible arrays, mixed-radix number systems, purely functional data structures, sub-logarithmic look-up, Haskell
1	Glenn Ammons, Rastislav Bodík, James R. Larus	Mining specifications.	POPL	2002	DBLP DOI BibTeX RDF
1	Alan Fekete	Teaching data structures with multiple collection class libraries.	SIGCSE	2002	DBLP DOI BibTeX RDF
1	Bruria Haberman	Frames and boxes: a pattern-based method for manipulating binary trees.	SIGCSE Bulletin	2002	DBLP DOI BibTeX RDF
1	Bostjan Brumen, Tatjana Welzer, Marjan Druzovec, Izidor Golob, Hannu Jaakkola	Protecting Medical Data for Analyses.	CBMS	2002	DBLP DOI BibTeX RDF
1	Michel Allemand, Jean-Claude Royer	Mixed Formal Specifications with PVS. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF
1	Farhad Arbab	Abstract Behavior Types: A Foundation Model for Components and Their Composition.	FMCO	2002	DBLP DOI BibTeX RDF
1	Paolo Tonella	Concept Analysis for Module Restructuring.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	modularization, reengineering, abstract data type, legacy systems, encapsulation, restructuring, Concept analysis
1	Ralf Hinze	A Simple Implementation Technique for Priority Search Queues.	ICFP	2001	DBLP DOI BibTeX RDF	priority search queues, Haskell, views, tournament
1	Martin Erwig	Programs Are Abstract Data Types.	ASE	2001	DBLP DOI BibTeX RDF
1	Hans Leiß	Second-Order Pre-Logical Relations and Representation Independence.	TLCA	2001	DBLP DOI BibTeX RDF
1	Jean-Francois Girard, Martin Würthner	Evaluating the Accessor Classification Approach to Detect Abstract Data Types. (PDF / PS)	IWPC	2000	DBLP DOI BibTeX RDF	abstract data type identification, evaluation, reverse engineering, experiment
1	Philippe Mougin	High-level object oriented programming with array technology.	APL	2000	DBLP DOI BibTeX RDF	F-script, array programming, high order messaging, object query language, APL, APL, object-oriented programming, smalltalk
1	Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Markus Schneider, Michalis Vazirgiannis	A foundation for representing and querying moving objects.	ACM Trans. Database Syst.	2000	DBLP DOI BibTeX RDF	moving point, moving region, spatio-temporal data types, moving objects, abstract data types, algebra, spatio-temporal databases
1	Yoshiki Kinoshita, John Power	Data Refinement and Algebraic Structure.	Acta Inf.	2000	DBLP DOI BibTeX RDF
1	Pietro Di Gianantonio	An Abstract Data Type for Real Numbers.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Juan J. Flores	Complex fans: a representation for vectors in polar form with interval attributes.	ACM Trans. Math. Softw.	1999	DBLP DOI BibTeX RDF	complex fans, abstract data type, qualitative reasoning, interval computation, complex numbers
1	Hanxiong Chen, Toshiro Ohno, Nobuo Ohbo	Processing Queries with Expensive Predicates by Filtering. (PDF / PS)	COMPSAC	1999	DBLP DOI BibTeX RDF	Expensive predicate, Query processing, Filtering
1	Kenneth W. Ng, Richard R. Muntz	Parallelizing User-Defined Functions in Distributed Object-Relational DBMS. (PDF / PS)	IDEAS	1999	DBLP DOI BibTeX RDF	Query Processing and Optimization, Extensible Database Systems, Distributed Database Systems, Parallel Database Systems, Object-Relational Database Systems
1	Ricardo A. Baeza-Yates, Walter Cunto	The ADT Proximity and Text Proximity Problems. (PDF / PS)	SPIRE/CRIWG	1999	DBLP DOI BibTeX RDF
1	W. J. Toetenel	TTT - A simple type-checked C language abstract data type generator.	Systems Implementation 2000	1998	DBLP BibTeX RDF
1	Tamás Kozsik	Parallel Programs Implementing Abstract Data Type Operations - A Case Study.	ECOOP Workshops	1998	DBLP BibTeX RDF
1	Christine Shannon	LongNbrs and palindromes: an interesting application of a class.	SIGCSE	1998	DBLP DOI BibTeX RDF
1	John Matthews, Byron Cook, John Launchbury	Microprocessor Specification in Hawk. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	Microprocessor Verification, Domain-Specific Language, Functional Language, Hardware Verification
1	Marie-Catherine Daniel-Vatonne, C. Hemce	On a Tree-like Representation for Symbolic-Numeric Data and Its Use in Galois Lattice Method.	SCCC	1998	DBLP DOI BibTeX RDF	genterm, type set, generalization relation, signature, semilattice, Galois lattice
1	Marie-Claude Gaudel, Perry R. James	Testing Algebraic Data Types and Processes: A Unifying Theory.	Formal Asp. Comput.	1998	DBLP DOI BibTeX RDF	Full LOTOS, Black box testing, Formal testing
1	Jean-Pierre Jouannaud, Mitsuhiro Okada	Abstract Data Type Systems.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
1	Robert M. Colomb, Anne-Grethe Eilertsen	Use of a Persistent Graph Abstract Data Type for Representing CASE Tools Repositories.	DASFAA	1997	DBLP BibTeX RDF
1	Pietro Di Gianantonio	An Abstract Data Type for Real Numbers.	ICALP	1997	DBLP DOI BibTeX RDF	real number computability, denotational and operational semantics, abstract data types, domain theory
1	Wolfgang Weck	An Abstract Data Type for Freezable Lists and DAGs.	JMLC	1997	DBLP DOI BibTeX RDF
1	Jean-Francois Girard, Rainer Koschke	Finding Components in a Hierarchy of Modules: a Step towards Architectural Understanding. (PDF / PS)	ICSM	1997	DBLP DOI BibTeX RDF	architectural components recovery, abstract data type and abstract state encapsulation extraction, reverse engineering, program understanding, dominance tree
1	Gordon S. Novak	Software Reuse by Specialization of Generic Procedures Through Views.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	generic procedure, algorithm specialization, direct-manipulation editor, Software reuse, partial evaluation, abstract data type, view, generic algorithm
1	Kei Karasawa, Makoto Iwata, Hiroaki Terada	Direct Generation of Data-Driven Program for Stream-Oriented Processing.	IEEE PACT	1997	DBLP DOI BibTeX RDF	Parallel processing system specifications, Multiple data streams, Direct program generation, Data-driven paradigm, HDTV signal decoder
1	Carlos H. C. Duarte	Towards a Proof-Theoretic Foundation for Actor Specification and Verification.	ModelAge Workshop	1997	DBLP DOI BibTeX RDF	Distributed Systems, Verification, Specification, Actors, Proof-Theory
1	José Luiz Fiadeiro, Antónia Lopes	Semantics of Architectural Connectors.	TAPSOFT	1997	DBLP DOI BibTeX RDF
1	Rolf Hennicker, Christoph Schmitz II	Object-Oriented Implementation of Abstract Data Type Specifications.	AMAST	1996	DBLP DOI BibTeX RDF
1	Michael May, Thomas Schiekofer	An Abstract Data Type for Parallel Simulations Based on Sparse Grids.	PVM	1996	DBLP DOI BibTeX RDF
1	David C. Rine, Moataz Ahmed, Junda Chen	A reusable software adaptative fuzzy controller architecture.	SAC	1996	DBLP DOI BibTeX RDF	fuzzy logic, software reuse, adaptive controller, abstract data type, adaptive algorithms
1	Adrian Colbrook, Eric A. Brewer, Chrysanthos Dellarocas, William E. Weihl	Algorithms for Search Trees on Message-Passing Architectures.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	Balanced search trees, dictionary abstract data type, query throughput, query response time, parallel algorithms, message-passing architectures, linear processor array
1	William G. Griswold, Morison I. Chen, Robert W. Bowdidge, J. David Morgenthaler	Tool Support for Planning the Restructuring of Data Abstractions in Large Systems.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C
1	Michael A. Klug	Towards a Classification of Visibility Rules.	SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
1	Armin Bäumker, Wolfgang Dittrich, Friedhelm Meyer auf der Heide, Ingo Rieping	Realistic Parallel Algorithms: Priority Queue Operations and Selection for the BSP Model.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
1	Martin Große-Rhode	Transition Specifications for Dynamic Abstract Data Type.	Bulletin of the EATCS	1995	DBLP BibTeX RDF
1	Pierre Lescanne	The Lambda Calculus as an Abstract Data Type.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
1	Gordon S. Novak	Creation of Views for Reuse of Software with Different Data Representations.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	symbolic algebra, program transformation, software reuse, visual programming, abstract data type, View, data conversion, generic algorithm
1	Didier Buchs, C. Buffard, P. Racloz	Modeling and Validation of Tasks with Algebraic Structured Nets.	Ada-Europe	1995	DBLP DOI BibTeX RDF	protected type, CO-OPN, Petri net, Ada, concurrency, abstract data type, task
1	Allen S. Parrish, David Cordes	Applying Conventional Unit Testing Techniques to Abstract Data Type Operations.	International Journal of Software Engineering and Knowledge Engineering	1994	DBLP DOI BibTeX RDF