ICLP
12 years 8 months ago
2011 Springer 
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
ICLP
12 years 8 months ago
2011 Springer 
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
ICLP
12 years 8 months ago
2011 Springer 
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
ICLP
12 years 8 months ago
2011 Springer 
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
|
Automated Reasoning