HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Functional evaluation of natural semantics specifications

Abstract : Typol is a language to implement natural semantics inside the Centaur programming environment. We explain why natural semantics can be considered as a generalization of the attribute grammars formalism. This relationship suggests introducing in the Typol setting some concepts from the attribute grammars framework. With these concepts, we can provide specialized evaluators to some classes of Typol programs, instead of the general Prolog machine currently used to execute such programs. More precisely, we prove that under acceptable conditions, the unification process is no longer required and can be replaced by a simple pattern-matching mechanism. From this proof method, we deduce a functional implementation of Typol programs. We also propose a language construct called CondMatch, that makes it easier to automatically translate a Typol program into a Lisp function.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075340
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 6:00:25 PM
Last modification on : Friday, February 4, 2022 - 3:14:56 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 6:33:17 PM

Identifiers

  • HAL Id : inria-00075340, version 1

Collections

Citation

Isabelle Attali, Jacques Chazarain. Functional evaluation of natural semantics specifications. [Research Report] RR-1218, INRIA. 1990. ⟨inria-00075340⟩

Share

Metrics

Record views

61

Files downloads

52