206 search results - page 28 / 42 » Semantics, modularity, and rewriting logic |
101
Voted
TAPSOFT
1997
Springer
15 years 4 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
189
Voted
POPL
2007
ACM
16 years 28 days ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
99
Voted
POPL
1995
ACM
15 years 4 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...
96
Voted
AGP
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
102
Voted
CADE
2007
Springer
16 years 28 days ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...