597 search results - page 30 / 120 » Formal Techniques for Java-Like Programs |
146
Voted
CCS
2005
ACM
15 years 7 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
111
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
102
click to vote
ADAEUROPE
2003
Springer
15 years 5 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
97
Voted
ENTCS
2006
15 years 2 months ago
2006
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
110
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...