![](/img/cover-not-exists.png)
[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - Automatic inference of specifications using matching logic
Alpuente, María, Feliú, Marco A., Villanueva, AliciaYear:
2013
Language:
english
DOI:
10.1145/2426890.2426914
File:
PDF, 524 KB
english, 2013