The Formal Semantics of Programming Languages: An Introduction, Paperback/Glynn Winskel

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel’s incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs.Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types – one of the more advanced parts of the book – relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs.

SKU: 0586c88f-7216-4b99-bcc1-661bf3fca726 Categorii: , , Etichete: ,

Descriere

The Formal Semantics of Programming Languages: An Introduction, Paperback/Glynn Winskel

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel’s incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs.Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types – one of the more advanced parts of the book – relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs.

Online The Formal Semantics of Programming Languages: An Introduction, Paperback/Glynn Winskel

Plata produse

Plata online cu cardul sau la destinație ramburs in funcție de produs.

Plata cu cardul de credit

Dacă alegeți să cumpărați prin metoda de plată cu cardul de credit, în pagina Checkout va trebui să selectați între metodele de plată cu cardul de credit și apoi faceți clic pe „Plasați comanda” pentru a introduce detaliile cardului și pentru a efectua plata.

Plata la livrare

Rambursul la curier se plătește în cash (exclusiv în RON) la livrarea coletului.

Plata în rate pentru comenzile plasate online

Livrare

Livrare produse: Transport în toată Romania la domiciliu sau oriunde ai nevoie.

expediere prin curier,
expediere prin curier cu ramburs;
ridicare personală din Pick Up Points/pachetomate, easybox.

Retur The Formal Semantics of Programming Languages: An Introduction, Paperback/Glynn Winskel

Drept de retur in conformitate cu art.9 alin.1 din Ordonanță nr.34/2014 privind drepturile consumatorilor

Declinare de responsabilitate

acest site nu poate garanta exactitatea completă a informațiilor afișate pe acest site și nici furnizarea în totalitate a informațiilor de către comercianți. Drept urmare, datorită naturii activităților acestui site ca fiind un promotor al unor firme terțe, în cazul unor discrepanțe între informațiile afișate pe site-ul sau anunțurile acestui site și cele afișate pe site-ul comerciantului, acesta din urmă va predomina. Autorizațiile legale pentru comercializare, originalitatea produselor cât și alte demersuri legale necesare pentru comercializare revin exclusiv în sarcina comerciantului. Prețurile afișate includ toate taxele, preț inclusiv TVA.

Informații suplimentare

Brand