Sciweavers

4370 search results - page 270 / 874
» Algebra of Logic Programming
Sort
View
78
Voted
EACL
1989
ACL Anthology
15 years 1 months ago
JPSG Parser on Constraint Logic Programming
Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai
77
Voted
SLP
1990
121views more  SLP 1990»
15 years 1 months ago
Analysis of Constraint Logic Programs
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
Kim Marriott, Harald Søndergaard
56
Voted
CACM
2010
122views more  CACM 2010»
15 years 23 days ago
Functional logic programming
Sergio Antoy, Michael Hanus