Old Web
English
Sign In
Acemap
>
Paper
>
Abstract Interpretation of Sequential and Concurrent Logic Programs
Abstract Interpretation of Sequential and Concurrent Logic Programs
1991
Michael Codish
Keywords:
Programming language
Logic programming
Concurrent constraint logic programming
Functional logic programming
Concurrent object-oriented programming
Prolog
Horn clause
Temporal logic of actions
Computer science
Concurrent logic programming
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
5
Citations
NaN
KQI
[]