NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"Abstrakte Interpretation"”.

  1. Verification of Erlang programs using abstract interpretation and model checking

    Huch, Frank GünterPublikationsserver der RWTH Aachen University2001

    … verification of Erlang programs using abstract interpretation and model checking. Therefore, we define a framework for abstract interpretations of Erlang programs. In this framework it is guaranteed that the abstract operational semantics is safe with respect to the standard semantics of Erlang. …

    aachen Repository record