ESOP
2005
Springer
14 years 7 months ago
2005
Springer
ESOP
2005
Springer
14 years 7 months ago
2005
Springer
ESOP
2005
Springer
14 years 7 months ago
2005
Springer
ESOP
2005
Springer
14 years 7 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
14 years 7 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
14 years 7 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
14 years 7 months ago
2005
Springer
ESOP
2005
Springer
14 years 7 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
14 years 7 months ago
2005
Springer
Mobile Ambients has been proposed by Cardelli and Gordon