Static Semantics with Montages (1998)
by
Sabine Glesner
,
Andreas Heberle
,
Welf Löwe
| Citations: | 1 - 0 self |
BibTeX
@MISC{Glesner98staticsemantics,
author = {Sabine Glesner and Andreas Heberle and Welf Löwe},
title = {Static Semantics with Montages},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We introduce a descriptive approach to define static semantics in the framework of Montages. It preserves readability and convenience of specification and guarantees efficient computation of the typing.
