3323 search results - page 33 / 665 » Computational Semantics with Functional Programming |
164
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
96
Voted
RTA
2001
Springer
15 years 9 months ago
2001
Springer
141
click to vote
PEPM
1999
ACM
15 years 8 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
141
click to vote
LCTRTS
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...