• Research softwareclose
• Other research productsclose
• 2018-2022close
• Other ORP type close
• BE close

Aandachtspunten voor gezondheidsbevorderende applicaties voor de oudere bevolking status: published

VeriFast is a prototype tool based on separation logic for modular verification of C and Java programs. We are in the process of adding support for C++. In this report, we describe the features of C++ for which we added support so far, as well as the proof obligations we generate for these features. At this point, VeriFast has basic support for most object-oriented programming features of C++: member functions, member function and operator overloading, implicit and explicit conversions, constructors and initializer lists, destructors, reference types, allocation and deallocation on the stack or on the heap (using new and delete), inheritance (including multiple inheritance but not virtual base classes), and virtual member functions and overriding. To support specification of inheritance hierarchies, we added support for instance predicates, which can be introduced in a base class and overridden in derived classes. The main missing feature at this point is support for C++ templates, which we plan to work on next. ispartof: arXiv status: Published online

Autism is increasingly viewed as an expression of neurodiversity deserving accommodation, rather than merely as a disorder in need of remediation or even prevention. This reconceptualization has inspired calls to broaden the ethical debate on early autism care beyond matters of efficient screenings and effective interventions. We conducted 14 in-depth interviews with 26 parents of infants at an increased likelihood for autism (siblings, preterms and children with persistent feeding difficulties) to understand which benefits and risks these parents see for the implementation of a systematic, early autism detection program in Flanders. With this study, we aim to contribute empirically to the ethical debate on good and just early autism care in the age of neurodiversity. Data were analyzed according to the QUAGOL-methodology. Three main themes emerged from our analysis. In their evaluation of early autism detection, parents discussed how a diagnosis helps gain a different perspective fostering understanding and recognition for both child and parent. Second, a diagnosis supports parents in adjusting their parenting practices, to justify this deviation from “normal” parenting and to strive for such adjusted environments beyond the nuclear family. Third, an autism diagnosis induces ambiguities parents need to navigate, involving questions on whether and when to mobilize the diagnostic label and which language to use to talk about autism. We discuss the complex position of parents of a (potentially) autistic child in terms of moving back and forth across the ab/normal binary and describe implications for the ethical debate on early autism detection. ispartof: Research Square

Rust is a modern systems programming language whose type system guarantees memory safety. For the sake of expressivity and performance it allows programmers to relax typing rules temporarily, using unsafe code blocks. However, in unsafe blocks, the burden of making sure that the code does not end up having undefined behaviour is on the programmer. Even most expert programmers make mistakes and a memory safety bug in an unsafe block renders all the type system guarantees void. To address this problem we are trying to verify soundness of Rust unsafe code applying our Modular Symbolic Execution algorithm. This text outlines our approach and the progress that has been made so far. ispartof: arXiv status: Published online

ispartof: MO.be status: published

The workshop was intended for participants who wanted to look deeper into how to create project situations in student projects ispartof: pages:2325-2328 ispartof: SEFI Annual Conference location:Barcelona, Spain status: published