8232 search results - page 467 / 1647 » Dynamic Logic Programming |
206
click to vote
FASE
2001
Springer
16 years 2 days ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
217
click to vote
IADIS
2004
15 years 9 months ago
2004
Currently providing such features in mobile applications as the sending of lower-bandwidth images when a client device is in a low-bandwidth access area, the business logic to dis...
208
click to vote
ENTCS
2008
15 years 7 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
200
click to vote
JAR
2002
15 years 7 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
231
click to vote
ASWEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...