1636 search results - page 206 / 328 » Type-Theoretic Functional Semantics |
122
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...
138
click to vote
ICLP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
160
click to vote
ECOOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
114
click to vote
LCPC
2001
Springer
15 years 8 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
160
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...