Zpět na hledáníSyntactic Type Soundness in Structured Imperative Languages (2007)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/07:00020537 |
|---|---|
| Název v anglickém jazyce | Syntactic Type Soundness in Structured Imperative Languages |
| Druh | D - Stať ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2007 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 4 |
| Počet tvůrců celkem | 1 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Hynek Mlnařík (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9485988) |
| Popis výsledku v anglickém jazyce | We present a general technique for proving type soundness of a structured imperative programming language. We show this technique on a simple language IPL. A program in the language is a set of functions. To prove type soundness we develop an approximatesyntactic predicate that statically checks function correctness. The presented result is a byproduct of the development of a quantum programming language LanQ where it was used to prove type soundness. Nevertheless, it is applicable to a wide range of other existing classical languages. |
| Klíčová slova oddělená středníkem | type soundness; imperative languages; language IPL |
| Stránka www, na které se nachází výsledek | - |
| Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science |
|---|---|
| ISBN | 978-80-7355-077-6 |
| ISSN | - |
| e-ISSN | - |
| Počet stran výsledku | 8 |
| Strana od-do | 132-139 |
| Název nakladatele | Masaryk University and Technical University of Brno |
| Místo vydání | Brno, Czech Republic |
| Místo konání akce | Znojmo, Czechia |
| Datum konání akce | 26.10.2007 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
| EID výsledku v databázi Scopus | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2008 |
| Specifikace | RIV/00216224:14330/07:00020537!RIV08-MSM-14330___ |
| Datum poslední aktualizace výsledku | 18.08.2008 |
| Kontrolní číslo | 10840902 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2008 | RIV/00216224:14330/07:00020537 v dodávce dat RIV08-GA0-14330___/01:1 |
|---|---|
| Dodáno GA ČR v roce 2010 | RIV/00216224:14330/07:00020537 v dodávce dat RIV10-GA0-14330___/01:1 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |
|---|