Sciweavers

1179 search results - page 20 / 236
» Programming in Hybrid Constraint Languages
Sort
View
CP
2003
Springer
15 years 6 months ago
Constraints over Ontologies
François Laburthe
SCP
1998
138views more  SCP 1998»
15 years 27 days ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara