201 search results - page 1 / 41 » Declaring Numbers |
ENTCS
2008
13 years 5 months ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
DIWEB
2004
13 years 6 months ago
2004
Web site design and construction is characterised by the use of a number of poorly integrated technologies
POPL
2007
ACM
14 years 5 months ago
2007
ACM
The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a s...
APSEC
2002
IEEE
13 years 10 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
AMAST
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...