1005 search results - page 7 / 201 » Operational Semantics and Program Equivalence |
ADAEUROPE
2008
Springer
14 years 1 months ago
2008
Springer
ENTCS
2007
13 years 7 months ago
2007
LPNMR
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
LPNMR
2007
Springer
14 years 1 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
TAPSOFT
1991
Springer
13 years 11 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...