Transitions and Trees : an Introduction to Structural Operational Semantics.

A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Hüttel, Hans
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2010.
Temas:
Programming languages (Electronic computers) > Semantics.
Langages de programmation > Sémantique.
COMPUTERS > Programming Languages > General.
Acceso en línea:Texto completo
Descripción
Sumario:A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use.
Notas:7.5.1 The informal description of call-by-name.
Descripción Física:1 online resource (292 pages)
Bibliografía:Includes bibliographical references and index.
ISBN:9781139778756
1139778757
9781139775717
1139775715
113978174X
9781139781749
9780511840449
0511840446
1316086712
9781316086711
1107253330
9781107253339
1139777238
9781139777230

Ejemplares similares