imperative object-based calculus

124

FUIN
2008

100views more FUIN 2008»

Alias Types and Effects for "Environment-aware" Computations

15 years 2 months ago

We adapt the alias type technology to deal with primitives supporting environmentawareness (that is, the ability to adapt the behavior of according to the capabilities of the envi...

Ferruccio Damiani, Elena Giachino, Paola Giannini

claim paper

Read More »

123

click to vote

ICFP
2003
ACM

102views Programming Languages» more ICFP 2003»

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

16 years 2 months ago

Download users.dimi.uniud.it

Alberto Ciaffaglione, Luigi Liquori, Marino Micula...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers