7892 search results - page 58 / 1579 » Programming with Models |
UM
2005
Springer
15 years 6 months ago
2005
Springer
211
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
VL
2002
IEEE
15 years 6 months ago
2002
IEEE
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
110
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
IWPC
2007
IEEE
15 years 7 months ago
2007
IEEE
A commonly used strategy to address the scalability challenge in object-oriented reverse engineering is to synthesize coarse-grained representations, such as package diagrams. How...