Floyd-Hoare logic for quantum programs
Mingsheng Ying
Separating ownership topology and encapsulation with generic universe types
Werner Dietl, Sophia Drossopoulou, Peter Müller
Fast interprocedural linear two-variable equalities
Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl
© 2001-2025 Fundación Dialnet · Todos los derechos reservados
Coordinado por:
