Found 3 Documents (Results 1–3)
A two-valued logic for properties of strict functional programs allowing partial functions. (English) Zbl 1267.68088
Filter Results by …
all
top 5
Author
- Boldo, Sylvie (1)
- Clément, François (1)
- Filliâtre, Jean-Christophe (1)
- Goré, Rajeev Prabhakar (1)
- Mayero, Micaela (1)
- Melquiond, Guillaume (1)
- Nguyen, Linh Anh (1)
- Sabel, David (1)
- Schmidt-Schauß, Manfred (1)
- Weis, Pierre (1)