research
∙
09/05/2021
Proceedings of the 9th International Workshop on Verification and Program Transformation
The previous VPT 2020 workshop was organized in honour of Professor Albe...
research
∙
08/23/2021
On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract)
We have proved that for any pattern p the tail recursive program model o...
research
∙
08/24/2017
Verification of Programs via Intermediate Interpretation
We explore an approach to verification of programs via program transform...
research
∙
08/23/2017
Proceedings Fifth International Workshop on Verification and Program Transformation
This volume contains the proceedings of the Fifth International Workshop...
research
∙
05/18/2017