| id |
ndltd-NEU--neu-cj82n9249
|
| record_format |
oai_dc
|
| spelling |
ndltd-NEU--neu-cj82n92492021-05-27T05:11:19ZFlexible binding-safe programmingCurrent nominal systems for safely manipulating values with names, like Pure FreshML, only support simple binding structures for those names. As a result, few tools exist to safely manipulate code in those languages for which name problems are the most challenging. We address this by applying those nominal techniques to a richer specification system, inspired by attribute grammars. Our system has the expressive power of David Herman's λ<sub>m</sub>, but is a full-fledged programming system for any kind of metaprogramming.http://hdl.handle.net/2047/D20213100
|
| collection |
NDLTD
|
| sources |
NDLTD
|
| description |
Current nominal systems for safely manipulating values with names, like Pure FreshML, only support simple binding structures for those names. As a result, few tools exist to safely manipulate code in those languages for which name problems are the most challenging. We address this by applying those nominal techniques to a richer specification system, inspired by attribute grammars. Our system has the expressive power of David Herman's λ<sub>m</sub>, but is a
full-fledged programming system for any kind of metaprogramming.
|
| title |
Flexible binding-safe programming
|
| spellingShingle |
Flexible binding-safe programming
|
| title_short |
Flexible binding-safe programming
|
| title_full |
Flexible binding-safe programming
|
| title_fullStr |
Flexible binding-safe programming
|
| title_full_unstemmed |
Flexible binding-safe programming
|
| title_sort |
flexible binding-safe programming
|
| publishDate |
|
| url |
http://hdl.handle.net/2047/D20213100
|
| _version_ |
1719407147764154368
|
