1882 search results - page 94 / 377 » Transformational Programming and Forests |
ERSHOV
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Information flow exhibited by multithreaded programs is subtle because the attacker may exploit scheduler properties when deducing secret information from publicly observ...
WCFLP
2005
ACM
15 years 3 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
112
click to vote
TACAS
2001
Springer
15 years 2 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
FC
2010
Springer
15 years 1 months ago
2010
Springer
We present the first sound program source transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsa...
ENTCS
2008
14 years 10 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...