Conference Proceedings

Size-change termination analysis in kappa-bits

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

Programming Languages and Systems (Lecture Notes in Computer Science) | SPRINGER-VERLAG BERLIN | Published : 2006

University of Melbourne Researchers

Peter Schachte Author Computing and Information Systems

Peter Stuckey Author Computing and Information Systems

Citation metrics

4Web of Science

Keywords

Science & Technology

Computer Science, Software Engineering

Computer Science

Computer Science, Theory & Methods