Go backward to Semantics of Type Structures I
Go up to Top
Go forward to Declaration Abstractions

Semantics of Type Structures II

Type-structure
- [[ $P$ |- newint: intloc class]] $e$ $s$ = allocate( $s$ )
- [[ $P$ |-record D end: $P$ class]] $e$ $s$ =
  [[ $P$ |- D: $P$ dec]] $e$ $s$
- [[ $P$ |- X: $D$ class]] $e$ $s$ = $p(s)$
  where $p$ = [[ $P$ |- X: $D$ class]] $e$
Identifier-expr
- [[ $P$ |- I: $H$ ]] $e$ = $v$ ,
  where (I= $v$ ) in $e$
- [[ $P$ |- X.I: $H$ ]] $e$ = $v$ ,
  where (I= $v$ ) in [[ $P$ |- X: $P$ ₁]] $e$

Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine