Calculating sized types

DOI10.1023/A:1012996816178zbMath0994.68015OpenAlexW1551651413MaRDI QIDQ5959585

Siau-Cheng Khoo, Wei-Ngan Chin

Publication date: 10 October 2002

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1012996816178

zbMATH Keywords

type inferenceOmega calculatorPresburger formulaesize inference

Mathematics Subject Classification ID

Logic programming (68N17) General topics in the theory of software (68N01)

Related Items (8)

Size-based termination of higher-order rewriting ⋮ The Computability Path Ordering: The End of a Quest ⋮ Type-Based Termination with Sized Products ⋮ Inferring Static Non-monotone Size-aware Types Through Testing ⋮ Termination checking with types ⋮ A Tutorial on Type-Based Termination ⋮ Unnamed Item ⋮ A Transformational Approach to Resource Analysis with Typed-norms Inference

This page was built for publication: Calculating sized types