Chlipala, Adam, 1981-....
Adam Chlipala americký počítačový vědec a vysokoškolský pedagog, zaměřený na programovací jazyky, formální metody a počítačové systémy
VIAF ID: 300987101 ( Personal )
Permalink: http://viaf.org/viaf/300987101
Preferred Forms
- 100 0 _ ‡a Adam Chlipala ‡c americký počítačový vědec a vysokoškolský pedagog, zaměřený na programovací jazyky, formální metody a počítačové systémy
-
- 100 1 _ ‡a Chlipala, Adam ‡d 1981-
- 100 1 _ ‡a Chlipala, Adam ‡d 1981-
-
-
- 100 1 _ ‡a Chlipala, Adam, ‡d 1981-
-
- 100 1 _ ‡a Chlipala, Adam, ‡d 1981-....
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Certified programming with dependent types, 2014: | |
Compilation optimisante et formellement prouvée pour un processeur VLIW | |
Optimized and formally-verified compilation for a VLIW processor. |