10575 search results - page 339 / 2115 » T2Script Programming Language |
136
click to vote
PLPV
2010
ACM
16 years 1 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
162
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
130
click to vote
ACTA
2007
15 years 4 months ago
2007
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran
153
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
129
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...