Search results for "abstract data types"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Jean-Francois Girard, Rainer Koschke, Georg Schied	A Metric-based Approach to Detect Abstract Data Types and State Encapsulations. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	metric-based approach, state encapsulations, abstract objects, C systems, software engineers, abstract data types, abstract data types, source code
3	Victoria Sakhnini, Orit Hazzan	Reducing Abstraction in High School Computer Science Education: The Case of Definition, Implementation, and Use of Abstract Data Types.	ACM Journal of Educational Resources in Computing	2008	DBLP DOI BibTeX RDF	reducing abstraction, abstraction, computer science education, problem solving, abstract data types
3	J. Ian Munro, Venkatesh Raman	Succinct Representation of Balanced Parentheses, Static Trees and Planar Graphs.	FOCS	1997	DBLP DOI BibTeX RDF	balanced parentheses, static trees, rooted ordered tree, planar graphs, abstract data types, abstract data types, binary tree, adjacency, succinct representation
3	Nomusa Dlodlo, Carl Bamford	Separating Application Functionality from the User Interface in a Distributed Environment.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Object Bequest Broker, user interface manager, user interface, Middleware, abstract data types, abstract data types, user interface management system, distributed environment, application functionality
3	Sergio Antoy, John D. Gannon	Using Term Rewriting to Verify Software.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
3	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
3	T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler	A Theory of Abstract Data Types for Program Development: Bridging the Gap?	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF	axiomatic theories, incomplete specifications, parameterisation, conservative extension, namability, implementation, interpretation, abstract data types, program development, stepwise refinement
2	Waralak Vongdoiwang, Dentcho N. Batanov	An ontology-based procedure for generating object model from text description.	Knowl. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Ontology library, Abstract data types (ADTs), CORPORUM, Ontologies, Object model
2	Yung-Pin Cheng	Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.	SPIN	2005	DBLP DOI BibTeX RDF
2	Derek Dreyer	Recursive type generativity.	ICFP	2005	DBLP DOI BibTeX RDF	generativity, type systems, recursion, abstract data types, effect systems, recursive modules
2	Bakhadyr Khoussainov	On Algebraic Specifications of Abstract Data Types.	CSL	2003	DBLP DOI BibTeX RDF
2	Martin Erwig	Programs Are Abstract Data Types.	ASE	2001	DBLP DOI BibTeX RDF
2	Tim Miller, Paul A. Strooper	Combining the Animation and Testing of Abstract Data Types.	APAQS	2001	DBLP DOI BibTeX RDF
2	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
2	Benjamin C. Pierce, Davide Sangiorgi	Behavioral equivalence in the polymorphic pi-calculus.	J. ACM	2000	DBLP DOI BibTeX RDF	abstract data types, pi-calculus
2	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
2	Erik Poll, Jan Zwanenburg	A Logic for Abstract Data Types as Existential Types.	TLCA	1999	DBLP DOI BibTeX RDF
2	Martin Erwig, Markus Schneider	Developments in Spatio-Temporal Query Languages. (PDF / PS)	DEXA Workshops	1999	DBLP DOI BibTeX RDF	Spatio-Temporal Query Language, Changes in Spatial Situations, SQL, Abstract Data Types
2	Bruria Haberman, Zahava Scherz, Ehud Y. Shapiro	Abstract data types as a project development organiser.	ITiCSE	1998	DBLP DOI BibTeX RDF
2	William G. Griswold, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, J. David Morgenthaler	Tool Support for Planning the Restructuring of Data Abstractions in Large Systems.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	software maintenance and enhancement, modularity and information hiding, programmer study, abstract data types, re-engineering, graphical user interface design, Program restructuring
2	Dieter Fensel, Arno Schönegge	Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	reusable elements, Karlsruhe interactive verifier, algorithmic specification, interactive theorem prover, proof management, proof reuse, formal specification, formal specifications, knowledge-based systems, specification language, abstract data types, dynamic logic, functional specification
2	Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez	A New Look to Pattern Matching in Abstract Data Types.	ICFP	1996	DBLP DOI BibTeX RDF
2	Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui	Formal Specification of Communication Protocols with Object-Based ECATNets.	EUROMICRO	1996	DBLP DOI BibTeX RDF	object-based ECATNets, specification framework, Ethernet protocol, formal specification, formal specification, Petri nets, prototyping, communication protocols, abstract data types, rewriting logic, rewriting system
2	Martin Große-Rhode	Concurrent State Transformations on Abstract Data Types.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
2	Zahava Scherz, Bruria Haberman	Logic programming based curriculum for high school students: the use of abstract data types.	SIGCSE	1995	DBLP DOI BibTeX RDF	Prolog
2	Andy Schürr, Andreas J. Winter, Albert Zündorf	Visual Programming with Graph Rewriting Systems. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	multiparadigm language, PROGRES, rule-oriented visual language, well-defined type, visual database programming language, replacing facilities, language-specific tools, user interfaces, specification, logic programming, debugging, software tools, C, programming environments, pattern matching, specification languages, rapid prototyping, browsing, visual programming, visual programming, visual languages, abstract data types, graph grammars, backtracking, Modula-2, rewriting systems, editing, software engineering environments, logic programming languages, graph rewriting systems, Tcl/Tk
2	Konstantin Läufer, Martin Odersky	Polymorphic Type Inference and Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching
2	Till Mossakowski	A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
2	Judith L. Underwood	Typing Abstract Data Types.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
2	Hartmut Ehrig, Michael Löwe, Fernando Orejas	Dynamic Abstract Data Types Based on Algebraic Graph Transformations.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
2	José Meseguer, Narciso Martí-Oliet	From Abstract Data Types to Logical Frameworks.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
2	Magnus Kempe	Abstract Data Types are Under Full Control with Ada 9X.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
2	Xue-Miao Lu, Tharam S. Dillon	An Algebraic Theory of Object-Oriented Systems.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	net objects, complex database models, formal specification, object-oriented programming, object-oriented programming, object-oriented databases, polymorphism, abstract data types, abstract data types, algebraic specification, object-oriented systems, multiple inheritance, object-oriented paradigms, nested relations, hierarchical approach, algebraic theory
2	Didier Buchs, Nicolas Guelfi	Formal Development of Actor Programs Using Structured Algebraic Petri Nets.	PARLE	1993	DBLP DOI BibTeX RDF	Formal program development, actor languages semantics, algebraic abstract data types, high-level Petri nets, modular specification
2	J. V. Tucker, S. S. Wainer, Jeffery I. Zucker	Provable Computable Functions on Abstract Data Types.	ICALP	1990	DBLP DOI BibTeX RDF
2	J. V. Tucker, Jeffery I. Zucker	Toward a General Theory of Computation and Specification over Abstract Data Types.	ICCI	1990	DBLP DOI BibTeX RDF	specification, computation, computability, abstract data type
2	Gregory S. Whitcomb, A. Richard Newton	Abstract Data Types and High-Level Synthesis.	DAC	1990	DBLP DOI BibTeX RDF
2	Mohamed Bettaz	An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols.	ADT	1990	DBLP DOI BibTeX RDF
2	William R. Cook	Object-Oriented Programming Versus Abstract Data Types.	REX Workshop	1990	DBLP DOI BibTeX RDF	higher-order procedures, object-oriented programming, typing, extensibility, abstract data type, incremental programming
2	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
2	William E. Weihl	Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
2	Wolfgang Lux, Hermann Härtig, Winfried E. Kühnhauser	On the Implementation of Abstract Data Types in BirliX.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
2	Pankaj Jalote	Testing the Completeness of Specifications.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	completeness testing, VAX system, data structures, Unix, program testing, conformance testing, abstract data types, test cases, axiomatic specifications
2	Anand Tripathi	An Overview of the Nexus Distributed Operating System Design.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	interobject communication, object access, Nexus distributed operating system design, fault-tolerance techniques, Nexus programming environment, multiple implementations, remote-procedure-call paradigm, application-controlled checkpointing, parallel remote procedure calls, Nexus kernel, data structures, object-oriented programming, object-oriented programming, fault tolerant computing, distributed processing, programming environments, inheritance, abstract data types, operating systems (computers), restart, atomic actions, computer communications software, experimental research, location transparency
2	William E. Weihl	Commutativity-Based Concurrency Control for Abstract Data Types.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	local atomicity property, dynamic atomicity, nondeterministic, recovery methods, intentions lists, undo logs, parallel processing, concurrency control, abstract data types, serializability, commutativity, concurrency algorithms, partial
2	Stephen J. Garland, John V. Guttag	Inductive Methods for Reasoning about Abstract Data Types.	POPL	1988	DBLP DOI BibTeX RDF
2	Y. Zhong, S. Ishizuka, R. Enari	Integrating abstract data types with object-oriented programming by specification-based approach.	ICCL	1988	DBLP DOI BibTeX RDF
2	Jacques Loeckx	Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
2	Fritz Schwarz	Programming with Abstract Data Types: The Symmetry Package SPDE in Scratchpad.	Trends in Computer Algebra	1987	DBLP DOI BibTeX RDF
2	Walter E. Brown	A case study of programming with abstract data types in a data structures course.	SIGCSE	1987	DBLP DOI BibTeX RDF
2	Sylvia L. Osborn, T. E. Heaven	The Design of a Relational Database System with Abstract Data Types for Domains.	ACM Trans. Database Syst.	1986	DBLP DOI BibTeX RDF
2	Axel Poigné, Josef Voss	On the Implementation of Abstract Data Types by Programming Language Constructs.	TAPSOFT, Vol.1	1985	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	P. A. Subrahmanyam	Nondeterminism in Abstract Data Types.	ICALP	1981	DBLP DOI BibTeX RDF	nondeterministic operations, extraction equivalence, observable behavior, implementations, correctness, abstract data types, nondeterminism
2	Jacques Loeckx	Algorithmic Specifications of Abstract Data Types.	ICALP	1981	DBLP DOI BibTeX RDF
2	Marc Bergman, Pierre Deransart	Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog.	CAAP	1981	DBLP DOI BibTeX RDF	proof of equational properties, Knuth-Bendix algorithm, PROLOG, operational semantics, Abstract Data Type, rewriting systems
2	Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz	Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.	ICALP	1980	DBLP DOI BibTeX RDF
2	Günter Hornung, Peter Raulefs	Terminal Algebra Semantics and Retractions for Abstract Data Types.	ICALP	1980	DBLP DOI BibTeX RDF
2	Martin Wirsing, Manfred Broy	Abstract Data Types as Lattices of Finitely Generated Models.	MFCS	1980	DBLP DOI BibTeX RDF
2	William A. Wulf	Abstract Data Types: A Retrospective and Prospective View.	MFCS	1980	DBLP DOI BibTeX RDF
2	Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing	Existential Quantifiers in Abstract Data Types.	ICALP	1979	DBLP DOI BibTeX RDF
1	Adam B. Kinsman, Nicola Nicolici	Computational Vector-Magnitude-Based Range Determination for Scientific Abstract Data Types.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF	Bit-width allocation, hardware accelerators
1	Hyun-Gul Roh, Myeongjae Jeon, Jinsoo Kim, Joonwon Lee	Replicated abstract data types: Building blocks for collaborative applications.	J. Parallel Distrib. Comput.	2011	DBLP DOI BibTeX RDF
1	Carmelo Malta, José Martinez	A framework for designing concurrent and recoverable abstract data types based on commutativity	CoRR	2010	DBLP BibTeX RDF
1	José Martinez, Carmelo Malta	Tuple-based abstract data types: full parallelism	CoRR	2010	DBLP BibTeX RDF
1	Ruqian Lu, Lixing Li, Yun Shang, Xiaoyu Li	Process Algebra as Abstract Data Types	CoRR	2010	DBLP BibTeX RDF
1	Carmelo Malta, José Martinez	Limits of Commutativity on Abstract Data Types	CoRR	2010	DBLP BibTeX RDF
1	Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Philip Sheu	The Formal Design Models of a Set of Abstract Data Types (ADTs).	IJSSCI	2010	DBLP BibTeX RDF
1	Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal	A relational modal logic for higher-order stateful ADTs.	POPL	2010	DBLP DOI BibTeX RDF	local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations
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	Andreas Rossberg, Claudio V. Russo, Derek Dreyer	F-ing modules.	TLDI	2010	DBLP DOI BibTeX RDF	first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration
1	Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu	Traceable data types for self-adjusting computation.	PLDI	2010	DBLP DOI BibTeX RDF	traceable data types, self-adjusting computation
1	Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, Rafael Ceballos	Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs.	SECRYPT	2009	DBLP BibTeX RDF
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	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	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	William R. Cook	On understanding data abstraction, revisited.	OOPSLA	2009	DBLP DOI BibTeX RDF	ADT, object, abstract data type, class
1	Timothy W. Hnat, Tamim I. Sookoor, Kamin Whitehouse	Macrodebugging with MDB.	SenSys	2009	DBLP DOI BibTeX RDF	macrodebugging, wireless embedded networks, source-level debugging
1	Adel Bouhoula	Simultaneous checking of completeness and ground confluence for algebraic specifications.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	ground confluence, completeness, algebraic specifications, parameterization, term rewriting systems, Automated deduction
1	Bryan McDonnel, Niklas Elmqvist	Towards Utilizing GPUs in Information Visualization: A Model and Implementation of Image-Space Operations.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
1	Rafael del Vado Vírseda, Pablo Fernández, Salvador Muñoz, Antonio Murillo	An Intelligent Tutoring System for Interactive Learning of Data Structures.	ICCS	2009	DBLP DOI BibTeX RDF
1	Ramana Chakradhar Jandhyala, Mukkai S. Krishnamoorthy, George Nagy, Raghav K. Padmanabhan, Sharad C. Seth, William Silversmith	From Tessellations to Table Interpretation.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	rectangular tilings, X-Y trees, table grammars, Wang notation, tables, document understanding
1	Bruria Haberman	Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction.	Informatica, Lith. Acad. Sci.	2008	DBLP BibTeX RDF
1	Håkan Sundell, Philippas Tsigas	NOBLE: non-blocking programming support via lock-free shared abstract data types.	SIGARCH Computer Architecture News	2008	DBLP DOI BibTeX RDF
1	Donald D. Cowan, Paulo S. C. Alencar	Abstract Data Types.	Wiley Encyclopedia of Computer Science and Engineering	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	Derek Dreyer, Andreas Rossberg	Mixin' up the ML module system.	ICFP	2008	DBLP DOI BibTeX RDF	ML modules, hierarchical composability, mixin modules, type systems, abstract data types, recursive modules
1	José A. Blakeley, Vineet Rao, Isaac Kunen, Adam Prout, Mat Henaire, Christian Kleinerman	.NET database programmability and extensibility in microsoft SQL server.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	server programming, extensibility, abstract data types
1	Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif	Automating Algebraic Specifications of Non-freely Generated Data Types.	ATVA	2008	DBLP DOI BibTeX RDF	SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models
1	Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif	Bounded Relational Analysis of Free Data Types.	TAP	2008	DBLP DOI BibTeX RDF	SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types
1	Maurizio Cimadamore, Mirko Viroli	Integrating Java and Prolog through generic methods and type inference.	SAC	2008	DBLP DOI BibTeX RDF	java, prolog, generics, wildcards, multiparadigm
1	Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett	A Realizability Model for Impredicative Hoare Type Theory.	ESOP	2008	DBLP DOI BibTeX RDF
1	Margus Veanes, Nikolaj Bjørner, Alexander Raschke	An SMT Approach to Bounded Reachability Analysis of Model Programs.	FORTE	2008	DBLP DOI BibTeX RDF
1	Martin Burtscher, Milind Kulkarni, Dimitrios Prountzos, Keshav Pingali	On the Scalability of an Automatically Parallelized Irregular Application.	LCPC	2008	DBLP DOI BibTeX RDF	sparse graph algorithm, amorphous data-parallelism, optimistic execution, parallel programming, multicore processors, mesh refinement
1	Margus Veanes, Ando Saabas	On Bounded Reachability of Programs with Set Comprehensions.	LPAR	2008	DBLP DOI BibTeX RDF
1	Steve Reeves, David Streader	Data refinement and singleton failures refinement are not equivalent.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Singleton failures refinement, Data refinement
1	Borislav Nikolik, Dick Hamlet	Practical ultra-reliability for abstract data types.	Softw. Test., Verif. Reliab.	2007	DBLP DOI BibTeX RDF
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	Derek Dreyer	A type system for recursive modules.	ICFP	2007	DBLP DOI BibTeX RDF	type systems, recursion, abstract data types, modules