Megjelenítés: 1 - 13 / 13 - kulcsszavak: 'Horpácsi Dániel', keresési idő: 0.01mp Találatok szűrése
1
Trustworthy Refactoring via Decomposition and Schemes
Szerző: Horpácsi, Dániel
Megjelenés: 2017
Ugrás a forráshoz
folyóiratcikk
Mentés a listára
Mentés helye:
2
Formális szemantika
Szerző: Horpácsi, Dániel
Megjelenés: 2014
Ugrás a forráshoz
vegyes
Mentés a listára
Mentés helye:
3
Verification and Application of Program Transformations
Szerző: Horpácsi Dániel
Megjelenés: 2018
Ugrás a forráshoz
Ugrás a forráshoz
Ugrás a forráshoz
disszertáció
Mentés a listára
Mentés helye:
4
Program equivalence in an untyped, call-by-value functional language with uncurried functions
Szerző: Horpácsi, Dániel
Megjelenés: 2023
Ugrás a forráshoz
folyóiratcikk
Mentés a listára
Mentés helye:
5
Interactive Teaching of Programming Language Theory with a Proof Assistant
Szerző: Bereczky, Péter
Megjelenés: 2020
Közreműködő(k): “...Horpácsi, Dániel...”
Ugrás a forráshoz
folyóiratcikk
Mentés a listára
Mentés helye:
6
Séma alapú refaktoráló DSL adaptálása objektumorientált programozási nyelvre
Szerző: Németh, Dávid János
Megjelenés: 2018-06-01
“...Horpácsi, Dániel...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
7
Formális szemantika megadása a P4 programozási nyelvhez
Szerző: Brunner, Márton
Megjelenés: 2017-12-15
“...Horpácsi, Dániel...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
8
Az illesztési logika formalizációjának alkalmazásai és továbbfejlesztése tételbizonyító rendszerben
Szerző: Mizsei Tamás Bálint
Megjelenés: 2021-06-08
“...Horpácsi Dániel...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
9
Egy biztonságos, alacsony szintű programozási nyelv
Szerző: Tarcsa, Márk Koppány
Megjelenés: 2019-05-21
“...Horpácsi, Dániel...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
10
Adatgyüjtő készülék felkészítése szabadon megadható infix formátumú képletekkel definiált számításokat elvégző interpreterrel
Szerző: Schwarz, Márton
Megjelenés: 2018-05-18
“...Horpácsi, Dániel...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
11
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
Szerző: Piszkor Balázs
Megjelenés: 2020-06-04
“...Horpácsi Dániel...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
12
A Natural Semantics for Core Erlang Formalised in the Coq Proof Assistant
Szerző: Bereczky Péter
Megjelenés: 2020-06-04
“...Horpácsi Dániel...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
13
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
Szerző: Boros Attila Péter
Megjelenés: 2020-06-05
“...Horpácsi Dániel...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben —