An analogue of strictness analysis is proposed for concurrent logic programming called schedule analysis. Schedule analysis deduces at compile-time a partial schedule for the processes of a program by partitioning the atoms of each clause into threads. Threads are totally ordered sets of atoms whose relative ordering is determined by a scheduler. Threads reduce scheduler activity and permit a wealth of traditional Prolog optimisations to be applied to the concurrent logic program. A framework for schedule analysis is proposed, formulated in terms of the operational semantics for a program, which builds from the notion of a data-dependence to define a procedure for creating threads. A safety result is presented stating the conditions un...
AbstractThe formalism of Temporal Logic is suggested as an appropriate tool for formalizing the sema...
In recent years, manufacturers of processors are focusing on parallel architectures in order to incr...
Developers of concurrent software need cost-effective analysis techniques to acquire confidence in t...
A compilation technique is proposed for concurrent logic programs called schedule analysis. Schedule...
Strictness analysis is crucial for the efficient implementation of the lazy functional languages. A ...
Serialisation analysis reduces the time a concurrent logic program spends communicating and scheduli...
The standard operational semantics of concurrent constraint logic languages is not confluent in the ...
Ordering optimisations are optimisations that can be applied to a con-current logic program when the...
AbstractThe standard operational semantics of concurrent constraint logic languages is not confluent...
The standard operational semantics of concurrent constraint logic languages is not confluent in the ...
The standard operational semantics of concurrent constraint logic languages is not confluent in the ...
A new and powerful approach to threading is proposed, that is designed to improve the responsiveness...
We propose a method for the timing analysis of concur-rent real-time programs with hard deadlines. W...
This dissertation describes research toward automatic complexity analysis of logic programs and its ...
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We...
AbstractThe formalism of Temporal Logic is suggested as an appropriate tool for formalizing the sema...
In recent years, manufacturers of processors are focusing on parallel architectures in order to incr...
Developers of concurrent software need cost-effective analysis techniques to acquire confidence in t...
A compilation technique is proposed for concurrent logic programs called schedule analysis. Schedule...
Strictness analysis is crucial for the efficient implementation of the lazy functional languages. A ...
Serialisation analysis reduces the time a concurrent logic program spends communicating and scheduli...
The standard operational semantics of concurrent constraint logic languages is not confluent in the ...
Ordering optimisations are optimisations that can be applied to a con-current logic program when the...
AbstractThe standard operational semantics of concurrent constraint logic languages is not confluent...
The standard operational semantics of concurrent constraint logic languages is not confluent in the ...
The standard operational semantics of concurrent constraint logic languages is not confluent in the ...
A new and powerful approach to threading is proposed, that is designed to improve the responsiveness...
We propose a method for the timing analysis of concur-rent real-time programs with hard deadlines. W...
This dissertation describes research toward automatic complexity analysis of logic programs and its ...
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We...
AbstractThe formalism of Temporal Logic is suggested as an appropriate tool for formalizing the sema...
In recent years, manufacturers of processors are focusing on parallel architectures in order to incr...
Developers of concurrent software need cost-effective analysis techniques to acquire confidence in t...