| 1 |
Semantic-Directed Clumping of Disjunctive Abstract States *
|
|
|
|
In: POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.inria.fr/hal-01648679 ; POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Structural abstract interpretation, A formal study using Coq
|
|
|
|
In: LERNET Summer School ; https://hal.inria.fr/inria-00329572 ; LERNET Summer School, Ana Bove and Jorge Sousa Pinto, Feb 2008, Piriapolis, Uruguay (2008)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Polymorphic specialization for ML
|
|
|
|
In: http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf (2002)
|
|
BASE
|
|
Show details
|
|
|
|
|
