A Natural Implementation of Plural Semantics in Maude
| Autor: | Adrián Riesco, Juan Rodríguez-Hortalá |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Maude
Theoretical computer science General Computer Science Semantics (computer science) Computer science Programming language Natural rewriting Program transformation Language prototyping Term (logic) Plural semantics Semantics computer.software_genre Theoretical Computer Science Transformation (function) TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Confluence TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Rewriting logic Rewriting computer Interpreter Plural Computer Science(all) |
| Zdroj: | Electronic Notes in Theoretical Computer Science. 253(7):165-175 |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/j.entcs.2010.08.039 |
| Popis: | Recently, a new semantics for non-deterministic lazy functional(-logic) programming has been presented, in which the treatment of parameter passing was different to previous proposals like call-time choice (CRWL) and run-time choice (term rewriting). There, the semantics was formalized through the πCRWL calculus, and a program transformation to simulate πCRWL with term rewriting was proposed. In the present work we use the Maude system to implement that transformation and to get an interpreter for πCRWL, thus providing a first implementation of this new semantics. Besides, in order to improve the performance of the prototype, an implementation of the natural rewriting on-demand strategy has been developed, therefore taking the first steps towards obtaining a framework for on-demand evaluation of Maude system modules. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect