A Debugger-Cooperative Higher-Order Contract System in Python

DOI10.1007/978-3-319-47958-3_9MaRDI QIDQ3179289zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A reversible debugger for imperative parallel programs with contracts
• Runtime verification of contracts with Themulus
• scientific article; zbMATH DE number 1332636
• Development of a debugger for a concurrent language
• Higher order symbolic execution for contract verification and refutation
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Cites work

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

Describes a project that uses

Uses Software

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

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

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