Search results for "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	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
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	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
3	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
3	Andres Löh, Ralf Hinze	Open data types and open functions.	PPDP	2006	DBLP DOI BibTeX RDF	extensible data types, extensible exceptions, extensible functions, mutually recursive modules, functional programming, Haskell, generic programming, expression problem
3	Andrew Kennedy, Claudio V. Russo	Generalized algebraic data types and object-oriented programming.	OOPSLA	2005	DBLP DOI BibTeX RDF	constraints, generics, generalized algebraic data types
3	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
3	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
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	Ralf Hartmut Güting, Thomas de Ridder, Markus Schneider	Implementation of the ROSE Algebra: Efficient Algorithms for Realm-Based Spatial Data Types.	SSD	1995	DBLP DOI BibTeX RDF	Spatial data types, realm, finite resolution, numerical robustness, ROSE, algebra, efficient algorithms, plane sweep
3	Raminder Singh Bajwa, Robert Michael Owens, Mary Jane Irwin	The MGAP's programming environment and the *C++ language.	ASAP	1995	DBLP DOI BibTeX RDF	MGAP's programming environment, *C++ language, workstation co-processor board, fine grain processors, custom ASICs, class concept, parallel data-types like bit, parallel processing, compiler, programming environments, application specific integrated circuits, high-level language, data-types, C language
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	Ralf Hartmut Güting, Markus Schneider	Realms: A Foundation for Spatial Data Types in Database Systems.	SSD	1993	DBLP DOI BibTeX RDF	Spatial data types, realm, finite resolution, numerical robustness, topological correctness, geometric consistency, algebra
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	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
3	Jeannette M. Wing	Verifying Atomic Data Types.	REX Workshop	1989	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types
3	Tobias Nipkow	Formal Verification of Data Type Refinement - Theory and Practice.	REX Workshop	1989	DBLP DOI BibTeX RDF	Verification, Distributed Processes, Refinement, Implementation, Theorem Proving, Abstract Data Types, Data Types
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
3	Peter Buneman	Data Types For Database Programming.	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
3	William E. Weihl	Linguistic Support for Atomic Data Types.	Data Types and Persistence (Appin)	1985	DBLP BibTeX RDF
3	Peter Buneman	Data Types For Data Base Programming.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
3	William E. Weihl	Linguistic Support for Atomic Data Types.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
3	Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi	Abstract Data Types and Their Extensions within a Constructive Logic.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
3	Rod M. Burstall, Butler W. Lampson	A Kernel Language for Abstract Data Types and Modules.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
3	Samuel N. Kamin, Myla Archer	Partial Implementations of Abstract Data Types: A Dissenting view on Errors.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
3	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
3	Bengt Nordstrüm	Assignments and high level data types.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Adress, Mathematical semantics, Assignment, Data types, Pointers
2	Philippe Suter, Mirco Dotta, Viktor Kuncak	Decision procedures for algebraic data types with abstractions.	POPL	2010	DBLP DOI BibTeX RDF	data structure, decision procedure, algebraic data type, catamorphism
2	Chuan-kai Lin, Tim Sheard	Pointwise generalized algebraic data types.	TLDI	2010	DBLP DOI BibTeX RDF	pointwise baseline, pointwise unification, pointwise unifier, gadts
2		Geometric Data Types.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2		Data Types for Moving Objects.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2		Data Types: Image, Video, Pixel, Voxel, Frame.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	José Luis Risco-Martín, José Ignacio Hidalgo, David Atienza, Juan Lanchares, Oscar Garnica	Mixed heuristic and mathematical programming using reference points for dynamic data types optimization in multimedia embedded systems.	GECCO	2009	DBLP DOI BibTeX RDF	evolutionary computation, particle swarm optimization, multi-objective optimization, mathematical programming, embedded systems design
2	Paul Tarau	Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell.	SAC	2009	DBLP DOI BibTeX RDF	Ackermann encoding, Haskell data representations, computational mathematics, hereditarily finite functions, hereditarily finite sets, ranking/unranking
2	Aravind Yalamanchi, Dieter Gawlick	Compensation-aware data types in RDBMS.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	and constraints, concurrency control, compensation, business transactions
2	Tao Chen, Markus Schneider	Data structures and intersection algorithms for 3D spatial data types.	GIS	2009	DBLP DOI BibTeX RDF	3D data structure, slice representation, implementation, intersection
2	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
2	José L. Risco-Martín, David Atienza, José Ignacio Hidalgo, Juan Lanchares	A parallel evolutionary algorithm to optimize dynamic data types in embedded systems.	Soft Comput.	2008	DBLP DOI BibTeX RDF
2	José Ignacio Hidalgo, José L. Risco-Martín, David Atienza, Juan Lanchares	Analysis of multi-objective evolutionary algorithms to optimize dynamic data types in embedded systems.	GECCO	2008	DBLP DOI BibTeX RDF	evolutionary computation, multi-objective optimization, embedded systems design, pareto optimal front
2	José Luis Risco-Martín, David Atienza, José Ignacio Hidalgo, Juan Lanchares	Design Flow of Dynamically-Allocated Data Types in Embedded Applications Based on Elitist Evolutionary Computation Optimization.	DSD	2008	DBLP DOI BibTeX RDF
2	Stefan Blom, Jaco van de Pol	Symbolic Reachability for Process Algebras with Recursive Data Types.	ICTAC	2008	DBLP DOI BibTeX RDF
2	Thomas Arts, Laura M. Castro, John Hughes	Testing Erlang data types with quviq quickcheck.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	quickcheck, erlang, datatypes
2	Marie-Claude Gaudel, Pascale Le Gall	Testing Data Types Implementations from Algebraic Specifications.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
2	Ki Yung Ahn, Tim Sheard	Shared subtypes: subtyping recursive parametrized algebraic data types.	Haskell	2008	DBLP DOI BibTeX RDF	parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types
2	Yan Huang, Chengyang Zhang	New Data Types and Operations to Support Geo-streams.	GIScience	2008	DBLP DOI BibTeX RDF
2	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
2	Hailong Wang, Z. M. Ma	A Decidable Fuzzy Description Logic F-ALC(G).	DEXA	2008	DBLP DOI BibTeX RDF	fuzzy ALC(G), customized fuzzy data types, Tableau algorithm
2	Vincent Simonet, François Pottier	A constraint-based approach to guarded algebraic data types.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	GADTs, Generalized algebraic data types, constraint-based type inference
2	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	CheckFence: checking consistency of concurrent data types on relaxed memory models.	PLDI	2007	DBLP DOI BibTeX RDF	lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures
2	Fedja Hadzic, Tharam S. Dillon	CSOM for Mixed Data Types.	ISNN	2007	DBLP DOI BibTeX RDF
2	Xiaofang Zhao, Hui Fan, Xiaohua Liu	Data Types of DFL Programming Language.	FSKD	2007	DBLP DOI BibTeX RDF
2	Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans	Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.	IFM	2007	DBLP DOI BibTeX RDF
2	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
2	Jeff Z. Pan	A Flexible Ontology Reasoning Architecture for the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	user-defined data types and data type predicates, reasoning architecture, ontology, Knowledge representation
2	Qingxiang Wu, T. Martin McGinnity, David A. Bell, Girijesh Prasad	A Self-Organizing Computing Network for Decision-Making in Data Sets with a Diversity of Data Types.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	machine learning, fuzzy sets, decision support, Information technology and systems
2	Ferucio Laurentiu Tiplea, Constantin Enea	Abstractions of data types.	Acta Inf.	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Data type, Universal algebra
2	Alexander Paar, Walter F. Tichy	Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL.	ASE	2006	DBLP DOI BibTeX RDF
2	François Pottier, Yann Régis-Gianas	Stratified type inference for generalized algebraic data types.	POPL	2006	DBLP DOI BibTeX RDF
2	David M. Reif, Alison A. Motsinger, Brett A. McKinney, James E. Crowe Jr., Jason H. Moore	Feature Selection using a Random Forests Classifier for the Integrated Analysis of Multiple Data Types.	CIBCB	2006	DBLP DOI BibTeX RDF
2	Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey	A Framework for Extended Algebraic Data Types.	FLOPS	2006	DBLP DOI BibTeX RDF
2	Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson	Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.	APLAS	2006	DBLP DOI BibTeX RDF
2	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.	CAV	2006	DBLP DOI BibTeX RDF
2	Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez	Generic Views on Data Types.	MPC	2006	DBLP DOI BibTeX RDF
2	Yuichi Tsujita	Effective Seamless Remote MPI-I/O Operations with Derived Data Types Using PVFS2.	PVM/MPI	2006	DBLP DOI BibTeX RDF	Stampi, MPI-I/O process, derived data type, PVFS2, MPI-I/O
2	Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn	Simple unification-based type inference for GADTs.	ICFP	2006	DBLP DOI BibTeX RDF	type inference, generalized algebraic data types
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	Bernhard Beckert, Steffen Schlager	Refinement and retrenchment for programming language data types.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Retrenchment refinement, UML/OCL, Java, Formal specification, Software verification, Integer arithmetic
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	Henrik Nilsson	Dynamic optimization for functional reactive programming using generalized algebraic data types.	ICFP	2005	DBLP DOI BibTeX RDF	DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows
2	Hsing-Kuo Pao, Shou-Chih Chang, Yuh-Jye Lee	Model Trees for Classification of Hybrid Data Types.	IDEAL	2005	DBLP DOI BibTeX RDF
2	Anne H. H. Ngu, David Buttler, Terence Critchlow	Automatic Generation of Data Types for Classification of Deep Web Sources.	DILS	2005	DBLP DOI BibTeX RDF
2	Brian E. Weinrich, Markus Schneider	Use of rational numbers in the design of robust geometric primitives for three-dimensional spatial database systems.	GIS	2005	DBLP DOI BibTeX RDF	3D spatial data types, GIS, spatial database, geometric primitives, rational numbers, discrete model
2	Derek Dreyer	Recursive type generativity.	ICFP	2005	DBLP DOI BibTeX RDF	generativity, type systems, recursion, abstract data types, effect systems, recursive modules
2	Jörg Siebeck, Serge S. Shumilov, Armin B. Cremers, Martin Breunig, Andreas Thomsen	Selected Spatio-Temporal Data Types and Operations for a 3D/4D Geological Information System.	SSDBM	2004	DBLP DOI BibTeX RDF
2	Markus Schneider, Brian E. Weinrich	An abstract model of three-dimensional spatial data types.	GIS	2004	DBLP DOI BibTeX RDF	3D spatial data type, GIS, data model, spatial database, algebra
2	Alejandro Pauly, Markus Schneider	Vague Spatial Data Types, Set Operations, and Predicates.	ADBIS	2004	DBLP DOI BibTeX RDF
2	Tuba Yavuz-Kahveci, Tevfik Bultan	A symbolic manipulator for automated verification of reactive systems with heterogeneous data types.	STTT	2003	DBLP DOI BibTeX RDF	Composite representation, BDD, Symbolic model checking, Presburger arithmetic
2	Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Enrico Nardelli, Markus Schneider, Jose Ramon Rios Viqueira	Spatio-temporal Models and Languages: An Approach Based on Data Types.	Spatio-Temporal Databases: The CHOROCHRONOS Approach	2003	DBLP DOI BibTeX RDF
2	Margarita V. Korovina	Recent Advances in S-Definability over Continuous Data Types.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
2	Jo Erskine Hannay	Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types.	ICALP	2003	DBLP DOI BibTeX RDF
2	Henrik Nottelmann, Norbert Fuhr	Decision-Theoretic Resource Selection for Different Data Types in MIND.	Distributed Multimedia Information Retrieval	2003	DBLP DOI BibTeX RDF
2	Bakhadyr Khoussainov	On Algebraic Specifications of Abstract Data Types.	CSL	2003	DBLP DOI BibTeX RDF
2	Jens Lufter	Kollektionsunterstützung für SQL: 1999.	Inform., Forsch. Entwickl.	2003	DBLP DOI BibTeX RDF	SQL, Data types, Object-relational database systems
2	Kim Yong Chun, Dang Van Hung	Specification and Verification of Spatial Data Types with B-Toolkit.	COMPSAC	2002	DBLP DOI BibTeX RDF
2	Grégory Lestiennes, Marie-Claude Gaudel	Testing Processes from Formal Specifications with Inputs, Outputs and Data Types.	ISSRE	2002	DBLP DOI BibTeX RDF
2	Allen Moulton, Stuart E. Madnick, Michael Siegel	Semantic Interoperability in the Securities Industry: Context Interchange Mediation of Semantic Differences in Enumerated Data Types. (PDF / PS)	DEXA Workshops	2002	DBLP DOI BibTeX RDF
2	Liwu Li	On ODMG Data Types.	TOOLS	2001	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	Thomas Zimmermann, Andreas Zeller	Visualizing Memory Graphs.	Software Visualization	2001	DBLP DOI BibTeX RDF	data types and structures, graphs, program understanding, diagnostics, debugging aids
2	Michalis Vazirgiannis, Ouri Wolfson	A Spatiotemporal Model and Language for Moving Objects on Road Networks.	SSTD	2001	DBLP DOI BibTeX RDF	Spatiotemporal models, query language, data types
2	James H. Davenport	Abstract Data Types in Computer Algebra.	MFCS	2000	DBLP DOI BibTeX RDF
2	Martin Erwig	Random Access to Abstract Data Types.	AMAST	2000	DBLP DOI BibTeX RDF	adt, graph algorithm, category theory, catamorphism
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	Rosario Cristaldi, Giulio Iannello	MPI Derived Data Types Support in VIRTUS.	CANPC	2000	DBLP DOI BibTeX RDF
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	Roop K. Goyal, Max J. Egenhofer	Consistent Queries over Cardinal Directions across Different Levels of Detail. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	cardinal directions, geometric data types, deep direction-relation matrix, spatial query languages, geographic information systems, geographic information system, spatial database, polygons, query formulation
2	Annalisa Di Deo, Dmitri Boulanger	A Formal Background to Build Constraint Objects. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	constraint objects, first-order formula, database tuples, database objects, basic data types, constraint data model, spatial tools, Oracle 8, constraint programming, first-order logic, expressiveness, duality, constraint handling, spatial relations, data representation, linear constraints, relational data model, declarativeness, object-relational DBMS, constraint databases, cylindrical algebras, relational tables, free variables