| 
|
QuoteRef: nipkT1_1998
topics >
all references >
ThesaHelp:
ACM references m-z
ThesaHelp:
references m-o
Group:
program proving
Topic:
type-safe and secure languages
Topic:
weak vs. strong type checking
Topic:
theorem proving systems
Reference
Nipkow, T., von Oheimb, D., "Javalight is type-safe -- definitely", Conference record of POPL '98: the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, January 1998, ACM Press, pp. 161-170. Google
abstract ;;Quote: proof of type soundness for a large, sequential sublanguage of Java; via the interactive theorem prover Isabelle/HOL
ThesaHelp: ACM references m-z (280 items)
ThesaHelp: references m-o (268 items)
Group: program proving (10 topics, 310 quotes)
Topic: type-safe and secure languages (42 items)
Topic: weak vs. strong type checking (39 items)
Topic: theorem proving systems (20 items)