Towards Operational Semantics of Contexts in Functional Languages
Towards Operational Semantics of Contexts in Functional Languages
David Sands
In 6th
NWPT, pages 377-384
Abstract:
We consider operational semantics of contexts (terms with
holes) in the setting of lazy functional languages, with the aim of providing
a balance between operational and compositional reasoning, and a framework
for semantics-based program analysis and manipulation.
Comments
DIKU, University of Copenhagen.
Available as PostScript,
DVI.
![[BRICS symbol]](http://www.daimi.aau.dk/BRICS/GIF/BRICS/msymbol8mm.GIF)
BRICS WWW home page