ESOP
2005
Springer
13 years 10 months ago
2005
Springer
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
Mobile Ambients has been proposed by Cardelli and Gordon