Search results for "subtype"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Zhe Yang	Encoding Types in ML-Like Languages.	ICFP	1998	DBLP DOI BibTeX RDF	MC68000 Assembly Language
12	Anne M. Disney, Philip M. Johnson	Investigation Data Quality Problems in the PSP.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	automated process support, measurement dysfunction, empirical software engineering, defects, personal software process
12	Amy Moormann Zaremski, Jeannette M. Wing	Specification Matching of Software Components.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF
12	Gerald Baumgartner, Vincent F. Russo	Implementing Signatures for C++.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	dispatch tables, opject interfaces, C++, C++, inheritance, polymorphism, subtyping
12	Niko Baric, Birgit Pfitzmann	Collision-Free Accumulators and Fail-Stop Signature Schemes Without Trees.	EUROCRYPT	1997	DBLP DOI BibTeX RDF
12	Matthew Hurst, Shona Douglas	Layout and Language: Preliminary Investigations in Recognizing the Structure of Tables.	ICDAR	1997	DBLP DOI BibTeX RDF
12	Eun-Sun Cho, Sang-Yong Han, Hyoung-Joo Kim	A Semantics of the Separation of Interface and Implementation in C++.	COMPSAC	1996	DBLP DOI BibTeX RDF
12	Ran Rinat, Menachem Magidor	Metaphoric Polymorphism: Taking Code Reuse One Step Further.	ECOOP	1996	DBLP DOI BibTeX RDF
12	Uwe Hohenstein	Bridging the Gap Between C++ and Relational Databases.	ECOOP	1996	DBLP DOI BibTeX RDF
12	Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai	Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.	ECOOP	1994	DBLP DOI BibTeX RDF	semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction
12	Stéphane Barbey	Working with Ada 9X Classes.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
12	Harry G. Mairson	A Constructive Logic of Multiple Subtyping.	POPL	1993	DBLP DOI BibTeX RDF
12	Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach	Efficient Recursive Subtyping.	POPL	1993	DBLP DOI BibTeX RDF
12	Marcin Benke	Efficient Type Reconstruction in the Presence of Inheritance.	MFCS	1993	DBLP DOI BibTeX RDF
12	Christiaan Thieme, Arno Siebes	Schema Integration in Object-Oriented Databases	CAiSE	1993	DBLP DOI BibTeX RDF
12	Philip S. Santas	A Type System for Computer Algebra.	DISCO	1993	DBLP DOI BibTeX RDF
12	Patrick O'Keefe, Mitchell Wand	Type Inference for Partial Types is Decidable.	ESOP	1992	DBLP DOI BibTeX RDF
12	Zhenyu Qian	Higher-Order Order-Sorted Algebras.	ALP	1990	DBLP DOI BibTeX RDF
12	John C. Mitchell	Toward a Typed Foundation for Method Specialization and Inheritance.	POPL	1990	DBLP DOI BibTeX RDF
12	Hans Leiß	Polymorphic Constructs in Natural and Programming Languages.	JELIA	1990	DBLP DOI BibTeX RDF
12	Alexander Borgida	Type Systems for Querying Class Hierarchies with Non-strict Inheritance.	PODS	1989	DBLP DOI BibTeX RDF
12	Roland Dietrich, Frank Hagl	A Polymorphic Type System with Subtypes for Prolog.	ESOP	1988	DBLP DOI BibTeX RDF
12	Alexander Borgida	Modeling Class Hierarchies with Contradictions.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
12	Luca Cardelli	Types for Data-Oriented Languages.	EDBT	1988	DBLP DOI BibTeX RDF
12	Scott E. Hudson, Roger King	Object-Oriented Database Support for Software Environments.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
12	David W. Shipman	The Functional Data Model and the Data Language DAPLEX.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	functional data model, DAPLEX, database, language

Displaying result #501 - #526 of 526 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6]