1781 search results - page 227 / 357 » Visualizing program execution using user abstractions |
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
FASE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
ICSM
2006
IEEE
14 years 3 months ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
EWSPT
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
ESOP
2006
Springer
14 years 21 days ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...