Add to ORKGLenient languages, such as Id Nouveau, have been proposed for programming parallel computers. These languages represent a compromise between strict and lazy languages. The operation of parallel languages is very complex; therefore a formal method for reasoning about their performance is desirable. This paper presents a non-standard denotational semantics for calculating the performance of lenient programs. The semantics is novel in its use of time and time-stamps
We give a compositional denotational semantics for a real-time distributed language, based on the li...
A new approach to monitoring the runtime behaviour of parallel programs will be presented. Our appro...
AbstractA denotational model is presented for the language POOL, a parallel object-oriented language...
Denotational semantics is usually extensional in that it deals only with input/output properties of ...
This thesis investigates the implementation of lazy functional programming languages on parallel mac...
: is a system for parallel evaluation of lazy functional programs implemented on a Sequent Symmetry....
. There are very few examples of the generation of efficient compilers from denotational specificati...
Abstract. Declarative parallel programs offer deterministic results, al-lowing the language implemen...
This paper focuses on the issue of modelling sequential composition in denotational linear time sema...
Abstract. Declarative parallel programs offer deterministic results, al-lowing the language implemen...
It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a ...
Recent work in real-time concurrency theory has largely been concerned with languages based on messa...
To describe the real-time behaviour of an Occam-like real-time language with concurrency and synchro...
This paper introduces a denotational semantics of a behavioral subset of VHDL. This subset is restri...
Formal techniques for specifying performance properties of programs (e.g., execution time) and for v...
We give a compositional denotational semantics for a real-time distributed language, based on the li...
A new approach to monitoring the runtime behaviour of parallel programs will be presented. Our appro...
AbstractA denotational model is presented for the language POOL, a parallel object-oriented language...
Denotational semantics is usually extensional in that it deals only with input/output properties of ...
This thesis investigates the implementation of lazy functional programming languages on parallel mac...
: is a system for parallel evaluation of lazy functional programs implemented on a Sequent Symmetry....
. There are very few examples of the generation of efficient compilers from denotational specificati...
Abstract. Declarative parallel programs offer deterministic results, al-lowing the language implemen...
This paper focuses on the issue of modelling sequential composition in denotational linear time sema...
Abstract. Declarative parallel programs offer deterministic results, al-lowing the language implemen...
It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a ...
Recent work in real-time concurrency theory has largely been concerned with languages based on messa...
To describe the real-time behaviour of an Occam-like real-time language with concurrency and synchro...
This paper introduces a denotational semantics of a behavioral subset of VHDL. This subset is restri...
Formal techniques for specifying performance properties of programs (e.g., execution time) and for v...
We give a compositional denotational semantics for a real-time distributed language, based on the li...
A new approach to monitoring the runtime behaviour of parallel programs will be presented. Our appro...
AbstractA denotational model is presented for the language POOL, a parallel object-oriented language...