|
СТ |
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study |
1996 |
Dawson S., Ramakrishnan C. R., Warren D. S. |
|
|
|
Proc. of the ACM SIGPLAN 96 Conf. on Programming Language Design and Implementation (PLDI) |
22.08.1997 |
|
СТ |
Practical Program Analysis Using General Purpose Logic Pragramming Systems - A Case Study |
1996 |
Dawson S., Ramakrishnan C. R., Waren D. S. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
|
СТ |
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs |
1995 |
Dawson S., Ramakrishnan C. R., Ramakrishnan I. V. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Deterministic Fault Injection of Distributed Systems |
1994 |
Dawson S., Jahanian F. |
Lecture Notes in Computer Science |
|
|
Theory and Practice in Distributed Systems |
27.08.1995 |
