Abstract reduction: towards a theory via abstract interpretation

Loading...
Thumbnail Image

Date

Authors

Eekelen, M.C.J.D. Marko
Goubault, G.
Hankin, C.
Nöcker, E.

Journal Title

Journal ISSN

Volume Title

Publisher

Chichester : John Wiley and Sons Ltd.

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

Endorsement

Review

Supplemented By

Referenced By