| 
|
QuoteRef: andeT_1985
topics >
all references >
ThesaHelp:
references a-b
Topic:
hard real time systems
Topic:
program proof via assertions
Topic:
for loop
Topic:
simple loop
Topic:
run-time assertions
Group:
program proving
Topic:
consistency testing
Reference
Anderson, T., Witty, R.W., "Safe programming", pp. 238-245, in Shrivastava, S.K. (ed.), Reliable Computer Systems, Berlin, Germany, Springer-Verlag, 1985. Google
241 ;;Quote: eliminate proofs of termination by avoiding loop forever constructs
243 ;;Quote: produced a simple proof by adding run-time checks to all routines that modified file structures
243 ;;Quote: using principles of safe programming, constructed an 8000 line assembly program without error
243 ;;Quote: requiring a loop bound caught many design errors and was practical
ThesaHelp: references a-b (396 items)
Topic: hard real time systems (64 items)
Topic: program proof via assertions (61 items)
Topic: for loop (18 items)
Topic: simple loop (15 items)
Topic: run-time assertions (25 items)
Group: program proving (10 topics, 310 quotes)
Topic: consistency testing (60 items)