All Questions
Tagged with denotational-semantics semantics
15 questions
4
votes
2
answers
279
views
Operational semantics and denotational semantics and describing the behaviour and structure of programs
I was under the impression that operational semantics describes the behaviour of a program (so it includes the implementation details / the implementation matters), whereas denotational semantics ...
- 171
1
vote
1
answer
155
views
Observational Equivalence of open terms in PCF
The notion of observational equivalence is rather intuitive, but formally I'm having some doubts in the particular case of open terms.
Lets consider the simple case where the terms ...
- 31
8
votes
2
answers
512
views
Precise definition of syntatic categories / syntatic domains in abstract syntax
I have read the introductory parts of a couple of books on programming language semantics (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt), and while I do understand what they mean by ...
- 235
1
vote
1
answer
1k
views
What is the relation/difference between axiomatic and denotational semantics one one side, and the data flow analysis(DFA) on the other sied?
I am supposed to write a small paper about DFA in OOP for a CS class in theory. But I am required to connect that (DFA) to axiomatic and denotational semantics!
I read few resources about axiomatic/...
- 113
1
vote
1
answer
175
views
Name a set of program variables
I am interested in the set of the variables that satisfy the following properties. I would like to find a proper name for them.
We assume that a program $\phi$ has a set of variables $v_0, \ldots, ...
- 73
8
votes
2
answers
464
views
Categorical semantics for non-monotonic logics?
Are there any categorical semantics for non-monotonic logics?
It appears that the simple answer to this is "No" since the obvious notion of composition fails for any model of a non-monotonic logic. ...
- 191
3
votes
2
answers
298
views
What requirements should a denotational semantics for a programming language satisfy to be correct?
We have a programming language and its denotational semantic,
like Tony Hoare's CSP with its syntax and denotational semantic
e.g. stable failure and UTP.
We want to extend the language (its ...
- 31
18
votes
2
answers
2k
views
Full Completeness vs Full Abstraction of a program translation
Compiler verification efforts often come down to proving the compiler fully abstract: that it preserves and reflects (contextual) equivalences.
Instead of providing full abstraction proofs, some ...
- 485
7
votes
0
answers
269
views
Types as theories
I am studying Goguen's paper Types as theories [1].
Based on Goguen's paper, are the following true?
Subsort inheritance provides a classification of values, every value of the sub-sort is a value of ...
- 179
10
votes
1
answer
2k
views
What is the difference between meaning and denotation?
In programming language semantics, it is often heard that people talking about meaning and denotation. They seem not to be the same. What is the difference? Is the former associated with ...
- 2,845
49
votes
7
answers
8k
views
What constitutes denotational semantics?
On a different thread, Andrej Bauer defined denotational semantics as:
the meaning of a program is a function of the meanings of its parts.
What bothers me about this definition is that it doesn't ...
- 2,717
39
votes
7
answers
10k
views
Books on programming language semantics
I've been reading Nielson & Nielson's "Semantics with Applications", and I really like the subject. I'd like to have one more book on programming language semantics -- but I really can get only ...
- 992
12
votes
1
answer
479
views
In domain theory, what can the extra structure present in metric spaces be used for?
Smyth's chapter in the handbook of logic in computer science and other references describe how metric spaces can be used as domains. I do understand that complete metric spaces give unique fixed ...
- 891
12
votes
3
answers
1k
views
What is a good Category Theory-Domain Theory dictionary?
When dealing with the domain theoretic categories (say CPO and $\omega$CPO), I frequently wish for a dictionary for the language of category theory in domain theory.
That is, given a concept, say ...
- 2,717
13
votes
0
answers
269
views
Generalizing limit-colimit coincidence to Scott-continuous adjunctions: any uses?
In Abramsky and Jung's 1994 handbook chapter on denotational semantics, after proving that the limit and colimit of expanding sequences exist and coincide, they have the following to say about ...
- 32.9k