9626 search results - page 404 / 1926 » Invariant Based Programming |
167
click to vote
IWPC
2003
IEEE
16 years 21 hour ago
2003
IEEE
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
172
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Syntactic analysis forms a foundation of many source analysis and reverse engineering tools. However, a single grammar is not always appropriate for all source analysis and manipu...
205
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
228
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
174
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...