Personensuche
X
?
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science ,
2
Optimizing Maude Programs via Program Specialization:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
3
Variant-Based Equational Anti-unification:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
7
$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance Syst..:
, In:
?
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation ,
14