1210 search results - page 59 / 242 » Formal Techniques for Java Programs |
104
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
WCRE
1999
IEEE
15 years 6 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
117
click to vote
IFL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
133
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
120
click to vote
ENTCS
2008
15 years 2 months ago
2008
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...