GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
A logic-programming/object-oriented cocktail
ACM SIGMOD Record
A knowledge-based system for computer algebra
ACM SIGSAM Bulletin
Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Hurricane: an optimizing compiler for Smalltalk
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Combining language and database advances in an object-oriented development environment
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Communications of the ACM
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Modeling class hierarchies with contradictions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
Object-oriented development of integrated programming environments with ASDL
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
Type inference in a database programming language
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Type inference and semi-unification
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
ML with extended pattern matching and subtypes
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Objects as closures: abstract semantics of object-oriented languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Polymorphism and type checking in object-oriented languages
ACM SIGPLAN Notices
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Structural subtyping and the notion of power type
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inheritance in smalltalk-80: a denotational definition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling complex structures in object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Type systems for querying class hierarchies with non-strict inheritance
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An object addressing mechanism for statically typed languages with multiple inheritance
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
A denotational semantics of inheritance and its correctness
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Static type inference for parametric classes
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Interfaces for strongly-typed object-oriented programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Type checking records and variants in a natural extension of ML
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The O2 object manager: an overview
VLDB '89 Proceedings of the 15th international conference on Very large data bases
The Object-Oriented Functional Data Language
IEEE Transactions on Software Engineering
Imprecise information and uncertainty in information systems
ACM Transactions on Information Systems (TOIS)
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type substitution for object-oriented programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Reasoning about object-oriented programs that use subtypes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Type consistency of queries in an object-oriented database system
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
F-bounded polymorphism for object-oriented programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
A record calculus based on symmetric concatenation
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algebraic reconstruction of types and effects
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
Queries and query processing in object-oriented database systems
ACM Transactions on Information Systems (TOIS)
Subtyping in OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An ad hoc approach to the implementation of polymorphism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented type inference
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
ACM SIGPLAN OOPS Messenger
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
Correctly typing objects through subtyping and type inference
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
A new set interpretation of the inheritance relation and its checking
ACM SIGPLAN OOPS Messenger
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Interfaces and specifications for the Smalltalk-80 collection classes
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Inheritance in natural language processing
Computational Linguistics - Special issue on inheritance: I
Bounded quantification is undecidable
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typing the specialization interface
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Strongtalk: typechecking Smalltalk in a production environment
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Inheritance modeled with explicit bindings: an approach to typed inheritance
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Second-order signature: a tool for specifying data models, query processing, and optimization
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A type-theoretic approach to higher-order modules with sharing
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Single versus multiple inheritance in object oriented programming
ACM SIGPLAN OOPS Messenger
Application of OOP type theory: state, decidability, integration
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Covariance and contravariance: conflict without a cause
ACM Transactions on Programming Languages and Systems (TOPLAS)
Single versus multiple inheritance in object oriented programming
ACM SIGPLAN OOPS Messenger
Bidirectional object layout for separate compilation
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Subtypes vs. where clauses: constraining parametric polymorphism
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Sound polymorphic type inference for objects
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Tailoring OO analysis and design methods (panel)
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
An algebraic semantics of subobjects
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Simple objects for Standard ML
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Simplifying subtyping constraints
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Complexity of kernel Fun subtype checking
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Implementing signatures for C++
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
Eliciting software process models with the E3 language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Declaration-free type checking
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A strongly typed, interactive object-oriented database programming language
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
An algebraic model of sybtypes in object-oriented languages (draft)
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Orthogonal type extensions and reductions
ACM SIGPLAN Notices
Simplifying subtyping constraints: a theory
Information and Computation
Objects and classes in Algol-like languages
Information and Computation - FOOL V
An interoperable calculus for external object access
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Semantic Granularity in Ontology-Driven Geographic Information Systems
Annals of Mathematics and Artificial Intelligence
Using Many-Sorted Logic in the Object-Oriented Data Model for Fast Robot Task Planning
Journal of Intelligent and Robotic Systems
Tigukat: a uniform behavioral objectbase management system
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Thémis: a database programming language handling integrity constraints
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Developing Integrated Environments with ASDL
IEEE Software
Describing Database Objects in a Concept Language Environment
IEEE Transactions on Knowledge and Data Engineering
The Role of Polymorphic Reuse Mechanisms in Schema Evolution in an Object-Oriented Database
IEEE Transactions on Knowledge and Data Engineering
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Computational Divided Differencing and Divided-Difference Arithmetics
Higher-Order and Symbolic Computation
Database Support for Knowledge-Based Image Evaluation
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Inheritance and Subtyping in a Parallel Object-Oriented Language
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
GSBL: An Algebraic Specification Language Based on Inheritance
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Typed Sets as a Basis for Object-Oriented Database Schemas
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Modular Statically Typed Multimethods
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
An Interpretation of Extensible Objects
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
"Real World" as an Argument for Covariant Specialization in Programming and Modeling
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Description logics for semantic query optimization in object-oriented database systems
ACM Transactions on Database Systems (TODS)
Type-safe relaxing of schema consistency rules for flexible modelling in OODBMS
The VLDB Journal — The International Journal on Very Large Data Bases
Safe dynamic multiple inheritance
Nordic Journal of Computing
Programming methodology
A formal model for temporal schema versioning in object-oriented databases
Data & Knowledge Engineering
Developing an object-oriented view management system
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Journal of Functional Programming
The recursive record semantics of objects revisited
Journal of Functional Programming
A computational view of implicit coercions in type theory
Mathematical Structures in Computer Science
Two constructions of C++ subclasses from functions
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Artificial Intelligence for Engineering Design, Analysis and Manufacturing - Special Issue: Design Spaces: The Explicit Representation of Spaces of Alternatives
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Integration of concurrency control in a language with subtyping and subclassing
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Shared subtypes: subtyping recursive parametrized algebraic data types
Proceedings of the first ACM SIGPLAN symposium on Haskell
Semantic predicate types and approximation for class-based object oriented programming
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
An Approach to Behavioral Subtyping Based on Static Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Compilation of extended recursion in call-by-value functional languages
Higher-Order and Symbolic Computation
A Fixed-Point Query Language for XML
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Class-level modular analysis for object oriented languages
SAS'03 Proceedings of the 10th international conference on Static analysis
MASPEGHI 2004 mechanisms for specialization, generalization and inheritance
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
Exact type parameterization and ThisType support
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
On the effective manipulation of digital objects: a prototype-based instantiation approach
ECDL'05 Proceedings of the 9th European conference on Research and Advanced Technology for Digital Libraries
Semantic hierarchy refactoring by abstract interpretation
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
A complete semantics for SMALLTALK-80
Computer Languages
Semantic Types and Approximation for Featherweight Java
Theoretical Computer Science
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.02 |