6201 search results - page 368 / 1241 » Implementation of Axiomatic Language |
184
click to vote
PADL
2005
Springer
16 years 9 days ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
177
click to vote
RELMICS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
168
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
The constant increase in use of geographic data in different application domains has resulted in large amounts of data stored in spatial databases and in the desire of data mining....
219
click to vote
MOZ
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
176
click to vote
VL
2003
IEEE
16 years 3 days ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...