Old Web
Data-flow analysis for constraint logic-based languages
1997
Keywords:
- Logic programming
- Constraint programming
- Satisfiability modulo theories
- Concurrent constraint logic programming
- Constraint logic programming
- Algorithm
- Constraint satisfaction
- Fifth-generation programming language
- Control flow analysis
- Theoretical computer science
- Mathematics
- Programming language
- Computer science
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
114
References
50
Citations
NaN
KQI