Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Denotational semantics
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==Further reading== ;Textbooks {{refbegin}} *{{Cite book |last1=Milne |first1=R.E. |title=A theory of programming language semantics |last2=Strachey |first2=C. |year=1976 |isbn=978-1-5041-2833-9 |author-link2=Christopher Strachey}} *{{Cite book |last=Gordon |first=M.J.C. |url=https://books.google.com/books?id=s4jTBwAAQBAJ |title=The Denotational Description of Programming Languages: An Introduction |date=2012 |publisher=Springer |isbn=978-1-4612-6228-2 |author-link=Michael J. C. Gordon |orig-date=1979}} *{{Cite book |last=Stoy |first=Joseph E. |title=Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics |publisher=MIT Press |year=1977 |isbn=978-0-262-19147-0 |author-link=Joe Stoy}} (A classic if dated textbook.) *{{Cite book |last=Schmidt |first=David A. |title=Denotational semantics: a methodology for language development |publisher=Allyn & Bacon |year=1986 |isbn=978-0-205-10450-5}} **out of print now; free electronic version available: {{Cite book |last=Schmidt |first=David A. |url=https://people.cs.ksu.edu/~schmidt/text/densem.html |title=Denotational Semantics: A Methodology for Language Development |publisher=Kansas State University |year=1997 |orig-date=1986}} *{{Cite book |last=Gunter |first=Carl |title=Semantics of Programming Languages: Structures and Techniques |publisher=MIT Press |year=1992 |isbn=978-0-262-07143-7}} *{{Cite book |last=Winskel |first=Glynn |title=Formal Semantics of Programming Languages |publisher=MIT Press |year=1993 |isbn=978-0-262-73103-4}} *{{Cite book |last=Tennent |first=R.D. |title=Semantic Structures |publisher=Oxford University Press |year=1994 |isbn=978-0-19-853762-5 |editor-last=Abramsky |editor-first=S. |series=Handbook of logic in computer science |volume=3 |pages=169–322 |chapter=Denotational semantics |ref={{harvid|Abramsky|Gabbay|Maibaum|1994}} |editor-last2=Gabbay |editor-first2=Dov M. |editor-last3=Maibaum |editor-first3=T.S.E.}} *{{Cite book |last1=Abramsky |first1=S. |title={{harvnb|Abramsky|Gabbay|Maibaum|1994}} |last2=Jung |first2=A. |year=1994 |chapter=Domain theory |author-link=Samson Abramsky |chapter-url=http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf}} *{{Cite book |last1=Stoltenberg-Hansen |first1=V. |url=https://archive.org/details/mathematicaltheo0000stol |title=Mathematical Theory of Domains |last2=Lindström |first2=I. |last3=Griffor |first3=E.R. |date=1994 |publisher=Cambridge University Press |isbn=978-0-521-38344-8 |url-access=registration}} {{refend}} ; Lecture notes {{refbegin}} *{{Cite web |last=Winskel |first=Glynn |title=Denotational Semantics |url=http://www.cl.cam.ac.uk/~gw104/dens.pdf |publisher=University of Cambridge}} {{refend}} ;Other references {{refbegin}} *{{Cite thesis |last=Greif |first=Irene |title=Semantics of Communicating Parallel Processes |date=August 1975 |degree=PhD |publisher=Massachusetts Institute of Technology |url=https://dspace.mit.edu/bitstream/handle/1721.1/57710/02200859-MIT.pdf |series=Project MAC |id=ADA016302}} *{{Cite journal |last=Plotkin |first=G.D. |author-link=Gordon Plotkin |year=1976 |title=A powerdomain construction |journal=SIAM J. Comput. |volume=5 |issue=3 |pages=452–487 |citeseerx=10.1.1.158.4318 |doi=10.1137/0205035}} *{{Cite book |last=Dijkstra |first=Edsger W. |title=A Discipline of Programming |date=1976 |isbn=0-13-215871-X |series=Prentice-Hall series in automatic computation |location=Englewood Cliffs, N.J. |oclc=1958445 |author-link=Edsger Dijkstra}} *{{Cite book |last1=Apt |first1=Krzysztof R.|author-link1=Krzysztof R. Apt |title=Exercises in denotational semantics |last2=de Bakker |first2=J. W. |date=1976 |publisher=Mathematisch Centrum |series=Afdeling Informatica |location=Amsterdam |language=English |oclc=63400684}} *{{Cite journal |last=De Bakker |first=J.W. |date=1976 |title=Least Fixed Points Revisited |journal=Theoretical Computer Science |language=en |volume=2 |issue=2 |pages=155–181 |doi=10.1016/0304-3975(76)90031-1 |doi-access=free}} *{{Cite journal |last=Smyth |first=Michael B. |year=1978 |title=Power domains |journal=J. Comput. Syst. Sci. |volume=16 |pages=23–36 |doi=10.1016/0022-0000(78)90048-X |doi-access=free}} *{{Cite book |last1=Francez |first1=Nissim |title=Semantics of nondeterminism, concurrency, and communication |last2=Hoare |first2=C.A.R. |last3=Lehmann |first3=Daniel |last4=de Roever |first4=Willem-Paul |date=December 1979 |work=Journal of Computer and System Sciences |isbn=978-3-540-08921-6 |series=Lecture Notes in Computer Science |volume=64 |pages=191–200 |doi=10.1007/3-540-08921-7_67 |hdl=1874/15886}} *{{Cite book |last1=Lynch |first1=Nancy |title=Semantics of concurrent computation: proceedings of the international symposium, Évian, France, July 2-4, 1979 |last2=Fischer |first2=Michael J. |publisher=Springer |year=1979 |isbn=978-3-540-09511-8 |editor-last=Kahn |editor-first=G. |chapter=On describing the behavior of distributed systems |ref={{harvid|Kahn|1979}} |author-link=Nancy Lynch |author-link2=Michael J. Fischer |chapter-url=https://books.google.com/books?id=lLgqAQAAIAAJ}} *{{Cite book |last=Schwartz |first=Jerald |title={{harvnb|Kahn|1979}} |year=1979 |chapter=Denotational semantics of parallelism}} *{{Cite book |last=Wadge |first=William |title={{harvnb|Kahn|1979}} |year=1979 |chapter=An extensional treatment of dataflow deadlock}} *{{Cite book |last=Back |first=Ralph-Johan |title=Automata, Languages and Programming |chapter-url=https://link.springer.com/chapter/10.1007%2F3-540-10003-2_59 |chapter=Semantics of unbounded nondeterminism |date=1980 |publisher=Springer |isbn=978-3-540-39346-7 |editor-last=de Bakker |editor-first=Jaco |series=Lecture Notes in Computer Science |volume=85 |location=Berlin, Heidelberg |pages=51–63 |language=en |doi=10.1007/3-540-10003-2_59 |oclc=476017025 |url=https://ir.cwi.nl/pub/27111 |author-link=Ralph-Johan Back |editor-last2=van Leeuwen |editor-first2=Jan}} *{{Cite book |last=Park |first=David |title=Abstract Software Specifications |chapter-url=http://link.springer.com/10.1007/3-540-10007-5_47 |chapter=On the semantics of fair parallelism |series=Lecture Notes in Computer Science |date=1980 |publisher=Springer Berlin Heidelberg |isbn=978-3-540-10007-2 |editor-last=Bjøorner |editor-first=Dines |volume=86 |location=Berlin, Heidelberg |pages=504–526 |doi=10.1007/3-540-10007-5_47|url=http://wrap.warwick.ac.uk/59429/1/WRAP_Park_cs-rr-031.pdf }} *{{Cite book |last=Allison |first=L. |url=https://books.google.com/books?id=uIdF11msK58C |title=A Practical Introduction to Denotational Semantics |publisher=Cambridge University Press |year=1986 |isbn=978-0-521-31423-7}} *{{Cite journal |last1=America |first1=P. |last2=de Bakker |first2=J. |last3=Kok |first3=J.N. |last4=Rutten |first4=J. |year=1989 |title=Denotational semantics of a parallel object-oriented language |url=https://ir.cwi.nl/pub/1602 |journal=Information and Computation |volume=83 |issue=2 |pages=152–205 |doi=10.1016/0890-5401(89)90057-6|s2cid=2405175 |doi-access=free }} *{{Cite book |last=Schmidt |first=David A. |title=The Structure of Typed Programming Languages |publisher=MIT Press |year=1994 |isbn=978-0-262-69171-0}} {{refend}}
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)