Sciweavers

700 search results - page 31 / 140
» On Termination of Constraint Logic Programs
Sort
View
ISMB
1994
15 years 11 days ago
A Restriction Mapping Engine Using Constraint Logic Programming
Restrictionmappinggenerallyrequires the applicationof information from various digestions by restriction enzymesto find solution sets. Weuse boththe predicate calculusandconstrain...
Trevor I. Dix, Chut N. Yee
ISMB
1993
15 years 11 days ago
Protein Topology Prediction through Parallel Constraint Logic Programming
Dominic A. Clark, Christopher J. Rawlings, Jack Sh...
EACL
1989
ACL Anthology
15 years 6 days ago
JPSG Parser on Constraint Logic Programming
Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai
SLP
1990
121views more  SLP 1990»
15 years 6 days 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