345 search results - page 1 / 69 » A Programming Logic for Sequential Java |
68
Voted
ESOP
1999
Springer
15 years 3 months ago
1999
Springer
IFL
2004
Springer
15 years 4 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...
108
click to vote
FMOODS
2003
15 years 11 days 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
15 years 4 months 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
15 years 13 days ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...