345 search results - page 36 / 69 » A Programming Logic for Sequential Java |
212
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
111
Voted
PDP
2005
IEEE
15 years 7 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
99
Voted
HPCA
2001
IEEE
16 years 2 months ago
2001
IEEE
The use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural require...
137
Voted
EDOC
2007
IEEE
15 years 6 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
114
click to vote
LISP
2008
15 years 2 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...