Author:
Drobnjaković Filip,Subotić Pavle,Urban Caterina
Publisher
Springer Nature Switzerland
Reference24 articles.
1. Chouldechova, A., Prado, D.B., Fialko, O., Vaithianathan, R.: A case study of algorithm-assisted decision making in child maltreatment hotline screening decisions. In: FAT, pp. 134–148 (2018)
2. Cousot, P.: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Electron. Notes Theor. Comput. Sci. 277(1–2), 47–103 (2002)
3. Lecture Notes in Computer Science;P Cousot,2019
4. Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Second International Symposium on Programming, pp. 106–130 (1976)
5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238–252 (1977)