Formal model reduction

Authors:
Jérôme Feret
Affiliations:
Laboratoire d'Informatique de l'École Normale Supérieure, INRIA, CNRS
Venue:
SAS'11 Proceedings of the 18th international conference on Static analysis
Year:
2011

Citing 3
Cited 0

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains

Bioinformatics

Quantified Score

Hi-index	0.00

Visualization

Abstract