Cargando…

Semantics with Applications: An Appetizer

Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevan...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Riis Nielson, Hanne (Autor), Nielson, Flemming (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Undergraduate Topics in Computer Science,
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-1-84628-692-6
003 DE-He213
005 20220113033758.0
007 cr nn 008mamaa
008 100301s2007 xxk| s |||| 0|eng d
020 |a 9781846286926  |9 978-1-84628-692-6 
024 7 |a 10.1007/978-1-84628-692-6  |2 doi 
050 4 |a QA76.76.C65 
072 7 |a UMC  |2 bicssc 
072 7 |a COM051010  |2 bisacsh 
072 7 |a UMC  |2 thema 
082 0 4 |a 005.45  |2 23 
100 1 |a Riis Nielson, Hanne.  |e author.  |0 (orcid)0000-0002-2484-5580  |1 https://orcid.org/0000-0002-2484-5580  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Semantics with Applications: An Appetizer  |h [electronic resource] /  |c by Hanne Riis Nielson, Flemming Nielson. 
250 |a 1st ed. 2007. 
264 1 |a London :  |b Springer London :  |b Imprint: Springer,  |c 2007. 
300 |a XII, 274 p. 4 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Undergraduate Topics in Computer Science,  |x 2197-1781 
505 0 |a Operational Semantics -- More on Operational Semantics -- Provably Correct Implementation -- Denotational Semantics -- More on Denotational Semantics -- Program Analysis -- More on Program Analysis -- Axiomatic Program Verification -- More on Axiomatic Program Verification -- Further Reading. 
520 |a Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. Written out of a tradition that places special emphasis on operational semantics, denotational semantics and axiomatic semantics, this book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages Verifying program analyses that are part of more advanced implementations of programming languages Verifying security analyses Verifying useful program properties including information about execution time. This is an introductory text that should serve as an appetizer to the whole area of semantics with applications. 
650 0 |a Compilers (Computer programs). 
650 0 |a Computer science. 
650 1 4 |a Compilers and Interpreters. 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
700 1 |a Nielson, Flemming.  |e author.  |0 (orcid)0000-0001-7362-6176  |1 https://orcid.org/0000-0001-7362-6176  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9781848005990 
776 0 8 |i Printed edition:  |z 9781846286919 
830 0 |a Undergraduate Topics in Computer Science,  |x 2197-1781 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-1-84628-692-6  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)