COMPUTING ML EQUALITY KINDS USING ABSTRACT INTERPRETATION

Authors
GUNTER CA GUNTER EL MACQUEEN DB
Citation
Ca. Gunter et al., COMPUTING ML EQUALITY KINDS USING ABSTRACT INTERPRETATION, Information and computation, 107(2), 1993, pp. 303-323
Citations number
8
Categorie Soggetti
Information Science & Library Science",Mathematics,"Computer Science Information Systems
Journal title
Information and computation → ACNP
ISSN journal
08905401
Volume
107
Issue
2
Year of publication
1993
Pages
303 - 323
Database
ISI
SICI code
0890-5401(1993)107:2<303:CMEKUA>2.0.ZU;2-1