313 search results - page 1 / 63 » Static analysis for syntax objects |
115
Voted
ICFP
2006
ACM
16 years 1 months 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 ...
119
Voted
GPCE
2009
Springer
14 years 11 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...
120
Voted
LOPSTR
2007
Springer
15 years 7 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...
128
Voted
ENTCS
2007
15 years 1 months 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...
84
Voted
TOSEM
2002
15 years 22 days 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...