Sciweavers

561 search results - page 20 / 113
» Slicing of Constraint Logic Programs
Sort
View
108
Voted
ISMB
1993
15 years 5 months ago
Protein Topology Prediction through Parallel Constraint Logic Programming
Dominic A. Clark, Christopher J. Rawlings, Jack Sh...
103
Voted
EACL
1989
ACL Anthology
15 years 5 months ago
JPSG Parser on Constraint Logic Programming
Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai
SLP
1990
121views more  SLP 1990»
15 years 5 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
167
Voted
CORR
2006
Springer
126views Education» more  CORR 2006»
15 years 4 months ago
Logic programs with monotone abstract constraint atoms
Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...
103
Voted
ENTCS
2007
106views more  ENTCS 2007»
15 years 3 months ago
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
Sonia Estévez Martín, Antonio J. Fer...