Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant

doi 10.1145/2318202.2318206
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Structural Analysis of Narratives With the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

IPSJ Digital Courier
2005English

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Erratum To: A Monadic Semantics for Quantum Computing in Featherweight Java

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Foundational Extensible Corecursion: A Proof Assistant Perspective

ACM SIGPLAN Notices
Computer Science
2015English

Featherweight VeriFast

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Assignment Problems With Fuzzy Costs Using Ones Assignment Method

IOSR Journal of Mathematics
2016English

Assignment Testers: Towards a Combinatorial Proof of the PCP-Theorem

English

Chromosomal Assignment of the Murine Gene Encoding the Transformation-Related Protein P53.

Molecular and Cellular Biology
Cell BiologyMolecular Biology
1984English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy