Building Certified Static Analysers by Modular Construction of Well-founded Lattices
Work
Year: 2008
Type: article
Abstract: This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq module functors for con... more
Author David Pichardie
Cites: 16
Cited by: 15
Related to: 10
FWCI: 2.518
Citation percentile (by year/subfield): 89.59
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Sustainable cities and communities
Open Access status: gold