10575 search results - page 451 / 2115 » T2Script Programming Language |
157
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
216
click to vote
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
15 years 10 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
178
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
169
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
185
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...