Encoding Featherweight Java with assignment and immutability using the Coq proof assistant - CORE CORE Services Services overviewExplore all CORE services Access to raw data API Dataset FastSync Content discovery Recommender Discovery Managing content Repository dashboard Packages Repository edition About About us Our mission Team Blog FAQs Contact us 10.1145/2318202.2318206 Encoding Featherweight Java with assignment and immutability using the Coq proof assistant Authors Publication date January 1, 2012 Publisher 'Association for Computing Machinery (ACM)' AbstractAbstract is not available. Similar works Full text CrossrefFull text is not available Last time updated on 4/1/2019 This paper was published in Crossref. Having an issue? Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request. Report CORE is not-for-profit service delivered by the Open University and Jisc. Product Services Data providers Communities Terms Organisation About us Mission Team Blog Support FAQs Contact us Writing about CORE? Discover our research outputs and cite our work. COREAccessabilityCookiesPrivacy
