Verification and Application of Program Transformations
  • Metadata
Content: http://opac.elte.hu/F?func=direct&doc_number=961791
Archive: EDIT
Set: Disszertációk (ELTE PHD)
Informatikai Kar PHD
Informatika Doktori Iskola
Title:
Verification and Application of Program Transformations
Creator:
Horpácsi, Dániel
Contributor:
Horváth, Zoltán
ELTE IK PHD/Informatika D. I.
Date:
2018
Subject:
Műszaki tudományok/Informatikai tudományok
refactoring
program transformation
property based testing
formal grammar
formal verification
domain-specific language
pre-compiler
closure semantics
Erlang
Informatika D. I./Az informatika alapjai és módszerei.
refaktorálás
programtranszformáció
tulajdonságalapú tesztelés
formális grammatika
formális helyességbizonyítás
alkalmazási terület-specifikus nyelv
előfordító
closure szemantika
Erlang
Description:
Language:
English
English
Hungarian
Type:
info:eu-repo/semantics/other
Format:
application/pdf
application/pdf
application/pdf
Identifier:
elte:10.15476/ELTE.2018.170
elte:30548287
LOMS: https://edit.elte.hu/xmlui/bitstream/10831/40607/8/Horp%c3%a1csi_%c3%89rtekez%c3%a9s%2bDOI.pdf
LOMS: https://edit.elte.hu/xmlui/bitstream/10831/40607/9/Horp%c3%a1csi_T%c3%a9zisek_HU.pdf
LOMS: https://edit.elte.hu/xmlui/bitstream/10831/40607/10/Horp%c3%a1csi_T%c3%a9zisek_EN.pdf
Relation:
info:eu-repo/grantAgreement/EC/FP7/227878
Creator:
info:eu-repo/semantics/openAccess