674 search results - page 99 / 135 » Explanation Based Program Transformation |
137
Voted
WWW
2006
ACM
16 years 5 months ago
2006
ACM
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...
140
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
146
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
144
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
131
click to vote
ISSRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...