206 search results - page 4 / 42 » Semantics, modularity, and rewriting logic |
161
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
172
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
155
Voted
ENTCS
2000
15 years 5 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
131
Voted
ENTCS
2007
15 years 5 months ago
2007
