1710 search results - page 175 / 342 » High-Level Programs and Program Conditions |
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
110
click to vote
APLAS
2000
ACM
15 years 6 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
108
click to vote
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper discusses a novel implementation of a workflow engine that supports service-based applications. The applications are defined according to the GAT model, which is an eve...
140
Voted
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...