Map
Index
Random
Help
th

Quote: a programming language is secure if it does not lead to machine or implementation effects that are inexplicable in terms of the language

topics > all references > references g-h > QuoteRef: hoarCA_1974 , p. 509



Topic:
type-safe and secure languages
Group:
security
Topic:
machine independent programming

Quotation Skeleton

Certain programming errors … must be cheaply detectable at run time; in … are inexplicable in terms of the language itself. … be utterly reliable …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: type-safe and secure languages (42 items)
Group: security   (23 topics, 802 quotes)
Topic: machine independent programming (13 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.