Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming-Reference-Cited by-同舟云学术

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

Published:2010 Issue: Volume: Page:136-158
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Delzanno Giorgio,Giacobazzi Roberto,Ranzato Francesco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-14309-0_7.pdf

Reference77 articles.

1. Andreoli, J.-M., Pareschi, R.: Linear Ojects. Logical Processes with Built-in Inheritance. New Generation Comput. 9(3/4), 445–474 (1991)

2. Lecture Notes in Artificial Intelligence;D. Baelde,2007

3. Bagnara, R., Hill, P., Zaffanella, E.: Set-sharing is redundant for pair-sharing. Theor. Comput. Sci. 277(1-2), 3–46 (2002)

4. Bozzano, M., Delzanno, G., Martelli, M.: Model Checking Linear Logic Specifications. TPLP 4(5-6), 573–619 (2004)

5. Browne, M.C., Clarke, E.M., Grumberg, O.: Characterizing finite Kripke structures in propositional temporal logic. Theoret. Comp. Sci. 59, 115–131 (1988)

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

1. Accelerating Program Analyses in Datalog by Merging Library Facts;Static Analysis;2021

2. Formal analysis and verification support for reactive rule-based Web agents;International Journal of Web Information Systems;2016-11-07

3. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14

4. Automated reasoning;Intelligenza Artificiale;2013

5. Constraint Logic Programming;Lecture Notes in Computer Science;2010