Practical Foundations for Programming Languages - Robert Harper
- Editura
- Cambridge University Press
- An apariție
- 2016
- ISBN
- 9781107150300
485,86 lei
Prețul include TVA.
Stoc epuizat
Livrare gratuita
Anunță-mă când revine în stoc
- Verificare colet la livrare
- Retur în 14 zile
- Plată securizată
- Livrare la EasyBox
Plătești cu:
Despre carte
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.
Detalii
- Autor
- Robert Harper
- An apariție
- 2016
- Numar pagini
- 512
- ISBN
- 9781107150300
Recenzii
Recenzii
Acest produs nu are inca recenzii. Fii primul care adauga o recenzie.
Doar utilizatorii înregistrați pot scrie recenzii. Autentifică-te sau creează-ți un cont
Întrebări frecvente
- Cât costă livrarea?
- Transportul este gratuit la comenzile de peste 300 lei.
- Pot verifica coletul la livrare?
- Da, coletul se poate deschide la livrare.
- Pot returna cartea?
- Da, în termen de 14 zile de la primire.
Îți recomandăm și
Intrebari si raspunsuri
Lasa o intrebare si in cel mai scurt timp vei primi un raspuns
