Sciweavers

8766 search results - page 309 / 1754
» Functional logic programming
Sort
View
MSCS
2006
80views more  MSCS 2006»
15 years 6 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
135
Voted
TOCL
2008
75views more  TOCL 2008»
15 years 6 months ago
Inferring non-suspension conditions for logic programs with dynamic scheduling
Samir Genaim, Andy King
AMAI
2004
Springer
15 years 6 months ago
Programming Rational Agents in a Modal Action Logic
Matteo Baldoni, Alberto Martelli, Viviana Patti, L...