3323 search results - page 33 / 665 » Computational Semantics with Functional Programming |
SAC
2008
ACM
15 years 1 months ago
2008
ACM
144
click to vote
ASP
2005
Springer
15 years 8 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...
77
Voted
RTA
2001
Springer
15 years 6 months ago
2001
Springer
121
Voted
PEPM
1999
ACM
15 years 6 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...
125
Voted
LCTRTS
2000
Springer
15 years 6 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...