Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

26

FM
2009
Springer

favoriteEmaildiscussreport

118views Formal Methods» more FM 2009»

Abstract Object Creation in Dynamic Logic

14 years 5 months ago

Abstract Object Creation in Dynamic Logic

Download i12www.ira.uka.de

Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherlands 3Christian-Albrechts-University Kiel, Germany KeY Symposium Speyer, 2009 Ahrendt, Frank S. de Boer, Immo Grabe Abstract Object Creation in Dynamic Logic

Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe

Real-time Traffic

Dynamic Logic | FM 2009 | Immo Grabe3 1Chalmers | Natural Language Processing | Object Creation |

claim paper

Related Content

» Who is Pointing When to Whom

» Equations for Describing Dynamic Nets of Communicating Systems

» Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures

» Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients

» Semantics of ObjectOriented Data Models The Evolving Algebra Approach

» A SyntaxDirected Hoare Logic for ObjectOriented Programming Concepts

» RAFDA Middleware Supporting the Separation of Application Logic from Distribution Policy

» RAFDA A PolicyAware Middleware Supporting the Flexible Separation of Application Logic fro...

» Materialization and Its Metaclass Implementation

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	FM
Authors	Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe

Comments (0)