Soft Typing
Abstract
of programs than ML.We have also developed an algorithm for frugally inserting run-time checks in programs that do not type check.
Related papers
- A Practical Soft Type System for Scheme TOPLAS 1997
- Soft Typing with Conditional Types POPL 1994
- BEC: Bit-Level Static Analysis for Reliability against Soft Errors CGO 2024
- Soft Scheduling for Hardware SAS 2001
- Soft Concurrent Constraint Programming ESOP 2002
- Abstracting Concolic Execution for Soft Contract Verification SAS 2025
- F-Soft: Software Verification Platform CAV 2005
- Soft Issues in Software Development (Panel Session) OOPSLA 1996