10156 search results - page 131 / 2032 » Step by Step to Histories |
135
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
In this paper we investigate the problem of validating, with constant memory, streaming XML documents with respect to a DTD. Such constant memory validations can only be performed ...
191
Voted
IFL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
206
Voted
JSAI
2007
Springer
16 years 1 months ago
2007
Springer
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
144
click to vote
COMPSAC
2005
IEEE
16 years 20 days ago
2005
IEEE
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for det...
192
Voted
ASM
2004
ASM
16 years 13 days ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...