2696 search results - page 373 / 540 » Semantic Abstraction and Anaphora |
180
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
174
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
173
click to vote
ESSLLI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...
165
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
176
click to vote
IFL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...