3736 search results - page 709 / 748 » Hand-Writing Program Generator Generators |
138
click to vote
IJCSA
2006
15 years 2 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
141
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
104
click to vote
ML
2008
ACM
15 years 2 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
113
click to vote
ENVSOFT
2007
15 years 2 months ago
2007
The SISSI program implements a novel approach for the estimation of the optimal sample size in experimental data collection. It provides avisual evaluation system of sample size d...
212
Voted
LISP
2006
15 years 2 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...