The following pages link to (Q4855425):
Displaying 11 items.
- Towards an object-oriented framework for the advection-diffusion model (Q1594506) (← links)
- A type system for counting instances of software components (Q1758151) (← links)
- Piecemeal legacy migrating with an architectural pattern language: a case study (Q4790715) (← links)
- Synthesizing objects (Q4790902) (← links)
- How to develop and to reuse the UniPDM framework (Q4790992) (← links)
- Lessons learned becoming a framework developer (Q4790998) (← links)
- Hexagonal Grid Fields Optimally Encode Transitions in Spatiotemporal Sequences (Q5157249) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
- The STAR offline framework (Q5952533) (← links)
- \texttt{PittPack}: an open-source Poisson's equation solver for extreme-scale computing with accelerators (Q6044768) (← links)
- Verification of mutable linear data structures and iterator-based algorithms in Dafny (Q6113015) (← links)
