6149 search results - page 432 / 1230 » Revealing the programming process |
145
click to vote
IFL
2005
Springer
16 years 12 days ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
224
click to vote
FMCO
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
140
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces the critical social theory of French sociologist Pierre Bourdieu. The objective of Bourdieu's theoretical framework is to uncover the buried organizatio...
174
click to vote
ISCAPDCS
2004
15 years 8 months ago
2004
We present a scheme to protect mobile code from malicious hosts. We propose a transformation scheme that changes the semantics of a program using pseudorandom I/O scrambling, cond...
168
click to vote
SPIESR
2004
15 years 8 months ago
2004
The production of closed captions is an important but expensive process in video broadcasting. We propose a method to generate highly accurate off-line captions efficiently. Our s...