Operational Semantics for Functional Logic Languages (2002)
| Venue: | Electronic Notes in Theoretical Computer Science |
| Citations: | 15 - 10 self |
BibTeX
@INPROCEEDINGS{Albert02operationalsemantics,
author = {Elvira Albert and Michael Hanus and Frank Huch and Javier Oliver and German Vidal},
title = {Operational Semantics for Functional Logic Languages},
booktitle = {Electronic Notes in Theoretical Computer Science},
year = {2002},
pages = {200--2},
publisher = {Elsevier Science Publishers}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential, for instance, to have appropriate language definitions in order to reason about programs and check the correctness of implementations. First, we define a "big-step" semantics in natural style to relate expressions and their evaluated results. Since this semantics is not su#cient to reason about the operational aspects of programs, we also define a "small-step" operational semantics covering the main features of functional logic languages. Finally, we demonstrate the equivalence of the "small-step" semantics and the natural semantics.
