1882 search results - page 61 / 377 » Transformational Programming and Forests |
IFIP
1998
Springer
15 years 2 months ago
1998
Springer
Case studies made of multimedia document production highlight the need for a means of classifying and describing the transformations of media elements which make up this process. ...
APLAS
2001
ACM
15 years 1 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
DSL
2009
14 years 7 months ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
ICALP
2001
Springer
15 years 2 months ago
2001
Springer
Formal power series are an extension of formal languages. Recognizable formal power series can be captured by the so-called weighted finite automata, generalizing finite state ma...