DE eng

Search in the Catalogues and Directories

Hits 1 – 6 of 6

1
A Formal Model of Checked C ...
Li, Liyi; Liu, Yiyun; Postol, Deena L.. - : arXiv, 2022
BASE
Show details
2
Incremental Computation with Names ...
BASE
Show details
3
A note on pretense and co-reference
In: Philosophical studies. - Dordrecht [u.a.] : Springer Science + Business Media 149 (2010) 3, 395-400
BLLDB
Show details
4
Safe and Flexible Dynamic Linking of Native Code ...
Hicks, Michael; Weirich, Stephanie; Crary, Karl. - : Carnegie Mellon University, 2003
BASE
Show details
5
Safe and Flexible Dynamic Linking of Native Code ...
Hicks, Michael; Weirich, Stephanie; Crary, Karl. - : Carnegie Mellon University, 2003
BASE
Show details
6
Safe and Flexible Dynamic Linking of Native Code
In: Technical Reports (CIS) (2000)
BASE
Show details

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