Total Books: 1 - 3 /3
Logic Based Program Synthesis and Transformation (vol. # 3573)
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Lire la suite
Logic Based Program Synthesis and Transformation (vol. # 3901)
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Lire la suite
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suite
Total Books: 1 - 3 /3
