Verification of Java Bytecode Using Analysis and Transformation of Logic Programs-Reference-Cited by-同舟云学术

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs

Published:2006 Issue: Volume: Page:124-139
ISSN:0302-9743
Container-title:Practical Aspects of Declarative Languages
language:
Short-container-title:

Author:

Albert Elvira,Gómez-Zamalloa Miguel,Hubert Laurent,Puebla Germán

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69611-7_8.pdf

Reference18 articles.

1. Barras, B., et al.: The Coq proof assistant reference manual: Version 6.1. Technical Report RT-0203 (1997), citeseer.ist.psu.edu/barras97coq.html

2. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López, P., Puebla, G. (eds.): The Ciao System (v1.13), http://www.clip.dia.fi.upm.es/Software/Ciao/

3. Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of POPL 1977, pp. 238–252 (1977)

4. Lecture Notes in Computer Science;S. Debray,1994

5. Früwirth, T., Shapiro, E., Vardi, M.Y., Yardeni, E.: Logic programs as types for logic programs. In: Proc. LICS 1991, pp. 300–309 (1991)

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

1. Transformational Verification of Quicksort;Electronic Proceedings in Theoretical Computer Science;2020-08-07

2. Prolog for Verification, Analysis and Transformation Tools;Electronic Proceedings in Theoretical Computer Science;2020-08-07

3. Predicate Pairing with Abstraction for Relational Verification;Logic-Based Program Synthesis and Transformation;2018

4. Verifying Procedural Programs via Constrained Rewriting Induction;ACM Transactions on Computational Logic;2017-06-23

5. Testing of concurrent and imperative software using CLP;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05