3713 search results - page 132 / 743 » Constructing a Calculus of Programs |
117
click to vote
WMTE
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a working prototype of a mobile, programmable set of construction kit elements for children. SmartTiles are small, lightweight, independently programmable tile...
102
Voted
VIROLOGY
2008
15 years 3 months ago
2008
A malware mutation engine is able to transform a malicious program to create a different version of the program. Such mutation engines are used at distribution sites or in self-pro...
153
click to vote
CSMR
2007
IEEE
15 years 9 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
163
click to vote
FMCO
2004
Springer
15 years 8 months 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...
139
click to vote
AAECC
2006
Springer
15 years 3 months ago
2006
Springer
The contribution of this paper is an effective proof of the well-foundedness of MPO, as a term of the Calculus of Inductive Constructions. This proof is direct, short and simple. ...