A Proposal for Making Eiffel Type-Safe
No abstract available.
Related papers
- A comparative study of language support for generic programming OOPSLA 2003
- An extended comparative study of language support for generic programming JFP 2007
- EPEE: an Eiffel Environment to Program Distributed Memory Parallel Computers ECOOP 1992
- A Refactoring Constraint Language and Its Application to Eiffel ECOOP 2011
- How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 ECOOP 2019
- A Natural Semantics for Eiffel Dynamic Binding TOPLAS 1996
- Semantic-Based Visualization for Parallel Object-Oriented Programming OOPSLA 1996
- Distance makes the types grow stronger: a calculus for differential privacy ICFP 2010