1776 search results - page 274 / 356 » Using a Logic Programming Language with Persistence and Cont... |
124
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
105
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
116
Voted
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
161
Voted
FORTE
2009
15 years 12 days ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
135
Voted
POPL
2010
ACM
16 years 10 hour ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...