Extracting a data flow analyser in constructive logic-Reference-Cited by-同舟云学术

Extracting a data flow analyser in constructive logic

Published:2005-09 Issue:1 Volume:342 Page:56-78
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Cachera David,Jensen Thomas,Pichardie David,Rusu Vlad

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. G. Barthe, G. Dufay, M. Huisman, S.M. de Sousa, Jakarta: a toolset for reasoning about Java Card, in: Proc. e-SMART’01, Lecture Notes in Computer Science, Vol. 2140, Springer, Berlin, 2001.

2. G. Barthe, G. Dufay, L. Jakubiec, B. Serpette, S.M. de Sousa, A formal executable semantics of the Java Card platform, in: Proc. ESOP’01, Lecture Notes in Computer Science, Vol. 2028, Springer, Berlin, 2001.

3. Y. Bertot, Formalizing a JVML Verifier for Initialization in a Theorem Prover, in: Proc. CAV’01, Lecture Notes in Computer Science, Vol. 2102, Springer, Berlin, 2001.

4. Model ckecking security properties of control flow graphs;Besson;J. Comput. Secur.,2001

5. D. Cachera, T. Jensen, D. Pichardie, V. Rusu, Extracting a data flow analyser in constructive logic, in: Proc. ESOP’04, Lecture Notes in Computer Science, Vol. 2986, Springer, Berlin, 2004, pp. 385–400.

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Skeletal semantics and their interpretations;Proceedings of the ACM on Programming Languages;2019-01-02

2. Certified Information Flow Analysis of Service Implementations;2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA);2018-11

3. QuickChecking static analysis properties;Software Testing, Verification and Reliability;2017-08-30

4. Verified Translation Validation of Static Analyses;2017 IEEE 30th Computer Security Foundations Symposium (CSF);2017-08

5. An abstract memory functor for verified C static analyzers;ACM SIGPLAN Notices;2016-12-05