1710 search results - page 60 / 342 » High-Level Programs and Program Conditions |
134
Voted
CEFP
2007
Springer
15 years 10 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....
127
click to vote
IPPS
2006
IEEE
15 years 10 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 ...
136
Voted
INTERSENSE
2006
ACM
15 years 10 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...
156
click to vote
CSMR
2005
IEEE
15 years 10 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...
117
click to vote
IFL
2005
Springer
15 years 10 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...