Encoding Featherweight Java with Assignment and Immutability using The Coq Proof Assistant - CORE CORE Search Search Services Access to raw data API Dataset FastSync Content discovery Recommender Discovery Managing content Repository dashboard Support FAQs About About CORE Blog Contact us Encoding Featherweight Java with Assignment and Immutability using The Coq Proof Assistant By Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves and Nicholas Cameron Get PDF (317 KB) Cite BibTex Full citation No static citation data No static citation data Publisher: 'Association for Computing Machinery (ACM)' Year: 2012 DOI identifier: 10.1145/2318202.2318206 OAI identifier: oai:pure.atira.dk:publications/d9abdfd9-9935-4053-a01e-086170969839 Provided by: The IT University of Copenhagen's Repository Downloaded from https://pure.itu.dk/ws/files/37461618/ftfjp12.pdf Suggested articles To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request. Useful links Blog Services About CORE Contact us Cookies Privacy notice Writing about CORE? Discover our research outputs and cite our work. CORE is a not-for-profit service delivered by the Open University and Jisc.
