1932 search results - page 263 / 387 » Molecule-oriented programming in Java |
173
Voted
POPL
2001
ACM
16 years 29 days ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
ICSE
2003
IEEE-ACM
16 years 22 days ago
2003
IEEE-ACM
Collections of already developed programs are important resources for efficient development of reliable software systems. In this paper, we propose a novel method of ranking softw...
86
Voted
ICSE
2007
IEEE-ACM
16 years 22 days ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
106
Voted
ICSE
2007
IEEE-ACM
16 years 22 days ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
101
Voted
TOOLS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...