3713 search results - page 207 / 743 » Constructing a Calculus of Programs |
118
Voted
DAGSTUHL
2004
15 years 5 months ago
2004
Abstract. Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling, which limits the choice of available compilation techniques for such...
118
Voted
FUIN
2006
15 years 3 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
117
Voted
TCC
2009
Springer
16 years 4 months ago
2009
Springer
Existing definitions of program obfuscation do not rule out malleability attacks, where an adversary that sees an obfuscated program is able to generate another (potentially obfus...
136
Voted
ECAL
2007
Springer
15 years 9 months ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
136
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...