Conference Proceedings

Size-change termination analysis in kappa-bits

M Codish, V Lagoon, P Schachte, PJ Stuckey, P Sestoft

PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS | SPRINGER-VERLAG BERLIN | Published : 2006

Citation metrics

4Web of Science
5Scopus

Keywords

Computer Science, Software Engineering
Science & Technology
Computer Science
Computer Science, Theory & Methods
Computer Software
Technology