1710 search results - page 60 / 342 » High-Level Programs and Program Conditions |
CEFP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...
INTERSENSE
2006
ACM
14 years 2 months ago
2006
ACM
— There is growing interest in the networked sensing community in the technique of macroprogramming, where the end-user can design a system using a high level description without...
CSMR
2005
IEEE
14 years 1 months ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
IFL
2005
Springer
14 years 1 months ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...