3736 search results - page 95 / 748 » Hand-Writing Program Generator Generators |
102
click to vote
COR
2004
15 years 2 months ago
2004
Technical analysis is aimed at devising trading rules capable of exploiting short-term uctuations on the
CACM
2002
15 years 2 months ago
2002
112
click to vote
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciï...
108
click to vote
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...
122
click to vote
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...