Sciweavers

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

7

FSTTCS
2004
Springer

favoriteEmaildiscussreport

94views Software Engineering» more FSTTCS 2004»

Refinement and Separation Contexts

13 years 8 months ago

Refinement and Separation Contexts

Download www.itu.dk

A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously describe the storage of a module and prove that separation contexts preserve such relations. We also show that a simulation theorem holds for separation contexts, while this is not the case for arbitrary client programs.

Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hear

Real-time Traffic

Arbitrary Client Programs | Client Programs | FSTTCS 2004 | Separation Contexts | Software Engineering |

claim paper

Related Content

» An IDFbased trace transformation method for communication refinement

» Evolving Specification Engineering

» Changing System Interfaces Consistently A New Refinement Strategy for CSPB

» Early Separation of Filter and Refinement Steps in Spatial Query Optimization

» Refinements and multidimensional separation of concerns

» General Refinement Part One Interfaces Determinism and Special Refinement

» On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems

» Refining the Structure of a Stochastic ContextFree Grammar

» Security in Context Analysis and Refinement of Software Architectures

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2004
Where	FSTTCS
Authors	Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hearn

Comments (0)