1005 search results - page 7 / 201 » Operational Semantics and Program Equivalence |
65
Voted
ADAEUROPE
2008
Springer
15 years 3 months ago
2008
Springer
ENTCS
2007
14 years 9 months ago
2007
LPNMR
2004
Springer
15 years 2 months 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
15 years 3 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
15 years 28 days 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...