Context Dependent Procedures and Computed Types in ✓eriFun

DOI10.1016/j.entcs.2006.10.038zbMath1277.68059OpenAlexW2113137402MaRDI QIDQ2866336

Andreas Schlosser, Michael Gonder, Markus Aderhold, Christoph Walther

Publication date: 13 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.038

zbMATH Keywords

subtypingcontext dependencycomputed typesreasoning on types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A two-valued logic for properties of strict functional programs allowing partial functions ⋮ Second-Order Programs with Preconditions

Uses Software

• VeriFun

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automated deduction -- CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 -- August 2, 2003. Proceedings
• Approximating the domains of functional and imperative programs
• Reasoning About Incompletely Defined Programs

This page was built for publication: Context Dependent Procedures and Computed Types in ✓eriFun