1932 search results - page 270 / 387 » Molecule-oriented programming in Java |
131
click to vote
IGPL
2006
15 years 19 days ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
108
Voted
ENTCS
2007
15 years 18 days ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
111
click to vote
COMSIS
2004
15 years 14 days ago
2004
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
97
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
124
Voted
PADL
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...