|
СТ |
Polynomials for Proving Termination of Context-Sensitive Rewriting |
2004 |
Lucas S. |
|
|
|
Lecture Notes in Computer Science |
30.04.2004 |
|
СТ |
Abstract Diagnosis of Functional Programs |
2003 |
Alpuente M., Comini M., Escobar S., Falaschi M., Lucas S. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Specialization of Inductively Sequential Functional Logic Programs |
1999 |
Alpuente M., Hanus M., Lucas S., Vidal G. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages |
1999 |
Hanus M., Lucas S. |
|
|
|
Lecture Notes in Computer Science |
25.11.1999 |
|
СТ |
Transformations for Efficient Evaluations in Functional Programming |
1997 |
Lucas S. |
|
|
|
Lecture Notes in Computer Science |
05.09.1997 |
|
СТ |
Context-Sensitive Computations in Confluent Programs |
1996 |
Lucas S. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
|
СТ |
Building and Using a Highly Parallel Programmable Logic Array |
1990 |
Gokhale M., Holmes W., Korser A., Lucas S., Minnich R., Sweely D. |
|
|
|
Computer |
03.08.1991 |
