Вы здесь

Главная

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

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

Programming Massively Parallel Architectures with Sequential Object Oriented Languages
Prototyping Realistic Programming Languages Based on Formal Specifications
Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools
Reflection for Statically Typed Languages
Regular Types for Active Objects
Rendez-vous with metric semantics
Resolving Ambiguities caused by Multiple Inheritance
ROL2: A Real Deductive Object-Oriented Database Language
Safe and Decidable Type Checking in an Object-Oriented Language
Scheduling Predicates
Selective Specialization for Object-Oriented Languages
Selector Table Indexing & Sparse Arrays
Sender-initiated and Receiver-initiated Coordination in a Global Object Space
SharedOnRead Optimizationin Parallel Object-Oriented Programming
Smalltalk on the Rise
Software Language Engineering: Proc./7th International Conference, SLE 2014, Vasteras, Sweden, September 2014
Some Practical Problems and Their Influence on Semantics
Sound Polymorphic Type Inference for Objects
Specifying Business Process over Objects
Static Networks: A Powerful and Elegant Extension to Concurrent Object-Oriented Languages
Static Type Checking and Method Lookup in Plop!
Structured Inheritance for Algebraic Class Specification
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism
Subtyping Is Not a Good "Match" for Object-Oriented Languages
Synergies between Object-Oriented Programming Language Design and Implementation Research
Taming Concurrency in Smalltalk - the Procol Approach
TAO: An Object Orientation Kernel
The Complexity of Late-Binding in Dynamic Object-Oriented Languages
The Design of the E Programming Language
The Inheritance Workshop
The Objectstore Database Systems
The Once-Only Principle: The TOOP Project
The Real Benefits of Object-Relational DB-Technology for Object-Oriented Software Development
The Shared-Memory Language pSather on a Distributed-Memory Multiprocessor
The Weyl Computer Algebra Substrate
Towards a Concurrent Object/Process Oriented Functional Language
Towards an Object Calculus
Traces (A Cut at the "Make Isn t Generic" Problem)
Transactional Monitors for Concurrent Objects
Trellis: What We Have Learned from a Strongly Typed Language
Trustworthy Global Computing: Revised Selectes Papers/7th International Symposium, TGC 2012, Newcastle upon Tune, UK, September 2012
Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages
Type Oriented Programming
Type-Safe Compilation of Covariant Specialization: A Practical Case
Type-Safe Prototype-Based Component Evolution
Types in School
Types That Reflect Changes of Object Usability
Type Test Elimination using Typeflow Analysis
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages
Unifying Genericity