A Aralex Aachen research explorer

January 01, 1998 conference-paper Open access

Javalight is type-safe---definitely

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/268946.268960 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 148

Verifying OpenJDK’s LinkedList using KeY (extended paper)
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

5

citations

1 result

References 0