Login / Signup
Improving Abstract Interpretations by Combining Domains.
Michael Codish
Anne Mulkers
Maurice Bruynooghe
Maria J. García de la Banda
Manuel V. Hermenegildo
Published in:
PEPM (1993)
Keyphrases
</>
real world
application domains
case study
cross domain
combining multiple
real time
database
genetic algorithm
information systems
digital libraries
control system