2477 search results - page 216 / 496 » First-Order Interactive Programming |
IWMM
2009
Springer
14 years 5 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
HASKELL
2009
ACM
14 years 4 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
IEEEIAS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
APSEC
2005
IEEE
14 years 4 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...