Search for persons
X
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
1
A Rule-Based Approach for Designing and Composing Abstract ..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
2
Transforming Big-Step to Small-Step Semantics Using Interpr..:
, In:
?
3
Analysis, Verification and Transformation for Declarative P..
Lecture Notes in Computer Science, 13160
?
Prolog: The Next 50 Years; Lecture Notes in Computer Science ,
5
Types, Modes and so Much More – The Prolog Way:
, In:
?
Prolog: The Next 50 Years; Lecture Notes in Computer Science ,
6
Some Thoughts on How to Teach Prolog:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
11
Computing Abstract Distances in Logic Programs:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
13
A General Framework for Static Cost Analysis of Parallel Lo..:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
15