A Debugger-Cooperative Higher-Order Contract System in Python

DOI10.1007/978-3-319-47958-3_9zbMath1483.68052OpenAlexW2529108063MaRDI QIDQ3179289

Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki

Publication date: 21 December 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-47958-3_9

zbMATH Keywords

contractsdebuggingPython

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• Contract
• Python
• PyBlame
• BPGen
• TreatJS
• Bottle

Cites Work

• Access permission contracts for scripting languages
• Nested refinements
• Contracts for higher-order functions
• Blame assignment for higher-order contracts with intersection and union
• Practical typed lazy contracts
• Hybrid type checking

This page was built for publication: A Debugger-Cooperative Higher-Order Contract System in Python