Search results for: Konstantinos Sagonas
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 3 > 287-306
Science of Computer Programming > 2017 > 147 > C > 109-134
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Code Quality Assurance > 119-133
Acta Informatica > 2017 > 54 > 8 > 789-818
Lecture Notes in Computer Science > Functional and Logic Programming > Compilation Techniques > 228-244
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Regular Papers > 299-317
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Session 10 > 337-357
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Logic Programming > 93-108
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Implementation > 106-121