| 
|
Quote: without a formal semantics or a formal type system, can not reason about Java or the security properties of its libraries
topics >
all references >
references c-d >
Group:
program proving
Topic:
type-safe and secure languages
Group:
security
Quotation Skeleton
The Java language has neither a formal semantics … means, in any formal sense, so we cannot … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: type-safe and secure languages (42 items)
Group: security (23 topics, 802 quotes)