Sciweavers

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

18

MFCS
1998
Springer

favoriteEmaildiscussreport

89views Theoretical Computer Science» more MFCS 1998»

Flow Logic for Imperative Objects

13 years 9 months ago

Flow Logic for Imperative Objects

Download www2.imm.dtu.dk

We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ways, and we show that the proofs deviate in major ways as regards their use of proof techniques like coinduction and Kripke-logical relations.

Flemming Nielson, Hanne Riis Nielson

Real-time Traffic

Imperative Object Calculus | MFCS 1998 | Minor Technical Ways | Structural Operational Semantics | Theoretical Computer Science |

claim paper

Related Content

» Imperative LF MetaProgramming

» Information Flow Analysis in Logical Form

» Test Case Generation for ObjectOriented Imperative Languages in CLP

» Unifying execution of imperative and declarative code

» A Logic of ObjectOriented Programs

» Interprocedural Control Flow Analysis

» Denotational Semantics for Abadi and Leinos Logic of Objects

» Diagrammatic Logic of Existential Graphs A Case Study of Commands

» Variable handling in timebased XML declarative languages

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1998
Where	MFCS
Authors	Flemming Nielson, Hanne Riis Nielson

Comments (0)