Reasoning about functional programming in Java and C++-Reference-Cited by-同舟云学术

Reasoning about functional programming in Java and C++

Published:2018-07-16 Issue: Volume: Page:
ISSN:
Container-title:Companion Proceedings for the ISSTA/ECOOP 2018 Workshops
language:
Short-container-title:

Author:

Cok David R.¹

Affiliation:

1. CEA, LIST, France

Funder

European Union

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3236454.3236483

Reference7 articles.

1. P. Baudin P.Cuoq J-C. Filliâtre C. Marché B. Monate Y. Moy and V. Prevosto. 2008ff. ACSL: ANSI C Specification Language. http://frama-c.com/download/acsl_1.4.pdf. P. Baudin P.Cuoq J-C. Filliâtre C. Marché B. Monate Y. Moy and V. Prevosto. 2008ff. ACSL: ANSI C Specification Language. http://frama-c.com/download/acsl_1.4.pdf.

2. David R. Cok and Serdar Tasiran. 2018. Practical Methods for Reasoning about Java 8's Functional Programming Features. Submitted to VSTTE 2018. David R. Cok and Serdar Tasiran. 2018. Practical Methods for Reasoning about Java 8's Functional Programming Features. Submitted to VSTTE 2018.

3. Frama-C 2011ff. https://frama-c.com. Frama-C 2011ff. https://frama-c.com.

4. Bart Jacobs Jan Smans and Frank Piessen. 2017. The VeriFast Program Verifier: A Tutorial. https://zenodo.org/record/1068185#.WvbWhy97HyU. Bart Jacobs Jan Smans and Frank Piessen. 2017. The VeriFast Program Verifier: A Tutorial. https://zenodo.org/record/1068185#.WvbWhy97HyU.

5. I. T. Kassios and P. Müller. 2011. Modular Specification and Verification of Delegation with SMT Solvers. Technical Report. ETH Zurich. I. T. Kassios and P. Müller. 2011. Modular Specification and Verification of Delegation with SMT Solvers. Technical Report. ETH Zurich.

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

1. Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System;Automatic Control and Computer Sciences;2022-12

2. JFeature: Know Your Corpus;2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM);2022-10

3. Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07

4. Further Lessons from the JML Project;The Logic of Software. A Tasting Menu of Formal Methods;2022

5. Theoretical limits of vapor cooling large cylindrical structures using boil-off;Cryogenics;2020-06