|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 279 occurrences of 188 keywords
|
|
|
Results
Found 526 publication records. Showing 526 according to the selection in the facets
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] |
|