@inproceedings{177111,
    Author = {Jagger, N.},
    BookTitle = {TENCON '89. Fourth IEEE Region 10 International Conference},
    Keywords = {formal logic;programming theory;abstract domains;abstract interpretation;computational induction;fixpoint;higher-order functions;inductive approach;mutual recursion;nested function applications;non-flat domains;overall correctness;strictness analysis;Computer science;Logic;Performance evaluation;Testing},
    Month = {Nov},
    Pages = {1059-1064},
    Title = {An inductive approach to finding fixpoints in abstract interpretation},
    Year = {1989},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TENCON.1989.177111},
    date-added = {2014-03-19 18:05:07 +0000},
    date-modified = {2014-03-19 18:05:07 +0000},
    doi = {10.1109/TENCON.1989.177111}
}

@inproceedings{177111, Author = {Jagger, N.}, BookTitle = {TENCON '89. Fourth IEEE Region 10 International Conference}, Keywords = {formal logic;programming theory;abstract domains;abstract interpretation;computational induction;fixpoint;higher-order functions;inductive approach;mutual recursion;nested function applications;non-flat domains;overall correctness;strictness analysis;Computer science;Logic;Performance evaluation;Testing}, Month = {Nov}, Pages = {1059-1064}, Title = {An inductive approach to finding fixpoints in abstract interpretation}, Year = {1989}, bdsk-url-1 = {http://dx.doi.org/10.1109/TENCON.1989.177111}, date-added = {2014-03-19 18:05:07 +0000}, date-modified = {2014-03-19 18:05:07 +0000}, doi = {10.1109/TENCON.1989.177111} }