Sciweavers

3973 search results - page 197 / 795
» Records for Logic Programming
Sort
View
MSCS
2006
80views more  MSCS 2006»
15 years 4 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
NGC
2006
Springer
15 years 4 months ago
Database Query Languages and Functional Logic Programming
Jesús Manuel Almendros-Jiménez, Anto...
102
Voted
TOCL
2008
75views more  TOCL 2008»
15 years 4 months ago
Inferring non-suspension conditions for logic programs with dynamic scheduling
Samir Genaim, Andy King