Articoli correlati a Semantics with Applications: An Appetizer
Sinossi
Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of 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. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer London
- Data di pubblicazione2010
- ISBN 10 1846286913
- ISBN 13 9781846286919
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine288
- Contatto del produttorenon disponibile
Compra usato
Condizioni: molto buonoZustand: Gut | Seiten: 274 | Sprache...
Visualizza questo articolo
EUR 12,85
EUR 9,90 per la spedizione da Germania a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 28,61
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per Semantics with Applications: An Appetizer
Foto dell'editore
Semantics with Applications: An Appetizer
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut | Seiten: 274 | Sprache: Englisch | Produktart: Bücher. Codice articolo 3587103/3
Quantità: 1 disponibili
Foto dell'editore
Semantics With Applications: An Appetizer (Pb)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-242356
Quantità: 7 disponibili
Foto dell'editore
SEMANTICS WITH APPLICATIONS: AN APPETIZER
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-73160
Quantità: 2 disponibili
Foto dell'editore
Semantics with Applications
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 288. Codice articolo 18288718
Quantità: 4 disponibili
Foto dell'editore
Semantics with Applications
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 288 Illus. Codice articolo 7591963
Quantità: 4 disponibili
Foto dell'editore
Semantics with Applications
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 288. Codice articolo 26288708
Quantità: 4 disponibili
Immagini fornite dal venditore
Semantics with Applications
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a rigorous introduction to the main approaches to formal semantics of programming languagesBreaks new ground by considering the validation of compilers, static program analysers, validation of security properties and techniques for estima. Codice articolo 4283034
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Semantics with Applications: An Appetizer
Editore:
Springer London Apr 2007, 2007
ISBN 10: 1846286913
ISBN 13: 9781846286919
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 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. 274 pp. Englisch. Codice articolo 9781846286919
Quantità: 2 disponibili
Foto dell'editore
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9781846286919_new
Quantità: Più di 20 disponibili
Foto dell'editore
Semantics with Applications: An Appetizer
Editore:
Springer London Ltd, 2007
ISBN 10: 1846286913
ISBN 13: 9781846286919
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 493. Codice articolo C9781846286919
Quantità: Più di 20 disponibili