![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Sound Multi-party Business Protocols for Service Networks
Service networks comprise large numbers of long-running, highly dynamic complex end-to-end service interactions reflecting asynchronous message flows that typically transcend several organizations and span sev...
-
Chapter and Conference Paper
An Improved Continuation Call-Based Implementation of Tabling
Tabled evaluation has been proved an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. Several “native” implementations of tabled evaluation h...
-
Chapter and Conference Paper
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism
Most efficient implementations of parallel logic programming rely on complex low-level machinery which is arguably difficult to implement and modify. We explore an alternative approach aimed at taming that com...
-
Chapter
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a la...
-
Chapter and Conference Paper
Combining Static Analysis and Profiling for Estimating Execution Times
Effective static analyses have been proposed which infer bounds on the number of resolutions. These have the advantage of being independent from the platform on which the programs are executed and have been sh...
-
Chapter and Conference Paper
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns
The fun of teaching and learning concurrent programming is sometimes darkened by the difficulty in getting concurrent programs to work right. In line with other programming subjects in our department, we advoc...
-
Chapter and Conference Paper
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds of high-level information, typic...
-
Chapter
Tools for Search-Tree Visualisation: The APT Tool
The control part of the execution of a constraint logic program can be conceptually shown as a search-tree, where nodes correspond to calls, and whose branches represent conjunctions and disjunctions. This tre...
-
Chapter
Tools for Constraint Visualisation: The VIFID/TRIFID Tool
Visualisation of program executions has been used in applications which include education and debugging. However, traditional visualisation techniques often fall short of expectations or are altogether inadequ...
-
Chapter and Conference Paper
Relating data-parallelism and (and-) parallelism in logic programs
Much work has been done in the areas of and-parallelism and data-parallelism in Logic Programs. Both types of parallelism offer advantages and disadvantages: traditional (and-) parallel models offer generality...