1001 search results - page 123 / 201 » Testing Formal Dialectic |
149
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
163
click to vote
MATES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...
138
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
132
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
157
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...