Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By ACM Press

9781605587271
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Optimizing generics is easy!

2010 ◽  
Author(s):  
José Pedro Magalhães ◽  
Stefan Holdermans ◽  
Johan Jeuring ◽  
Andres Löh

scholarly journals A3PAT, an approach for certified automated termination proofs

2010 ◽  
Author(s):  
Évelyne Contejean ◽  
Andrei Paskevich ◽  
Xavier Urbain ◽  
Pierre Courtieu ◽  
Olivier Pons ◽  
...  
Keyword(s):  
Termination Proofs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document