Alias Types and Effects for "Environment-aware" Computations

Authors:
Ferruccio Damiani;Elena Giachino;Paola Giannini
Affiliations:
(Correspd.) Dipartimento di Informatica, Università di Torino, Torino, Italia. damiani@di.unito.it;Dipartimento di Informatica, Università di Torino, Torino, Italia;Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria, Italia
Venue:
Fundamenta Informaticae
Year:
2008

Citing 9
Cited 0

Operations on records

Theoretical aspects of object-oriented programming
A syntactic approach to type soundness

Information and Computation
On the relationship between classes, objects, and data abstraction

Theory and Practice of Object Systems - Third workshop on foundations of object-oriented languages (FOOL 3)
A Theory of Objects

A Theory of Objects
A lambda calculus of objects and method specialization

Nordic Journal of Computing
Alias Types

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
An Imperative, First-Order Calculus with Object Extension

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Alias Types for Recursive Data Structures

TIC '00 Selected papers from the Third International Workshop on Types in Compilation
JavaScript: The Definitive Guide

JavaScript: The Definitive Guide

Quantified Score

Hi-index	0.00

Visualization

Abstract

We adapt the alias type technology to dealwith primitives supporting environment-awareness (that is, the ability to adapt the behavior of an object according to the capabilities of the environment). In particular, we propose a type and effect system for an imperative object-based calculus with a primitive for discriminating the presence or absence of the object's attributes. Both the shape of the environment which guarantees the correct execution of expressions and the effect of expression evaluation on the environment are specified via suitable aliasing constraints.