The formal semantics of programming languages an introduction
by
 
Winskel, G. (Glynn)

Title
: 
The formal semantics of programming languages an introduction

Author
: 
Winskel, G. (Glynn)

ISBN
: 
9780262291453

Publication Information
: 
Cambridge, Mass. : MIT Press, c1993.

Physical Description
: 
1 online resource (xviii, 361 p.) : ill.

Series
: 
Foundations of computing

Series Title
: 
Foundations of computing

Subject Term
: 
Programming languages (Electronic computers) -- Semantics.
 
Semántica.
 
programmation parallèle.
 
sémantique dénotationnelle.
 
lambda calcul.
 
récursion.
 
équation récursive.
 
théorie domaine.
 
théorème Gödel.
 
induction.
 
sémantique opérationnelle.
 
sémantique langage programmation.
 
langage programmation.
 
sémantique formelle.
 
Programmeertalen.
 
Semantiek.
 
Formale Semantik.

Electronic Access
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book220170-1001ONLINEElektronik Kütüphane