Granicz, Adam and Zimmerman, Daniel M. and Hickey, Jason (2003) Rewriting UNITY. In: Rewriting Techniques and Applications. Lecture Notes in Computer Science. No.2706. Springer , Berlin, Heidelberg, pp. 138-147. ISBN 9783540402541. https://resolver.caltech.edu/CaltechAUTHORS:20190823-105107663
Full text is not posted in this repository. Consult Related URLs below.
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20190823-105107663
Abstract
In this paper we describe the implementation of the UNITY formalism as an extension of general-purpose languages and show its translation to C abstract syntax using PHOBOS, our generic front-end in the Mojave compiler. PHOBOS uses term rewriting to define the syntax and semantics of programming languages, and automates their translation to an internal compiler representation. Furthermore, it provides access to formal reasoning capabilities using the integrated MetaPRL theorem prover, through which advanced optimizations and transformations can be implemented or formal proofs derived.
| Item Type: | Book Section | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Related URLs: |
| |||||||||
| Additional Information: | © Springer-Verlag Berlin Heidelberg 2003. | |||||||||
| Series Name: | Lecture Notes in Computer Science | |||||||||
| Issue or Number: | 2706 | |||||||||
| DOI: | 10.1007/3-540-44881-0_11 | |||||||||
| Record Number: | CaltechAUTHORS:20190823-105107663 | |||||||||
| Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20190823-105107663 | |||||||||
| Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | |||||||||
| ID Code: | 98170 | |||||||||
| Collection: | CaltechAUTHORS | |||||||||
| Deposited By: | George Porter | |||||||||
| Deposited On: | 23 Aug 2019 18:11 | |||||||||
| Last Modified: | 16 Nov 2021 17:37 |
Repository Staff Only: item control page
