990 resultados para Dahlia Morgan
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Only 100 copies run; this is copy 57.
Resumo:
Mode of access: Internet.
Resumo:
Bibliography: p. 73-74.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
In this paper we discuss the refinement of exceptions. We extend the Guarded Command Language normally used in the refinement calculus, with a simple exception handling statement, which we model using King and Morgan's exit statement (1995). We derive some variants of King and Morgan's refinement laws for their exit statement, and illustrate the approach with an example of a refinement of a simple program.