Go backward to The Copy Rule for Blocks
Go up to Top
Go forward to Summary (Syntax)
Record Introduction Principle
- The qualification principle is a record introduction principle.
- Locally defined abstractions:
- Type attributes are record types.
- Semantic values are records of bindings.
- Scope of bindings is crucial concept.
- Block construct:
- Block begin D in U end
- Expression with D do U
- Copy rule is indexing rule:
- with {I=V, ..., I=V} do U
[V/I, ..., V/I]U
- R.I = with R do I
Programming language consists of core language uniformly extended by
records and parameters!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: qualification.tex,v 1.2 1996/05/02 11:53:49 schreine Exp schreine