Denotational semantics: the Scott-Strachey approach to programming language theory

Book Cover
Author
Stoy, Joseph
Publisher
MIT Press
Publication Date
©1977
Language
English

Description

Loading Description...

Published Reviews

Subjects

Subjects
Denotational semantics
Lambda-Kalkül
Langages de programmation
Langages de programmation -- Sémantique
Langages de programmation - Sémantique
Programmeertalen
Programmiersprache
Programmverifikation
Semantik
Sémantique

More Details

ISBN
9780262690768
9780262191470

NoveList

Staff View

Loading Staff View.