Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development by

Lecture Notes in Computer Science

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

538 pages paperback

1 edition

nonfiction computer science mathematics science medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in gene...

Show More

Community Reviews

Loading...

Content Warnings

Loading...