manuel v hermenegildo
Programming Language Implementation and Logic Programming
TaschenbuchPrint on DemandInhaltsangabeConcurrent constraint programming.- Specifications using multiple-conclusion logic p...
Programming Languages: Implementations, Logics and Programs
TaschenbuchPrint on DemandThis book constitutes the proceedings of the Seventh International Symposium on Programming Langu...
Logic-Based Program Synthesis and Transformation
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed post-conference proceedings of the 26th Internation...
Practical Aspects of Declarative Languages
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 7th International Symposium on Practical As...
Static Analysis
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 30th International Symposium on Static Anal...
- 1