ACM Transactions on Programming Languages and Systems (TOPLAS)
Tiling design patterns—a case study using the interpreter pattern
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Minimal typings in atomic subtyping
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static typing for dynamic messages
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Ownership types for flexible alias protection
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A lambda calculus of objects with self-inflicted extension
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Reasoning about Java classes: preliminary report
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An efficient method for checking object-oriented database schema correctness
ACM Transactions on Database Systems (TODS)
The design of a class mechanism for Moby
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Dynamic typing for distributed programming in polymorphic languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type dispatch for named hierarchical types
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
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
Analyzing exception flow in Java programs
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
A calculus for dynamic customization of virtual environments
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 1)
Featherweight Java: a minimal core calculus for Java and GJ
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Correspondence polymorphism for object-oriented languages
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An inheritance-based technique for building simulation proofs incrementally
Proceedings of the 22nd international conference on Software engineering
POOL: a persistent object-oriented language
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Safety checking of machine code
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
An efficient class and object encoding
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Typing a multi-language intermediate code
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Techniques and language constructs for developing generic informations systems: a case study
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems (TOPLAS)
An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
Class-is-type is inadequate for object reuse
ACM SIGPLAN Notices
Type-based hot swapping of running modules (extended abstract)
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Information and Computation - FOOL V
Information and Computation - FOOL V
Objects and classes in Algol-like languages
Information and Computation - FOOL V
Type-preserving compilation of Featherweight Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
More dynamic object reclassification: Fickle∥
ACM Transactions on Programming Languages and Systems (TOPLAS)
Metaphor and metonymy in object-oriented design patterns
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Typed interpretations of extensible objects
ACM Transactions on Computational Logic (TOCL)
Inheritance in concurrent objects
Formal methods for distributed processing
PICCOLA---a small composition language
Formal methods for distributed processing
On the complexity analysis of static analyses
Journal of the ACM (JACM)
Ownership, encapsulation and the disjointness of type and effect
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Type-Safe linking with recursive DLLs and shared libraries
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computing Software
Spatial data quality capture throughinductive learning
Spatial Cognition and Computation
Types for the ambient calculus
Information and Computation - IFIP TCS2000
Mobile objects as mobile processes
Information and Computation - IFIP TCS2000
Type inference for variant object types
Information and Computation - FOOL VII
Type-safe convariant specialization with generalized matching
Information and Computation - FOOL VII
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the return types of virtual functions
ACM SIGPLAN Notices
Imperative objects as mobile processes
Science of Computer Programming
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
View Operations on Objects with Roles for a Statically Typed Database Language
IEEE Transactions on Knowledge and Data Engineering
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
UPSILON: universal programming system with incomplete lazy object notation
Fundamenta Informaticae
Recursive object types in a logic of object-oriented programs
Nordic Journal of Computing
Type inference with simple selftypes is NP-complete
Nordic Journal of Computing
PolyTOIL: A type-safe polymorphic object-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic inheritance in a statically typed language
Nordic Journal of Computing
Modeling data and objects: an algebraic view point
Theoretical aspects of computer science
Supporting evolution of interface exceptions
Advances in exception handling techniques
A Model for Describing Object-Oriented Systems from Multiple Perspectives
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
A Calculus for Compiling and Linking Classes
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Typestate Checking of Machine Code
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
The Recursive Record Semantics of Objects Revisited
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Vanilla: An Open Language Framework
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
An Event-Based Structural Operational Semantics of Multi-Threaded Java
Formal Syntax and Semantics of Java
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
Class-Based versus Object-Based: A Denotational Comparison
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Object-Oriented Database as a Dynamic System with Implicit State
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Type-Safe Delegation for Run-Time Component Adaptation
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Modular Statically Typed Multimethods
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Core Calculus of Classes and Mixins
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Trace Model for Pointers and Objects
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Fickle: Dynamic Object Re-classification
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Simple Ownership Types for Object Containment
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Type-Safe Prototype-Based Component Evolution
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Increasing Reusability in Information Systems Development by Applying Generic Methods
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
A Real Time Object-Oriented Rational Agent Development System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Using Transition Systems to Unify UML Models
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Subtyping and Matching for Mobile Objects
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Mechanized Operational Semantics via (Co)Induction
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Inheritance in Higher Order Logic: Modeling and Reasoning
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Bounded Polymorphism for Extensible Objects
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
Aliasing Models for Object Migration
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Object-Oriented Design of Graph Oriented Data Structures
ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
A Partial Semantics for Object Data Models with Static Binding
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Correct Object-Oriented Systems in Computational Logic
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Hidden Specification of a Functional System
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Coordinating Mobile Object-Oriented Code
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Supporting Evolution of Interface Exceptions
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Local pi-Calculus at Work: Mobile Objects as Mobile Processes
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
An Interpretation of Typed Concurrent Objects in the Blue Calculus
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Language Independent Container Specification
Selected Papers from the International Seminar on Generic Programming
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Modeling Data and Objects: An Algebraic View Point
Theoretical Aspects of Computer Science, Advanced Lectures [First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000]
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Framework for Defining Object-Calculi
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Generic Facilities in Object-Oriented ASMs
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Anti-Symmetry of Higher-Order Subtyping
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
A Theory of Explicit Mathematics Equivalent to ID1
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Interpretations of Extensible Objects and Types
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Locally Effective Objects and Artificial Intelligence
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A New Meta-complexity Theorem for Bottom-Up Logic Programs
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Equational Reasoning for Linking with First-Class Primitive Modules
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A Debugging Scheme for Declarative Equation Based Modeling Languages
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Validating a Web service security abstraction by typing
Proceedings of the 2002 ACM workshop on XML security
Safe dynamic multiple inheritance
Nordic Journal of Computing
A trace model for pointers and objects
Programming methodology
Programming methodology
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Lambda calculi and linear speedups
The essence of computation
Flow logic: a multi-paradigmatic approach to static analysis
The essence of computation
Automated Software Engineering Using Concurrent Class Machines
Proceedings of the 16th IEEE international conference on Automated software engineering
Typed operational semantics for higher-order subtyping
Information and Computation
Static analysis to support the evolution of exception structure in object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
On pseudo object-oriented programming considered harmful
Communications of the ACM - Service-oriented computing
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Asynchronous and deterministic objects
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
TinkerType: a language for playing with formal systems
Journal of Functional Programming
Journal of Functional Programming
Compilation and equivalence of imperative objects
Journal of Functional Programming
Lightweight Bytecode Verification
Journal of Automated Reasoning
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Natural semantics as a static program analysis framework
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type inference for record concatenation and subtyping
Information and Computation
The recursive record semantics of objects revisited
Journal of Functional Programming
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming
Elaboration tolerance through object-orientation
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Higher-order subtyping and its decidability
Information and Computation
Semantics and logic of object calculi
Theoretical Computer Science - Logic, semantics and theory of programming
Extensible objects without labels
ACM Transactions on Programming Languages and Systems (TOPLAS)
Consistency Checking in an Infrastructure for Large-Scale Generative Programming
Proceedings of the 19th IEEE international conference on Automated software engineering
Recovering binary class relationships: putting icing on the UML cake
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Managing inconsistent repositories via prioritized repairs
Proceedings of the 2004 ACM symposium on Document engineering
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
A simple typed intermediate language for object-oriented languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transition predicate abstraction and fair termination
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic discovery of covariant read-only fields
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 2005 ACM symposium on Applied computing
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
Programming language semantics
Encyclopedia of Computer Science
A fully abstract may testing semantics for concurrent objects
Theoretical Computer Science
Subtyping, recursion, and parametric polymorphism in kernel fun
Information and Computation
Mixin modules in a call-by-value setting
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software engineering as a model of understanding for learning and problem solving
Proceedings of the first international workshop on Computing education research
Z0 - a tiny experimental language
ACM SIGPLAN Notices
Interaction-based programming with classages
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formalising Java RMI with explicit code mobility
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
Pragmatic Consistency Management in Industrial Requirements Specifications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Journal of Functional Programming
Contravariant methods in Java and C++
Journal of Computing Sciences in Colleges
Anti-symmetry of higher-order subtyping and equality by subtyping
Mathematical Structures in Computer Science
Denotational semantics for a program logic of objects
Mathematical Structures in Computer Science
Quantified types in an imperative language
ACM Transactions on Programming Languages and Systems (TOPLAS)
A historic functional and object-oriented calculus
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Enhancing program verifications by restricting object types
Proceedings of the 2006 ACM symposium on Applied computing
Flexible object encapsulation for ambient-oriented programming
DLS '05 Proceedings of the 2005 symposium on Dynamic languages
Compile-time meta-programming in a dynamically typed OO language
DLS '05 Proceedings of the 2005 symposium on Dynamic languages
Type-theoretic design patterns
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Addressed term rewriting systems: application to a typed object calculus
Mathematical Structures in Computer Science
The movable point problem and its resolution in object type graphs
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Eliminating distinctions of class: using prototypes to model virtual classes
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Generic ownership for generic Java
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
An algorithm for computing links
Proceedings of the 44th annual Southeast regional conference
An assertion-based proof system for multithreaded Java
Theoretical Computer Science - Formal methods for components and objects
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
Proceedings of the 6th international conference on Aspect-oriented software development
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Comparing Concepts of Object Petri Net Formalisms
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Abstract Interpretation Against Races
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Abstract Interpretation of an Object Calculus for Synchronization Optimizations
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching
Fundamenta Informaticae
A type-theoretic interpretation of pointcuts and advice
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Typed parametric polymorphism for aspects
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
MiniMAO1: an imperative core language for studying aspect-oriented reasonings
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
DisCComp -- A Formal Model for Distributed C oncurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting format string vulnerabilities with type qualifiers
SSYM'01 Proceedings of the 10th conference on USENIX Security Symposium - Volume 10
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Journal of Automated Reasoning
Secured Information Flow for Asynchronous Sequential Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting format string vulnerabilities with type qualifiers
SSYM'01 Proceedings of the 10th conference on USENIX Security Symposium - Volume 10
Object-Oriented Structure Refinement -- A Graph Transformational Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
Featherweight Java with multi-methods
Proceedings of the 5th international symposium on Principles and practice of programming in Java
A calculus of open modules: call-by-need strategy and confluence
Mathematical Structures in Computer Science
Formalising Java RMI with explicit code mobility
Theoretical Computer Science
Patterns, symmetry, and symmetry breaking
Communications of the ACM - Urban sensing: out of the woods
FeatherTrait: A modest extension of Featherweight Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Full abstraction for polymorphic π-calculus
Theoretical Computer Science
Extending FeatherTrait Java with Interfaces
Theoretical Computer Science
Programming Languages For Interactive Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Domain specific language implementation via compile-time meta-programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards Reusable Automation System Components
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Inter-deriving Semantic Artifacts for Object-Oriented Programming
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Syntactic Metatheory of Higher-Order Subtyping
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
A tag-based approach for the design and composition of information processing applications
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
A spatiotemporal data model for dynamic transit networks
International Journal of Geographical Information Science
Saving Energy Consumption of Multi-robots Using Higher-Order Mobile Agents
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
A Lightweight Container Architecture for Runtime Verification
Runtime Verification
An Operational Semantics for JavaScript
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Alias Types and Effects for "Environment-aware" Computations
Fundamenta Informaticae
Active Objects and Distributed Components: Theory and Implementation
Formal Methods for Components and Objects
Asynchronous sequential processes
Information and Computation
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Zero-a blend of static typing and dynamic metaprogramming
Computer Languages, Systems and Structures
Featherweight Java with dynamic and static overloading
Science of Computer Programming
Static type inference for Ruby
Proceedings of the 2009 ACM symposium on Applied Computing
Semantic predicate types and approximation for class-based object oriented programming
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Flexible and Efficient Use of Robot Resources Using Higher-Order Mobile Agents
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Formal Methods for Web Services
Towards gradual typing for generics
Proceedings for the 1st workshop on Script to Program Evolution
Efficient virtual machine support of runtime structural reflection
Science of Computer Programming
Manifest Fields and Module Mechanisms in Intensional Type Theory
Types for Proofs and Programs
Transactions on Aspect-Oriented Software Development V
Functional Active Objects: Typing and Formalisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Understanding the use of inheritance with visual patterns
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
On the Decidability of Subtyping with Bounded Existential Types
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Interfaces and binding in component based development of formal models
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Encoding an Object Calculus into Interaction Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Difunctorial Semantics of Object Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Type Assignement for Mobile Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax
Electronic Notes in Theoretical Computer Science (ENTCS)
Type Theory and Language Constructs for Objects with States
Electronic Notes in Theoretical Computer Science (ENTCS)
A Constructive Object Oriented Modeling Language for Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic foundations for typed assembly languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Subtyping recursion and parametric polymorphism in kernel fun
Information and Computation
Customizable and upgradable enterprise systems without the crystal ball assumption
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Mapping visual to textual knowledge representation
Knowledge-Based Systems
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
A calculus for uniform feature composition
ACM Transactions on Programming Languages and Systems (TOPLAS)
Characterizing convergent terms in object calculi via intersection types
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Class-level modular analysis for object oriented languages
SAS'03 Proceedings of the 10th international conference on Static analysis
Towards practical proofs of class correctness
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Java as a functional programming language
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Let's modularize the data model specifications of the ObjectLens in VisualWorks/Smalltalk
ISC'06 Proceedings of the 14th international conference on Advances in smalltalk
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Parametric (co)iteration vs. primitive direcursion
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
A mechanized model of the theory of objects
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
A framework for type safe exchange of mobile code
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
On normalization by evaluation for object calculi
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
Growing a language: the GLoo perspective
SC'08 Proceedings of the 7th international conference on Software composition
Composing safely: a type system for aspects
SC'08 Proceedings of the 7th international conference on Software composition
Inter-deriving semantic artifacts for object-oriented programming
Journal of Computer and System Sciences
From reduction-based to reduction-free normalization
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Extending Dylan's type system for better type inference and error detection
Proceedings of the 2010 international conference on Lisp
Sessions and session types: an overview
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Big-step Operational Semantics Revisited
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Privacy enforcement and analysis for functional active objects
DPM'10/SETOP'10 Proceedings of the 5th international Workshop on data privacy management, and 3rd international conference on Autonomous spontaneous security
Mixin modules for dynamic rebinding
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Toward a unified object model for cyber-physical systems
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Delegation by object composition
Science of Computer Programming
Approximation semantics and expressive predicate assignment for object-oriented programming
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Vistas: towards behavioural cloud control
Euro-Par 2010 Proceedings of the 2010 conference on Parallel processing
Verifying object-oriented programs with higher-order separation logic in Coq
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Specification patterns and proofs for recursion through the store
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Polymorphic type inference for scripting languages with object extensions
Proceedings of the 7th symposium on Dynamic languages
The loop formula based semantics of description logic programs
Theoretical Computer Science
Cloudscape: language support to coordinate and control distributed applications in the cloud
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Subtyping object and recursive types logically
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
A typed semantics of higher-order store and subtyping
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Object connectivity and full abstraction for a concurrent calculus of classes
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
About hoare logics for higher-order store
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
A fully abstract semantics for UML components
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Observability, connectivity, and replay in a sequential calculus of classes
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Executable interface specifications for testing asynchronous creol components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Denotational semantics for abadi and leino's logic of objects
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Subtyping first-class polymorphic components
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Towards a type system for analyzing javascript programs
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Java JR: fully abstract trace semantics for a core java language
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Prototypes with multiple dispatch: an expressive and dynamic object model
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Towards type inference for javascript
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Pricing American bond options using a penalty method
Automatica (Journal of IFAC)
Full abstraction for polymorphic pi-calculus
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Model typing for improving reuse in model-driven engineering
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Banshee: a scalable constraint-based analysis toolkit
SAS'05 Proceedings of the 12th international conference on Static Analysis
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Typing haskell with an attribute grammar
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Dimensions of composition models for supporting software evolution
SC'06 Proceedings of the 5th international conference on Software Composition
Relational semantics for higher-order programs
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Defining object-oriented execution semantics using graph transformations
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Abstract interface behavior of object-oriented languages with monitors
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Formal transformation of platform independent models into platform specific models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Bisimulations for untyped imperative objects
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
A type theoretic framework for formal metamodelling
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
ASPfun: A typed functional active object calculus
Science of Computer Programming
Object-oriented refinement and proof using behaviour functions
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
OO-motivated process algebra: a calculus for CORBA-like systems
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Simulating multiple inheritance and generics in Java
Computer Languages
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Alias Types and Effects for "Environment-aware" Computations
Fundamenta Informaticae
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching
Fundamenta Informaticae
Abstract Interpretation of an Object Calculus for Synchronization Optimizations
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Abstract Interpretation Against Races
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
Fundamenta Informaticae
Comparing Concepts of Object Petri Net Formalisms
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae
Electronic Notes in Theoretical Computer Science (ENTCS)
Dependent types for JavaScript
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
FJMIP: a calculus for a modular object initialization
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Efficient support of dynamic inheritance for class- and prototype-based languages
Journal of Systems and Software
Mixin’ Up the ML Module System
ACM Transactions on Programming Languages and Systems (TOPLAS)
Science of Computer Programming
Wyvern: a simple, typed, and pure object-oriented language
Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
What shall we tell the children (about inheritance)?
Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
A graph-based generic type system for object-oriented programs
Frontiers of Computer Science: Selected Publications from Chinese Universities
An object-oriented approach to language compositions for software language engineering
Journal of Systems and Software
The power of interoperability: why objects are inevitable
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Game semantics for interface middleweight Java
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Specification patterns for reasoning about recursion through the store
Information and Computation
Aliasing in Object-Oriented Programming
Separation logic for object-oriented programming
Aliasing in Object-Oriented Programming
A Coalgebraic Perspective on Logical Interpretations
Studia Logica
A hybrid class- and prototype-based object model to support language-neutral structural intercession
Information and Software Technology
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)
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
| Hi-index | 0.01 |
From the Publisher:Procedural languages are generally well understood. Their foundations have been cast in calculi that prove useful in matters of implementation and semantics. So far, an analogous understanding has not emerged for object-oriented languages. In this book the authors take a novel approach to the understanding of object-oriented languages by introducing object calculi and developing a theory of objects around them. The book covers both the semantics of objects and their typing rules, and explains a range of object-oriented concepts, such as self, dynamic dispatch, classes, inheritance, prototyping, subtyping, covariance and contravariance, and method specialization. Researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.