1882 search results - page 180 / 377 » Transformational Programming and Forests |
164
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
156
click to vote
JLP
2007
15 years 5 months ago
2007
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...
182
click to vote
TII
2010
15 years 5 days ago
2010
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
149
click to vote
PLDI
1996
ACM
15 years 9 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
118
click to vote
EDBT
2009
ACM
16 years 7 days ago
2009
ACM
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...