Personensuche
X
?
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation ,
1
A Historical Perspective on Program Transformation and Rece..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
2
Constrained Horn Clauses Satisfiability via Catamorphic Abs..:
, In:
?
Practical Aspects of Declarative Languages; Lecture Notes in Computer Science ,
3
Multiple Query Satisfiability of Constrained Horn Clauses:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
7
Removing Algebraic Data Types from Constrained Horn Clauses..:
, In:
?
Tests and Proofs; Lecture Notes in Computer Science ,
8
Property-Based Test Case Generators for Free:
, In:
?
10
Logic-Based Program Synthesis and Transformation
27th International Symposium, LOPSTR 2017, Namur, Belgium, ...
Lecture Notes in Computer Science ; 10855;Theoretical Computer Science and General Issues ; 10855;SpringerLink, Bücher
?
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation ,
14