Contracts for higher-order functions

DOI10.1145/581478.581484zbMATH Open1322.68039OpenAlexW2128303158MaRDI QIDQ2949191FDOQ2949191

Matthias Felleisen, Robert Bruce Findler

Publication date: 7 October 2015

Published in: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/581478.581484

zbMATH Keywords

contractshigher-order functionsbehavioral specificationspredicate typingsolfware reliability

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (31)

• Gradual type-and-effect systems
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Correctness of compiling polymorphism to dynamic typing
• Static blame for gradual typing
• A generic complete dynamic logic for reasoning about purity and effects
• Session-typed concurrent contracts
• An extended account of contract monitoring strategies as patterns of communication
• What is a sorting function?
• Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions
• Sound and complete concolic testing for higher-order functions
• A Principled Approach to Tracking Information Flow in the Presence of Libraries
• Call-by-name Gradual Type Theory
• Debugging hygienic macros
• Gradual type theory
• Protocol combinators for modeling, testing, and execution of distributed systems
• Blame and coercion: Together again for the first time
• Title not available (Why is that?)
• Reconciling method overloading and dynamically typed scripting languages
• Practical run-time checking via unobtrusive property caching
• Executable contracts for Elixir
• A Debugger-Cooperative Higher-Order Contract System in Python
• Polymorphic Contracts
• Contracts made manifest
• A Delta for Hybrid Type Checking
• Space-efficient gradual typing
• Higher order symbolic execution for contract verification and refutation
• Foundations of dependent interoperability
• Gradual tensor shape checking
• A temporal logic for higher-order functional programs
• Manifest contracts with intersection types
• The interaction of contracts and laziness

Uses Software

• DrScheme
• Eiffel

This page was built for publication: Contracts for higher-order functions

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