Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313305661> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4313305661 abstract "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." @default.
- W4313305661 created "2023-01-06" @default.
- W4313305661 creator A5019329948 @default.
- W4313305661 creator A5042359645 @default.
- W4313305661 date "2022-12-28" @default.
- W4313305661 modified "2023-09-23" @default.
- W4313305661 title "Verification of C++ Programs with VeriFast" @default.
- W4313305661 doi "https://doi.org/10.48550/arxiv.2212.13754" @default.
- W4313305661 hasPublicationYear "2022" @default.
- W4313305661 type Work @default.
- W4313305661 citedByCount "0" @default.
- W4313305661 crossrefType "posted-content" @default.
- W4313305661 hasAuthorship W4313305661A5019329948 @default.
- W4313305661 hasAuthorship W4313305661A5042359645 @default.
- W4313305661 hasBestOaLocation W43133056611 @default.
- W4313305661 hasConcept C101468663 @default.
- W4313305661 hasConcept C104317684 @default.
- W4313305661 hasConcept C134757568 @default.
- W4313305661 hasConcept C185592680 @default.
- W4313305661 hasConcept C199360897 @default.
- W4313305661 hasConcept C200568363 @default.
- W4313305661 hasConcept C2780902518 @default.
- W4313305661 hasConcept C41008148 @default.
- W4313305661 hasConcept C548217200 @default.
- W4313305661 hasConcept C55493867 @default.
- W4313305661 hasConcept C73752529 @default.
- W4313305661 hasConcept C80444323 @default.
- W4313305661 hasConceptScore W4313305661C101468663 @default.
- W4313305661 hasConceptScore W4313305661C104317684 @default.
- W4313305661 hasConceptScore W4313305661C134757568 @default.
- W4313305661 hasConceptScore W4313305661C185592680 @default.
- W4313305661 hasConceptScore W4313305661C199360897 @default.
- W4313305661 hasConceptScore W4313305661C200568363 @default.
- W4313305661 hasConceptScore W4313305661C2780902518 @default.
- W4313305661 hasConceptScore W4313305661C41008148 @default.
- W4313305661 hasConceptScore W4313305661C548217200 @default.
- W4313305661 hasConceptScore W4313305661C55493867 @default.
- W4313305661 hasConceptScore W4313305661C73752529 @default.
- W4313305661 hasConceptScore W4313305661C80444323 @default.
- W4313305661 hasLocation W43133056611 @default.
- W4313305661 hasOpenAccess W4313305661 @default.
- W4313305661 hasPrimaryLocation W43133056611 @default.
- W4313305661 hasRelatedWork W1550042973 @default.
- W4313305661 hasRelatedWork W1591007360 @default.
- W4313305661 hasRelatedWork W1970439537 @default.
- W4313305661 hasRelatedWork W2121397458 @default.
- W4313305661 hasRelatedWork W2125590230 @default.
- W4313305661 hasRelatedWork W2127857223 @default.
- W4313305661 hasRelatedWork W2728610919 @default.
- W4313305661 hasRelatedWork W605737362 @default.
- W4313305661 hasRelatedWork W189631424 @default.
- W4313305661 hasRelatedWork W2528467228 @default.
- W4313305661 isParatext "false" @default.
- W4313305661 isRetracted "false" @default.
- W4313305661 workType "article" @default.