345 search results - page 5 / 69 » A Programming Logic for Sequential Java |
122
click to vote
AAAI
2008
15 years 5 days ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
ENTCS
2006
14 years 11 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
FSEN
2009
Springer
15 years 5 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
108
click to vote
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...