The Size-Change Termination Principle for Constructor Based Languages

DOI10.2168/LMCS-10(1:11)2014zbMath1325.68048arXiv1306.3833OpenAlexW3098977388MaRDI QIDQ5404477

Hyvernat Pierre

Publication date: 24 March 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1306.3833

zbMATH Keywords

program analysisMLtermination analysissize-change principle

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (4)

Size-based termination of higher-order rewriting ⋮ Compositional Coinduction with Sized Types ⋮ Unnamed Item ⋮ A Classical Realizability Model for a Semantical Value Restriction

This page was built for publication: The Size-Change Termination Principle for Constructor Based Languages