Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Garrin Kimmel"'
We address the process of designing software defined radios. Our goal is to design radio functions once and use automated tools to transform the design to implementations on different platforms. ReTarget is an approach and a process that (1) describe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::400f2341bbc47d12131390c0c35626a1
https://doi.org/10.21236/ada494640
https://doi.org/10.21236/ada494640
Autor:
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 76, Iss Proc. MSFP 2012, Pp 112-162 (2012)
We present a full-spectrum dependently typed core language which includes both nontermination and computational irrelevance (a.k.a. erasure), a combination which has not been studied before. The two features interact: to protect type safety we must b
Externí odkaz:
https://doaj.org/article/377d50b72b4a4b8fa419a7776956326a
Publikováno v:
Logical Methods in Computer Science, Vol Volume 9, Issue 1 (2013)
This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective. We show how standard meta-theoret
Externí odkaz:
https://doaj.org/article/d40f4a87ee974ec49b33523587023d48