2696 search results - page 443 / 540 » Semantic Abstraction and Anaphora |
157
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
184
click to vote
GEOS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
162
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
169
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
163
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...