Filtered Iterators For Safe and Robust Programs in RIFL
We present a new language construct, filtered iterators, for safe and robust input processing. Filtered iterators are designed to eliminate many common input-processing errors while enabling robust continued execution. The design is inspired by (a) observed common input-processing errors and (b) con...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Published: |
2015
|
| Online Access: | http://hdl.handle.net/1721.1/100542 |