Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

By Robert Glück & Bishoksan Kafle Computers 15/10/2023

This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. 

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.

Read More
More Books from Robert Glück & Bishoksan Kafle
Margery Kempe Robert Glück & Colm Tóibín
Margery Kempe
About Ed Robert Glück
About Ed
Jack the Modernist Robert Glück
Jack the Modernist
Logic-Based Program Synthesis and Transformation Robert Glück & Bishoksan Kafle
Logic-Based Program Synthesis and Transformation
Comments