Operational Methods In Semantics
World Scientific Publishing Co Pte Ltd
Will be published approx. on 30. May 2027
Book
Hardback
978-981-98-3329-0 (ISBN)
Description
The comprehensive book focuses on abstract models and basic ideas and results that relate to the operational semantics of both sequential and concurrent programming languages. The approach is to start with an abstract description of the computation steps of programs and then to build on top semantic equivalences, specification languages, and static analyses. This useful reference text benefits professionals, researchers, academics, postgraduate and graduate students in software engineering and theoretical computer science.
More details
Series
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
ISBN-13
978-981-98-3329-0 (9789819833290)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Author
Universite Paris Cite, France
Universite Paris Cite, France