СТ |
A Framework for Combining Analysis and Verification |
2000 |
Heintze N., Jaffar J., Voicu R. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
СТ |
An Abstract Machine for CLP (R) |
1992 |
Jaffar J., Michaylov S., Stuckey P., Yap R. |
|
|
|
SIGPLAN Notices |
13.07.1992 |
СТ |
Beyond Finite Domains |
1994 |
Jaffar J., Maher M. J., Stuckey P. J., Yap R.H. C. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
СТ |
Set Constraints and Set-Based Analysis |
1994 |
Heintze N., Jaffar J. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
СТ |
The CLP(R) Language and System |
1992 |
Jaffar J., Michaylov S., Stuckey J., Yap R.H. C. |
|
|
|
ACM Trans. Programming Languages and Systems |
06.09.1992 |