Publikationsansicht

A Dependently Typed Assembly Language (Extended Abstract) (2008)

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.131.4212
Quelle	http://www.cs.bu.edu/~hwxi/academic/papers/DTALabs.ps
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.40.2507, 10.1.1.24.6526, 10.1.1.17.8702, 10.1.1.41.548, 10.1.1.27.353, 10.1.1.36.3970, 10.1.1.33.3468, 10.1.1.40.7179, 10.1.1.19.7620, 10.1.1.39.5575, 10.1.1.123.266, 10.1.1.130.5375, 10.1.1.32.1207, 10.1.1.17.3806