Author: Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science
Publisher:
ISBN:
Category :
Languages : en
Pages : 18

Get Book Here

Book Description

Author: Peter Mosses
Publisher:
ISBN:
Category :
Languages : en
Pages :

Get Book Here

Book Description

Author: Willem-Paul de Roever
Publisher: Springer
ISBN: 3540492135
Category : Computers
Languages : en
Pages : 655

Get Book Here

Book Description
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

Author: Beth Helene Levy
Publisher:
ISBN:
Category :
Languages : en
Pages : 238

Get Book Here

Book Description

Author: Augusto Sampaio
Publisher: World Scientific
ISBN: 9789810223915
Category : Computers
Languages : en
Pages : 216

Get Book Here

Book Description
This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is achieved by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to compilation, together with the fact that the entire process is formalised within a single and uniform semantic framework of a procedural language and its algberaic laws. Furthermore, by mechanising the approach using the OBJ3 term rewriting system it is shown that a prototype compiler is developed as a byproduct of its own proof of correctness.

Author: Shahrzade Mazaher
Publisher:
ISBN:
Category : Compiling (Electronic computers)
Languages : en
Pages : 445

Get Book Here

Book Description

Author: Mads Tofte
Publisher: Springer Science & Business Media
ISBN: 364261504X
Category : Computers
Languages : en
Pages : 148

Get Book Here

Book Description
The OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen University, where I was a student at the time. In this course, he described a compiler generator, called CERES, which he was developing. I immediately felt attracted to the unusual combination of mathematical reasoning about com pilers and the small intricate building blocks that made up the running system. As I came to understand the system I discovered that within the existing mathematical framework one could express compiler generation as a special case of compilation; this led to a specification of a compiler generator which was bootstrapped on itself resulting in a machine-generated compiler generator. The purpose of this monograph is to describe the CERES system we produced in 1983-84 and compare it with other systems, includ ing more recent ones. Also, it is as relevant today as it was then to discuss the role of compiler generators as an aid in the design and implementation of programming languages; this I do in Chap. 5. This monograph is a strongly revised version of the cando scient.

Author: Bernard Robinet
Publisher: Springer Science & Business Media
ISBN: 9783540164425
Category : Computers
Languages : en
Pages : 388

Get Book Here

Book Description

Author: Jens Palsberg
Publisher: Springer Science & Business Media
ISBN: 3642041639
Category : Computers
Languages : en
Pages : 418

Get Book Here

Book Description
proceedings of the symposium. Somecontributorswereunabletoattendthe event.

Author: Neil D. Jones
Publisher: Springer
ISBN:
Category : Language Arts & Disciplines
Languages : en
Pages : 510

Get Book Here

Book Description