Вы здесь

Главная

объектно-ориентированный язык

Связанные издания:

About Conversations for Concurrent OO Languages
Accomodating Interference in the Formal Design of Concurrent Object-Based Programs
A Compiler Construction Project For an Object-Oriented Language
A Complete Type Inference System for Subtyped Recursive Types
A Conceptual Perspective on the Comparison of Object-Oriented Programming Languages
A Core Calculus of Classes and Mixins
Adaptive Constraint Handling with CHR in Java
A Delegation-based Object Calculus with Subtyping
A Framework for Defining Object-Calculi
A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation
A General, Fine-Grained, Machine Independent, Object-Oriented Language
A General Framework for Inheritance Management and Method Dispatch in Object-Oriented Languages
Agora: Message Passing as a Foundation for Exploring OO Language Concepts
A Language Implementation Framework in Java
ALBA: A Parallel Language Based on Actors
Algebraic Proofs of Properties of Objects
Aliasing Models for Object Migration
A Monotonic Superclass Linearization for Dylan
An Adaptive Tenuring Policy for Generation Scavengers
Analyzing Exception Flow in JavaTM Programs
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages
An Efficient Meta-lock for Implementing Ubiquitous Synchronization
An Evaluation of Automatic Object Inline Allocation Techniques
An Expanded View of Messages
An Extended Theory of Primitive Objects: First Order System
An Incremental Class Reorganization Approach
An Object Language versus an Expert System Shell the School Time-Table Example
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language
An Orthogonal Distribution Language for Uniform Object-Oriented Languages
Application de CEYX a la Construction de Programmes sous Forme de Machines Virtuelles
Application of OOP Type Theory: State, Decidability, Integration
A Reflective Model for First Class Dependencies
Aspectual Collaborations: Combining Modules and Aspects
A State-Based Algebraic Semantics of Statements of Sequential Java
A Static Type System for Message Passing
Asynchronous and Deterministic Objects
A Third-Generation SELF Implementation: Reconciling Responsiveness with Performance
Attaching Second-Order Types to Methods in an Object-Oriented Language
A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages
Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications
Automatic Inference of Class Invariants
Automatic Inline Allocation of Objects
Automatic Run-Time Code Generation in C++
A Visual Object-Oriented Query Language for Geographic Information Systems
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement
A WP-calculus for OO
Bending without Breaking: Making Software More Flexible
Benefits of Type Inference for an Object-Oriented Real-Time Language
Better C: An Object-Oriented C Language with Automatic Memory Manager Suitable for Interactive Applications
CCC: User-Defined Object Structure in C