[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Chalin10

  1. Patrice Chalin
  2. Engineering a sound assertion semantics for the verifying compiler
  3. IEEE Trans Software Engineering V36n2(Mar/Apr 2010)pp275-287
  4. =TYPE USER V&V SQA FORMAL METHOD TOOL VC VERIFICATION COMPILER
  5. A verifying compiler should spot when assertions will go wrong.
  6. The logic of the verifying compiler should allow for expressions being undefined.
  7. Must handle arithmetic errors like 1/0 correctly. Even in assertions!
  8. Stresses the need to talk to the users of the compiler before deciding its semantics!
  9. Introduces a definedness predicate.
  10. Formal Methods shouldn't have imposed an elegant but unsound logic on software.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]