Laws of Object-Orientation with Reference Semantics

Authors:
Leila Silva;Augusto Sampaio;Zhiming Liu
Affiliations:
-;-;-
Venue:
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Year:
2008

Citing 0
Cited 5

Abstraction of object graphs in program verification

MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Refactoring and representation independence for class hierarchies: extended abstract

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
Refactoring and representation independence for class hierarchies

Theoretical Computer Science
A theory of software product line refinement

Theoretical Computer Science
Comparing approaches to analyze refactoring activity on software repositories

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this tutorial we will consider abstract non-interference as a formal model for reasoning about language based security. Abstract non-interference generalises standard non-interference by modelling the information leaked as abstract properties of concrete ...