3481 search results - page 160 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
163
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.
IBERAMIA
2004
Springer
15 years 3 months ago
2004
Springer
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
109
click to vote
AMAI
2004
Springer
14 years 10 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...