Incremental Analysis of Logic Programs with Assertions and Open Predicates

von Garcia-Contreras, Isabel
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)

Static analysis : 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings

Veröffentlicht 2023

Towards Incremental and Modular Context-Sensitive Analysis

von Garcia-Contreas, Isabel
Veröffentlicht in International Conference on Logic Programming (34. : 2018 : Oxford) Technical communications of the 34th International Conference on Logic Programming (2018)

Testing Your (Static Analysis) Truths

von Casso, Ignacio
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

An Integrated Approach to Assertion-Based Random Testing in Prolog

von Casso, Ignacio
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)

Practical aspects of declarative languages : 23rd international symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021 : proceedings

Veröffentlicht 2021

Towards Static Performance Guarantees for Programs with Run-Time Checks

von Klemen, Maximiliano
Veröffentlicht in International Conference on Logic Programming (34. : 2018 : Oxford) Technical communications of the 34th International Conference on Logic Programming (2018)

Computing Abstract Distances in Logic Programs

von Casso, Ignacio
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)

A General Framework for Static Cost Analysis of Parallel Logic Programs

von Klemen, Maximiliano
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)