Pages that link to "Item:Q359906"
From MaRDI portal
The following pages link to A principled, complete, and efficient representation of C++ (Q359906):
Displaying 7 items.
- A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations (Q1698462) (← links)
- A tool chain for reverse engineering C++ applications (Q2463534) (← links)
- Compile-time advances of the C++ standard template library (Q2898795) (← links)
- A mechanized semantics for C++ object construction and destruction, with applications to resource management (Q2942898) (← links)
- (Q3653870) (← links)
- (Q3995757) (← links)
- (Q5188287) (← links)