Calculating sized types

DOI10.1023/A:1012996816178MaRDI QIDQ5959585zbMATH OpenOpenAlexFDO

Authors Wei-Ngan Chin, Siau-Cheng Khoo

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, http://scholarbank.nus.edu.sg/handle/10635/39324

zbMATH Keywords

Omega calculatorPresburger formulaesize inferencetype inference

Mathematics Subject Classification ID

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

Recommendations

• Inferring static non-monotone size-aware types through testing
• Polynomial Size Analysis of First-Order Functions
• Polynomial Size Analysis of First-Order Shapely Functions
• Collected size semantics for strict functional programs over general polymorphic lists
• The size-change principle for program termination

Cited in

(16)

• Types of depth and formula size
• Collected size semantics for strict functional programs over general polymorphic lists
• The Computability Path Ordering: The End of a Quest
• Type-Based Termination with Sized Products
• Polynomial Size Analysis of First-Order Functions
• Polynomial Size Analysis of First-Order Shapely Functions
• A transformational approach which combines size inference and program optimization
• Size-based termination of higher-order rewriting
• Termination checking with types
• Sizing use cases: How to create a standard metrical approach
• Size functions
• A transformational approach to resource analysis with typed-norms inference
• Dependency pairs termination in dependent type theory modulo rewriting
• A Tutorial on Type-Based Termination
• Inferring static non-monotone size-aware types through testing
• Languages and Compilers for Parallel Computing

This page was built for publication: Calculating sized types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5959585)