DE eng

Search in the Catalogues and Directories

Hits 1 – 2 of 2

1
Pointer Disambiguation via Strict Inequalities
In: Proceedings of the 2017 International Symposium on Code Generation and Optimization ; Code Generation and Optimisation ; https://hal.archives-ouvertes.fr/hal-01387031 ; Code Generation and Optimisation , Feb 2017, Austin, United States. pp.134-147 (2017)
BASE
Show details
2
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
In: https://hal.inria.fr/inria-00526561 ; [Research Report] RR-7423, INRIA. 2010 (2010)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
2
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern