ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Knowledge compilation"
Knowledge compilation
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
RNDr. Jakub Míšek
Externí osoba na Matematicko-fyzikální fakulta
14 publikací
Publikace
publication
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages
2022 |
Matematicko-fyzikální fakulta
publication
PeachPie: Mature PHP to CLI Compiler
2022 |
Matematicko-fyzikální fakulta
publication
Semantic Analysis of Ambiguous Types in Dynamic Languages
2018 |
Matematicko-fyzikální fakulta
publication
Inferring Common Language Infrastructure Metadata for an Ambiguous Dynamic Language Type
2017 |
Matematicko-fyzikální fakulta
publication
Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation
2017 |
Matematicko-fyzikální fakulta
publication
Binding Semantic Tree of Dynamic Languages to Static Language Constructs
2017 |
Matematicko-fyzikální fakulta
publication
Mapování dynamických jazykových konstruktů do statických abstraktních stromů
2010 |
Matematicko-fyzikální fakulta
publication
Vylepšení projektu Phalanger
Publikace bez příslušnosti k fakultě
publication
Vysokoúrovňová abstrakce webových dat pomocí jazykově integrovaných dotazů
2010 |
Matematicko-fyzikální fakulta
publication
Phalanger IntelliSense: syntaktická a sémantická predikce
2009 |
Matematicko-fyzikální fakulta
Načíst další publikace (4)
Loading network view...