1598 search results - page 39 / 320 » A Unified Computation Model for Functional and Logic Program... |
143
Voted
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
138
Voted
LATA
2009
Springer
15 years 11 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
152
click to vote
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
186
click to vote
WCFLP
2005
ACM
15 years 10 months ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
133
Voted
AAAI
2004
15 years 5 months ago
2004
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...