3090 search results - page 199 / 618 » On Testing Answer-Set Programs |
157
click to vote
ECLIPSE
2006
ACM
16 years 7 days ago
2006
ACM
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...
163
click to vote
PPDP
2009
Springer
16 years 24 days ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
174
click to vote
FOAL
2009
ACM
16 years 24 days ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
157
click to vote
PLDI
2006
ACM
16 years 6 days ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
145
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...