School of Computing

Improving lazy attribute selection

R.B. Pereira, A. Plastino, B. Zadrozny, L.H.C. Merschmann, and A.A. Freitas

Journal of Information and Data Management, 2(3):182-196, October 2011.

Bibtex Record

@article{3170,
author = {R.B. Pereira and A. Plastino and B. Zadrozny and L.H.C. Merschmann and A.A. Freitas},
title = {Improving lazy attribute selection},
month = {October},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3170},
    publication_type = {article},
    submission_id = {3469_1318434160},
    ISSN = {2178-7107},
    journal = {Journal of Information and Data Management},
    volume = {2},
    number = {3},
    publisher = {Sociedade Brasileira de Computacao},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014