313 search results - page 1 / 63 » Static analysis for syntax objects |
106
click to vote
ICFP
2006
ACM
16 years 6 days ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
105
Voted
GPCE
2009
Springer
14 years 10 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
111
click to vote
LOPSTR
2007
Springer
15 years 6 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
121
Voted
ENTCS
2007
15 years 6 days ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
TOSEM
2002
14 years 12 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...