An Inherently-Typed Formalization for Featherweight Java-Reference-Cited by-同舟云学术

An Inherently-Typed Formalization for Featherweight Java

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the XXIII Brazilian Symposium on Programming Languages - SBLP 2019
language:
Short-container-title:

Author:

Feitosa Samuel da Silva¹,Mena Alejandro Serrano²,Ribeiro Rodrigo Geraldo³,Bois Andre Rauber Du¹

Affiliation:

1. Programa de Pós Graduação em Computação, Universidade Federal de Pelotas, Pelotas, RS, Brazil

2. Software Technology Group Utrecht University, Utrecht, The Netherlands

3. Programa de Pós Graduação em Computação, Universidade Federal de Ouro Preto, Ouro Preto, MG, Brazil

Publisher

ACM Press

Reference24 articles.

1. Reynald Affeldt and Kazuhiko Sakaguchi. 2014. An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing. Journal of Formalized Reasoning 7, 1 (2014), 63--104. https://doi.org/10.6092/issn.1972-5787/4317

2. Thorsten Altenkirch and Ambrus Kaposi. 2016. Type Theory in Type Theory Using Quotient Inductive Types. SIGPLAN Not. 51, 1 (Jan. 2016), 18--29. https://doi.org/10.1145/2914770.2837638

3. Thorsten Altenkirch and Bernhard Reus. 1999. Monadic Presentations of Lambda Terms Using Generalized Inductive Types. In Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic (CSL '99). Springer-Verlag, Berlin, Heidelberg, 453--468. http://dl.acm.org/citation.cfm?id=647849.737066

4. Nada Amin and Tiark Rompf. 2017. Type Soundness Proofs with Definitional Interpreters. SIGPLAN Not. 52, 1 (Jan. 2017), 666--679. https://doi.org/10.1145/3093333.3009866

5. Lennart Augustsson and Magnus Carlsson. 1999. An exercise in dependent types: A well-typed interpreter. In In Workshop on Dependent Types in Programming, Gothenburg.