MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Modular Approach to Denotational Semantics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Modular Semantic Specifications to Interpreter Implementation in C++
by Viswanathan Vaidyanathan — 1996 — in Proceedings of 34th Annual ACM SouthEast Conference
… informal descriptions of the language. We use a denotational semantics approach [10] to represent…
Cited by 1 (0 self) – Add To MetaCart

An algebraic view of program composition
by Pietro Cenciarelli — 1998 — Algebraic Methodology and Software Technology, number 1548 in Lect. Notes Comp. Sci
… of program constructs under model extensions, thus supporting a modular approach to denotational semantics…
Cited by 1 (0 self) – Add To MetaCart

Compiling Monads
by Olivier Danvy, Jürgen Koslowski, Karoline Malmkjær, Karoline Malmkjaer — 1991
… and output, and non-determinism, to name a few [18]. Monads can also be used for a modular approach…
Cited by 9 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB