8132 search results - page 210 / 1627 » Dependability, Abstraction, and Programming |
204
click to vote
PPCP
1993
15 years 10 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
174
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
191
click to vote
ADAEUROPE
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
162
click to vote
AVI
1998
15 years 8 months ago
1998
ABSTRACT. The paper presents SIAMOA, a system dedicated for design, debugging and visualisation of algorithms. It combines elements of an algorithm visualisation system and an envi...
134
click to vote
PTS
2007
15 years 8 months ago
2007
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs