Blättern nach Person
![]() | Ebene hoch |
Artikel
Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2019)
Language-Integrated Privacy-Aware Distributed Queries.
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA)
doi: 10.1145/3360593
Artikel, Bibliographie
Grewe, Sylvia ; Erdweg, Sebastian ; Pacak, André ; Raulf, Michael ; Mira, Mezini (2018)
Exploration of language specifications by compilation to first-order logic.
In: Science of Computer Programming, 155
doi: 10.1016/j.scico.2017.08.001
Artikel, Bibliographie
Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2018)
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages, 2 (ICFP)
doi: 10.1145/3236762
Artikel, Bibliographie
Buchkapitel
Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira (2017)
A Co-contextual Type Checker for Featherweight Java.
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017)
doi: 10.4230/LIPIcs.ECOOP.2017.18
Buchkapitel, Bibliographie
Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Hrsg.: Kovacs, Laura ; Voronkov, Andrei (2017)
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: Vampire 2016. Proceedings of the 3rd Vampire Workshop
Buchkapitel, Bibliographie
Grewe, Sylvia ; Erdweg, Sebastian ; Raulf, Michael ; Mezini, Mira (2016)
Exploration of language specifications by compilation to first-order logic.
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016
Buchkapitel, Bibliographie
Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016)
CPL: A Core Language for Cloud Computing.
In: Proceedings of the 15th International Conference on Modularity
doi: 10.1145/2889443.2889452
Buchkapitel, Bibliographie
Grewe, Sylvia ; Erdweg, Sebastian ; Wittmann, Pascal ; Mezini, Mira (2015)
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers.
In: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015
Buchkapitel, Bibliographie
Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira (2015)
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
doi: 10.1145/2814270.2814277
Buchkapitel, Bibliographie
Konferenzveröffentlichung
Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Hrsg.: Kovács, Laura ; Voronkov, Andrei (2016)
Using Vampire in Soundness Proofs of Type Systems.
Konferenzveröffentlichung, Bibliographie
Arzt, Steven ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Erdweg, Sebastian ; Mezini, Mira (2015)
Towards Secure Integration of Cryptographic Software.
OOPSLA Onward!. Piitsburgh (25.10.2015)
Konferenzveröffentlichung, Bibliographie
Mitschke, Ralf ; Erdweg, Sebastian ; Köhler, Mirko ; Mezini, Mira ; Salvaneschi, Guido (2014)
i3QL: Language-Integrated Live Data Views.
Portland, Oregon, USA
doi: 10.1145/2714064.2660242
Konferenzveröffentlichung, Bibliographie
Erdweg, Sebastian ; van der Storm, Tijs ; Dai, Yi (2014)
Capture-Avoiding and Hygienic Program Transformations.
28th European Conference on Object-Oriented Programming. Uppsala, Sweden (28.07.-01.08.2014)
doi: 10.1007/978-3-662-44202-9_20
Konferenzveröffentlichung, Bibliographie
Erdweg, Sebastian ; Vergu, Vlad ; Mezini, Mira ; Visser, Eelco (2014)
Finding bugs in program generators by dynamic analysis of syntactic language constraints.
doi: 10.1145/2584469.2584474
Konferenzveröffentlichung, Bibliographie
Weiel, Manuel ; Maier, Ingo ; Erdweg, Sebastian ; Eichberg, Michael ; Mezini, Mira (2014)
Towards virtual traits in Scala.
doi: 10.1145/2637647.2637654
Konferenzveröffentlichung, Bibliographie
Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013)
XPoints: Extension Interfaces for Multilayered Applications.
Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International. Vancouver, Canada (9 - 13 Sept.)
Konferenzveröffentlichung, Bibliographie
Erdweg, Sebastian ; Rieger, Felix (2013)
A Framework for Extensible Languages.
Proceedings of Conference on Generative Programming and Component Engineering (GPCE).
doi: 10.1145/2517208.2517210
Konferenzveröffentlichung, Bibliographie
Lorenzen, Florian ; Erdweg, Sebastian (2013)
Modular and automated type-soundness verification for language extensions.
doi: 10.1145/2500365.2500596
Konferenzveröffentlichung, Bibliographie
Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013)
XPoints: Extension Interfaces for Multilayered Applications.
doi: 10.1109/EDOC.2013.34
Konferenzveröffentlichung, Bibliographie
Erdweg, Sebastian ; Rieger, Felix (2013)
A framework for extensible languages.
doi: 10.1145/2517208.2517210
Konferenzveröffentlichung, Bibliographie
Erdweg, Sebastian ; Rieger, Felix (2013)
A framework for extensible languages.
doi: 10.1145/2517208.2517210
Konferenzveröffentlichung, Bibliographie
Report
Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016)
CPL: A Core Language for Cloud Computing -- Technical Report.
doi: 10.48550/arXiv.1602.00981
Report, Bibliographie