8132 search results - page 277 / 1627 » Dependability, Abstraction, and Programming |
193
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
200
click to vote
IFL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
156
click to vote
JGO
2008
15 years 6 months ago
2008
Abstract In this paper a basic structural problem in Generalized Semi-Infinite Programming is solved. In fact, under natural and generic assumptions we show that at any (local) min...
185
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs fro...
171
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...