A Graph-Based Operational Semantics of OO Programs

No abstract is available for this paper.

• Publication year

  2009

• Venue

  IEEE International Conference on Formal Engineering Methods

• Publication date

  2009-11-17

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-10373-5_18
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Amortised Memory Analysis Using the Depth of Data Structures

  2009cited by this paper
• Graph transformations for object-oriented refinement

  2009cited by this paper
• rCOS: Theory and Tool for Component-Based Model Driven Development

  2009cited by this paper
• Separation Logic Semantics for Communicating Processes

  2008cited by this paper
• Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

  2008cited by this paper
• A Theory of Pointers for the UTP

  2008cited by this paper
• Formal Verification of Object-Oriented Graph Grammars Specifications

  2007cited by this paper
• Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories

  2006cited by this paper
• Compositional Reasoning for Pointer Structures

  2006influential reference
• Defining Object-Oriented Execution Semantics Using Graph Transformations

  2006cited by this paper
• A machine-checked model for a Java-like language, virtual machine, and compiler

  2006cited by this paper
• rCOS: A refinement calculus of object systems

  2006cited by this paper
• Separation logic and abstraction

  2005cited by this paper
• On Logics of Aliasing

  2004cited by this paper
• Style-based refinement of dynamic software architectures

  2004cited by this paper
• A Semantics for Concurrent Separation Logic

  2004cited by this paper
• Algebraic reasoning for object-oriented programming

  2004cited by this paper
• Mixed Lazy/Strict Graph Semantics

  2004cited by this paper
• Translating Java Code to Graph Transformation Systems

  2004cited by this paper
• A Refinement Algebra for Object-Oriented Programming

  2003cited by this paper
• A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

  2003cited by this paper
• ECOOP 2003 – Object-Oriented Programming

  2003cited by this paper
• Confluence of Typed Attributed Graph Transformation Systems

  2002cited by this paper
• A graph transformation approach to software architecture reconfiguration

  2002cited by this paper
• Separation logic: a logic for shared mutable data structures

  2002cited by this paper
• Simple Ownership Types for Object Containment

  2001cited by this paper
• Alias burying: Unique variables without destructive reads

  2001cited by this paper
• Predicate transformer semantics of a higher-order imperative language with record subtyping

  2001influential reference
• ECOOP 2001 — Object-Oriented Programming

  2001cited by this paper
• Secure Synthesis of Code: A Process Improvement Experiment

  1999cited by this paper
• A Programming Logic for Sequential Java

  1999cited by this paper
• ECOOP’ 99 — Object-Oriented Programming

  1999cited by this paper
• A Weakest Precondition Semantics for an Object-Oriented Language of Refinement

  1999cited by this paper
• A Trace Model for Pointers and Objects

  1999influential reference
• Lazy Functional Algorithms for Exact Real Functionals

  1998cited by this paper
• Ownership types for flexible alias protection

  1998cited by this paper
• Spatial and Temporal Refinement of Typed Graph Transformation Systems

  1998cited by this paper
• Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations

  1997cited by this paper
• Graph Rewriting Semantics for Functional Programming Languages

  1996cited by this paper
• A Theory of Objects

  1996cited by this paper
• ECOOP ’96 — Object-Oriented Programming

  1996cited by this paper
• GRAPH PROCESSES

  1996cited by this paper
• Towards Alias-Free Pointers

  1996cited by this paper
• An Algorithm for Drawing General Undirected Graphs

  1989cited by this paper

• Verifying Interaction between Methods in Classes

  2015cites this paper
• Model-Driven Design of Object and Component Systems

  2014cites this paper
• rCOS: Defining Meanings of Component-Based Software Architectures

  2013influential citation
• A graph-based generic type system for object-oriented programs

  2013cites this paper
• Graph-Based Object-Oriented Hoare Logic

  2013cites this paper
• Graphs and Graph Transformations for Object-Oriented and Service-Oriented Systems

  2012cites this paper
• rCOS: a formal model-driven engineering method for component-based software

  2012cites this paper
• A framework for automated and certified refinement steps

  2011influential citation
• A Separation Logic for OO Programs

  2010cites this paper
• Abstraction of Object Graphs in Program Verification

  2010cites this paper
• A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs

  2010cites this paper
• AutoPA: Automatic Prototyping from Requirements

  2010cites this paper
• A separation logic for OO programs

  2010cites this paper
• Robustness testing for software components

  2010cites this paper