345 search results - page 1 / 69 » A Programming Logic for Sequential Java |
ESOP
1999
Springer
13 years 11 months ago
1999
Springer
IFL
2004
Springer
14 years 24 days 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...
FMOODS
2003
13 years 8 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
ECOOP
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
FMOODS
2008
13 years 8 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...