Tamas Szabo
Tamas Szabo
JGU Mainz / itemis AG
Vahvistettu sähköpostiosoite verkkotunnuksessa itemis.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Inca: A dsl for the definition of incremental program analyses
T Szabó, S Erdweg, M Voelter
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
372016
Lessons learned from developing mbeddr: a case study in language engineering with MPS
M Voelter, B Kolb, T Szabó, D Ratiu, A van Deursen
Software & Systems Modeling 18 (1), 585-630, 2019
292019
Efficient development of consistent projectional editors using grammar cells
M Voelter, T Szabó, S Lisson, B Kolb, S Erdweg, T Berger
Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016
192016
Incremental pattern matching for the efficient computation of transitive closure
G Bergmann, I Ráth, T Szabó, P Torrini, D Varró
International Conference on Graph Transformation, 386-400, 2012
192012
Incrementalizing lattice-based program analyses in Datalog
T Szabó, G Bergmann, S Erdweg, M Voelter
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
92018
An extensible framework for variable-precision data-flow analyses in MPS
T Szabó, S Alperovich, M Voelter, S Erdweg
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
62016
mbeddr: extensible languages for embedded software development
T Szabó, M Voelter, B Kolb, D Ratiu, B Schaetz
Proceedings of the 2014 ACM SIGAda annual conference on High integrity …, 2014
62014
Developing and visualizing live model queries
Z Ujhelyi, T Szabó, I Ráth, D Varró
Proceedings of the First Workshop on the Analysis of Model Transformations …, 2012
22012
Incremental overload resolution in object-oriented programming languages
T Szabó, E Kuci, M Bijman, M Mezini, S Erdweg
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 27-33, 2018
12018
An Overview of Program Analysis using Formal Methods
M Voelter, T Szabó, B Engelmann
Self-published, 2017
12017
IncAL: A DSL for Incremental Program Analysis with Lattices
T Szabó, M Voelter, S Erdweg
1*
Dedicated support for analyses and optimizations in language workbenches
T Szabó
Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016
2016
Lessons Learned from Developing mbeddr
M Voelter, B Kolb, T Szábó, D Ratiu, A van Deursen
2015
Transitive reachability for efficient event-driven model transformations
T Szabó, G Bergmann
2012
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–14