Especificação Formal do tratamento de Exceções na Linguagem DDL

Mariela Ines Cortes, A. V. Garcia, A. P. Oliveira e Sérgio E. R. de Carvalho

DDL is a high level language for the textual representation of object-oriented projects, including novel mechanisms for object behavior, and message sending to execution-time pronoun-related objects. In DDL, the association of exceptions to handlers is a combination of static and dynamic features. We specify formally the semantics of exception handling in the DDL language, via a two-step process: first the DDL program is translated into a program written in a restricted subset of the language, and then the semantics of this subset is specified.