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 Juliana Bowles & Harald Søndergaard Computers 06/09/2024

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024.

The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.

Read More
More Books from Juliana Bowles & Harald Søndergaard
From Data to Models and Back Juliana Bowles, Giovanna Broccia & Mirco Nanni
From Data to Models and Back
Logic-Based Program Synthesis and Transformation Juliana Bowles & Harald Søndergaard
Logic-Based Program Synthesis and Transformation
From Data to Models and Back Juliana Bowles, Giovanna Broccia & Roberto Pellungrini
From Data to Models and Back
Comments