Intensional Investigations. (1998)
This thesis is about the theory and practice of intensional semantics. Traditional denotational models of programming languages are usually extensional in that they concern themselves only with...
Circuit Semantics and Intensional Expressivity (1996)
Stephen Brookes, Denis Dancanet
We introduce a new denotational semantics for functional programming languages and use it to reason about intensional aspects of programs. Circuit semantics associates a gate with each basic...
Circuit Semantics and Intensional Expressivity (1996)
Stephen Brookes, Denis Dancanet
We introduce a new denotational semantics for functional programming languages and use it to reason about intensional aspects of programs. Circuit semantics associates a gate with each basic...
Circuit Semantics and Intensional Expressivity (1996)
Stephen Brookes, Denis Dancanet
We introduce a new denotational semantics for functional programming languages and use it to reason about intensional aspects of programs. Circuit semantics associates a gate with each basic...
Programming Language Expressiveness and Circuit Complexity (1996)
Denis Dancanet, Stephen Brookes
This paper is a continuation of the work begun in [5] on establishing relative intensional expressiveness results for programming languages. Language L 1 is intensionally more expressive than L 2 ,...
Programming Language Expressiveness and Circuit Complexity (1996)
Denis Dancanet, Stephen Brookes
This paper is a continuation of the work begun in [5] on establishing relative intensional expressiveness results for programming languages. Language L 1 is intensionally more expressive than L 2 ,...
Programming Language Expressiveness and Circuit Complexity (1996)
Denis Dancanet, Stephen Brookes
This paper is a continuation of the work begun in [5] on establishing relative intensional expressiveness results for programming languages. Language L 1 is intensionally more expressive than L 2 ,...
An Intensional Investigation of Parallelism (1995)
Denotational semantics is usually extensional in that it deals only with input/output properties of programs by making the meaning of a program a function. Intensional semantics maps a program into...
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness (1995)
Stephen Brookes, Denis Dancanet
We call language L 1 intensionally more expressive than L 2 if there are functions which can be computed faster in L 1 than in L 2 . We study the intensional expressiveness of several languages: the...
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness (1995)
Stephen Brookes, Denis Dancanet
We call language L 1 intensionally more expressive than L 2 if there are functions which can be computed faster in L 1 than in L 2 . We study the intensional expressiveness of several languages: the...
An Intensional Investigation of Parallelism (Thesis Proposal) (1995)
Denotational semantics is usually extensional in that it deals only with input/output properties of programs by making the meaning of a program a function. Intensional semantics maps a program into...
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness (1995)
Stephen Brookes, Denis Dancanet
We call language L 1 intensionally more expressive than L 2 if there are functions which can be computed faster in L 1 than in L 2 . We study the intensional expressiveness of several languages: the...
An Intensional Investigation of Parallelism (Thesis Proposal) (1995)
Denotational semantics is usually extensional in that it deals only with input/output properties of programs by making the meaning of a program a function. Intensional semantics maps a program into...