|
СТ |
Abstract Interpretation for Concurrent Logic Languages |
1990 |
Codognet C., Codognet P., Corsini M. -M. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
|
СТ |
Symbolic Model Checking and Constraint Logic Programming: A Cross-Fertilization |
1994 |
Corsini M. -M., Rauzy A. |
|
|
|
Lecture Notes in Computer Science |
06.05.1994 |
|
СТ |
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains |
1993 |
Corsini M. -M., Musumbu K., Rauzy A., Le Charlier B. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
|
СТ |
The m-calculus over Finite Domains as an Abstract Semantics of Prolog |
1992 |
Corsini M. -M., Musumbu K., Rauzy A. |
|
|
|
BIGRE |
05.11.1992 |
