31 citations · 68 across the 12 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 2 cited
On the correctness of a branch displacement algorithm
Jaap Boender, Claudio Sacerdoti Coen
The branch displacement problem is a well-known problem in assembler design. It revolves around the feature, present in several processor families, of having different instructions…
cs.LO2012★ 31 cited
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen +1
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm is…