000 03167nam a22005055i 4500
001 978-1-84628-692-6
003 DE-He213
005 20161121230612.0
007 cr nn 008mamaa
008 100301s2007 xxk| s |||| 0|eng d
020 _a9781846286926
_9978-1-84628-692-6
024 7 _a10.1007/978-1-84628-692-6
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
100 1 _aNielson, Hanne Riis.
_eauthor.
245 1 0 _aSemantics with Applications: An Appetizer
_h[electronic resource] /
_cby Hanne Riis Nielson, Flemming Nielson.
264 1 _aLondon :
_bSpringer London,
_c2007.
300 _aXII, 274 p. 4 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aUndergraduate Topics in Computer Science,
_x1863-7310
505 0 _aOperational 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 _aSemantics 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 _aComputer science.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputer logic.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
700 1 _aNielson, Flemming.
_eauthor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781846286919
830 0 _aUndergraduate Topics in Computer Science,
_x1863-7310
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-84628-692-6
912 _aZDB-2-SCS
950 _aComputer Science (Springer-11645)
999 _c501204
_d501204