Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Alias Types and Effects for "Environment-aware" Computations

Damiani F., Giachino E., Giannini P.

Fundamenta Informaticae

2008

Vol. 88, nr 1-2

63-107

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.

Rank 2 Intersection for Recursive Definitions

Damiani F.

Fundamenta Informaticae

2007

Vol. 77, nr 4

451-488

Let |- be an intersection type system. We say that a term is |--simple (or just simple when the system |- is clear from the context) if system |- can prove that it has a simple type. In this paper we propose new typing rules and algorithms that are able to type (with rank 2 intersection types) recursive definitions that are not simple. Typing rules for assigning intersection types to (non-simple) recursive definitions have been already proposed in the literature. However, at the best of our knowledge, previous algorithms for typing recursive definitions in the presence of intersection types allow only simple recursive definitions to be typed. The rules and algorithms proposed in this paper are also able to type interesting examples of polymorphic recursion (i.e., recursive definitions rec {x=e} where different occurrences of x in e are used with different types). Moreover, the underlying techniques do not depend on particulars of rank 2 intersection, so they can be applied to other type systems.