|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 638 occurrences of 315 keywords
|
|
|
Results
Found 945 publication records. Showing 945 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Dieter Nazareth |
Specifying Type Systems. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
polymorphic type system, type inference, qualified types, axiomatic specification |
10 | Olivier Danvy, René Vestergaard |
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Fairouz Kamareddine, Alejandro Ríos 0001 |
Generalized beta-Reduction and Explicit Substitution. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Xuandong Li, Guoliang Zheng |
A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
software maintenance, software reuse, inheritance, encapsulation, object-oriented programming languages |
10 | Alexander V. Shafarenko |
A Nonannotative Approach to Distributed Data-Parallel Computing. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Franz Puntigam |
Synchronization Expressed in Types of Communication Channels. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
10 | John H. Reppy, Jon G. Riecke |
Simple Objects for Standard ML. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
object-oriented programming, functional programming, standard ML, programming languages design |
10 | Karl-Filip Faxén |
Polyvariance, Polymorphism and Flow Analysis. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms |
10 | Jens Palsberg, Patrick O'Keefe |
A Type System Equivalent to Flow Analysis |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
constraints, flow analysis |
10 | Giuseppe Castagna |
Covariance and Contravariance: Conflict without a Cause. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
object-oriented languages, type theory |
10 | Heinz W. Schmidt, Jian Chen |
Reasoning about Concurrent Objects. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
D.1.3 Concurrent Programming, D.1.5 Object-Oriented Programming, D.2.4 Program Verification, F.3.1 Reasoning about Programs, F.1.1 Models of Computation |
10 | Martín Abadi, Luca Cardelli |
An Imperative Object Calculus. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Jens Palsberg, Patrick O'Keefe |
A Type System Equivalent to Flow Analysis. (long version: TOPLAS 17 (4): 576-599 (1995)) |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Sheng Liang, Paul Hudak, Mark P. Jones |
Monad Transformers and Modular Interpreters. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Kim B. Bruce, Angela Schuett, Robert van Gent |
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. |
ECOOP |
1995 |
DBLP DOI BibTeX RDF |
design and semantics of object-oriented languages, Type systems |
10 | Simon Courtenage, Alexandra Poulovassilis |
Combining Inheritance and Parametric Polymorphism in a Functional Database Language. |
BNCOD |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Carlos Baquero, Francisco Moura |
Concurrency Annotations in C++. |
ACM SIGPLAN Notices |
1994 |
DBLP DOI BibTeX RDF |
C++ |
10 | Francesco Parisi-Presicce, Alfonso Pierantonio |
An Algebraic Theory of Class Specification. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
interconnection mechanisms, modularity, inheritance, algebraic specifications |
10 | Clemens A. Szyperski, Stephen M. Omohundro, Stephan Murer |
Engineering a Programming Language: The Type and Class System of Sather. |
Programming Languages and System Architectures |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Satish Thatté |
Automated Synthesis of Interface Adapters for Reusable Classes. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Claus Hintermeier, Claude Kirchner, Hélène Kirchner |
Dynamically-Typed Computations for Order-Sorted Equational Presentations. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Martín Abadi, Luca Cardelli |
A Theory of Primitive Objects - Scond-Order Systems. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Ted L. Briggs, John Werth |
A Specification Language for Object-Oriented Analysis and Design. |
ECOOP |
1994 |
DBLP DOI BibTeX RDF |
Object Types, Message-Passing, Specification Language, Object-Oriented Design, Object-Oriented Analysis, Object-Oriented Specification |
10 | Arthur G. Duncan |
Implementing Internal Program Representations with Ada and Ada 9X. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
10 | Paul B. Jackson |
Exploring Abstract Algebra in Constructive Type Theory. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Martin Hofmann 0001, Benjamin C. Pierce |
A Unifying Type-Theoretic Framework for Objects. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Noemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel |
Types in School. |
ACM SIGPLAN Notices |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Benjamin C. Pierce, David N. Turner |
Object-Oriented Programming without Recursive Types. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
10 | José Félix Costa, Amílcar Sernadas, Cristina Sernadas |
Data Encapsulation and Modularity: Three Views of Inheritance. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Herman Balsters, Rolf A. de By, Roberto V. Zicari |
Typed Sets as a Basis for Object-Oriented Database Schemas. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
object-oriented databases, type theory, sets, constraint specification |
10 | Adrian Fiech |
Category of Delta-Functors. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Philip S. Santas |
A Type System for Computer Algebra. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Rafiul Ahad, James Davis 0003, Stefan Gower, Peter Lyngbæk, Andra Marynowski, Emmanuel O. Onuegbe |
Supporting Access Control in an Object-Oriented Database Language. |
EDBT |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Bernd Krieg-Brückner, Donald Sannella |
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Pierre-Louis Curien, Roberto Di Cosmo |
A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Gary T. Leavens, Don Pigozzi |
Typed Homomorphic Relations Extended with Sybtypes. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Neel Madhav, Sigurd Meldal |
An object-oriented approach to formal specification of reactive systems. |
ICDCS |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Pierre America |
Formal Techniques for Parallel Object-Oriented Languages. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Jukka Paakki, Anssi Karhinen, Tomi Silander |
Orthogonal type extensions and reductions. |
ACM SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Satish R. Thatte |
Quasi-Static Typing. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
10 | John C. Mitchell |
Toward a Typed Foundation for Method Specialization and Inheritance. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Dean Jacobs |
Type Declarations as Subtype Constraints in Logic Programming. |
PLDI |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Pierre-Louis Curien, Giorgio Ghelli |
Coherence of Subsumption. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Luca Cardelli, John C. Mitchell |
Operations on Records. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Daniel C. Halbert, Patrick D. O'Brien |
Using Types and Inheritance in Object-Oriented Languages. |
ECOOP |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #945 of 945 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10] |
|