Injecting Life with Computers
No abstract available.
Related papers
- Adversarial Reachability for Program-level Security Analysis ESOP 2023
- Functions as Passive Constraints in LIFE TOPLAS 1994
- Type-checking injective pure type systems JFP 1999
- The expressive power of higher-order types or, life without CONS JFP 2001
- Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ICFP 2024
- The OT Life-cycle: From Eureka! to Shrink Wrap (Panel) OOPSLA 1997
- PREFAIL: a programmable tool for multiple-failure injection OOPSLA 2011
- Migrating business logic to an incremental computing DSL: a case study SLE 2018