International Symposium on Logic-based Program Synthesis and Transformation
LOPSTR
C
CORE rank
CORE rank (raw)
C
Fields of research
Theory of Computation · Software Engineering
Papers indexed
582
1991–2025
Papers per year
199127 peak2025
Most published authors
LOPSTR papers
582 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 1991 | Automated Translation of Occam to a Concurrent Logic Language. | Matthew M. Huntbach |
| 1991 | Schema-Based Transfomations of Logic Programs. | Norbert E. Fuchs, Markus P. J. Fromherz |
| 1991 | Towards Stepwise, Schema-guided Synthesis of Logic Programms. | Pierre Flener, Yves Deville |
| 1991 | Speed-up Transformations of Logic Programs by Abstraction and Learning. | Jutta Eusterbrock |
| 1991 | Non-Determinism and Lazy Evaluation in Logic Programming. | Sergio Antoy |
| 1991 | Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract). | Yamine At Ameur |
| 1991 | On Using Mode Input-output for Transforming Logic Programs. | Francis Alexandre, Khaled Bsaes, Alain Qur |
576–582 of 582← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing