A confluent calculus of macro expansion and evaluation
Syntactic abbreviations or macros provide a powerful tool to increase the syntactic expressivity of programming languages. The expansion of these abbreviations can be modeled with substitutions. This paper presents an operational semantics of macro expansion and evaluation where substitutions are ha...
Saved in:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | report |
| Udgivet: |
1991
|
| Fag: | |
| Online adgang: | http://hdl.handle.net/20.500.12008/3410 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: A confluent calculus of macro expansion and evaluation
- On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders
- Covid-19 Los desafíos de la vacunación. Las macro decisiones basadas en riesgos
- LEVEL OF USE OF STANDARDIZED LANGUAGE IN NURSING PROCESS.
- QB4OLAP : Enabling business intelligence over semantic web data
- Vector representation of Internet domain names using Word embedding techniques
- A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis