6740 search results - page 334 / 1348 » Using Classification as a Programming Language |
168
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
122
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
120
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Domestic ubicomp applications often assume individual users will program and configure their technology in isolation, decoupled from complex domestic environments in which they ar...
106
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
114
click to vote
GG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...