643 search results - page 74 / 129 » Semantic Determinism and Functional Logic Program Properties |
135
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
129
Voted
POPL
1995
ACM
15 years 7 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
245
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
116
Voted
ICDE
1993
IEEE
15 years 7 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
158
click to vote
APAL
2005
15 years 3 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...