2236 search results - page 94 / 448 » Language Independence and Language Tolerance in Logic Progra... |
179
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
172
click to vote
ILP
2007
Springer
16 years 15 days ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
168
click to vote
WWW
2006
ACM
16 years 9 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
162
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
181
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...