Semantics with Applications: A Formal Introduction

Livro digital

Título:
Semantics with Applications: A Formal Introduction

Autor:
Hanne Riis Nielson, Flemming Nielson

Categoria:
Tecnologia > Geral

Tags:
Métodos FormaisFundamentos da Computação

Pessoa doadora:
Raffaello D. N.

Sinopse:
Formal semantics becomes more useful when its major traditions can be compared on the same language. Hanne Riis Nielson and Flemming Nielson develop operational, denotational, and axiomatic approaches around the While language, beginning with expression semantics and properties before deriving natural and structural operational rules. The sequence connects theory to implementation: an abstract machine and a provably correct translation lead into fixed-point foundations for denotational semantics, followed by static program analysis and axiomatic verification. Equivalence results link the approaches, while extensions cover blocks, procedures, scope, locations, continuations, exceptions, bounded iteration, soundness, completeness, and exact execution-time assertions. This is an advanced, proof-oriented introduction that refuses to treat semantic methods as isolated toolkits. Readers gain a unified view of how language meaning supports compiler correctness, program analysis, and verification, reinforced by notation reviews, Miranda implementations, formal rule tables, proofs, and references for deeper study.