=ADD=
=reftype=
14
=number=
97-39
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1997/97-39.ps.gz
=note=
Master Thesis
=sponsor=
FWF project P11414-TEC
=year=
1997
=author=
Stoecher; Wolfgang
=title=
Designing and Prototyping a Functor Language Using Denotational Semantics
=month=
12
=keywords=
programming languages, functor, denotational semantics
=abstract=
Functors are parameterized modules. Especially for mathematical software
the concept of functors has increasing importance. We develop here
step by step the typing rules and denotational semantics of an imperative core 
language with a powerful type system, which is then 
extended by introducing modules and functors. Small example programs
are given and tested with straight forward implementations of the 
type checker written in PROLOG and an interpreter written in SML.
=location=
2
=owner=
2
=source=
3