![]() | Ebene hoch |
Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira
:
Versatile Event Correlation with Algebraic Effects.
[Online-Edition: https://doi.org/10.1145/3236762]
In:
Proceedings of the ACM on Programming Languages.
PACMPL, Volume 2 (Issue ICFP).
ACM
, 67:1-67:31.
[Buchkapitel]
, (2018)
Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira
:
A Co-contextual Type Checker for Featherweight Java.
[Online-Edition: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262]
In:
31st European Conference on Object-Oriented Programming (ECOOP 2017).
Leibniz International Proceedings in Informatics (LIPIcs), 74.
, 18:1-18:26.
[Buchkapitel]
, (2017)
Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Kovacs, Laura ; Voronkov, Andrei (eds.)
:
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
[Online-Edition: http://easychair.org/publications/paper/Automating_Proof_Ste...]
In:
Vampire 2016. Proceedings of the 3rd Vampire Workshop.
EPiC Series in Computing, 44.
, S. 33-45.
[Buchkapitel]
, (2017)
Grewe, Sylvia ; Erdweg, Sebastian ; Raulf, Michael ; Mezini, Mira
:
Exploration of language specifications by compilation to first-order logic.
[Online-Edition: http://doi.acm.org/10.1145/2967973.2968606]
In:
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016.
ACM
, S. 104-117.
[Buchkapitel]
, (2016)
Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira
:
CPL: A Core Language for Cloud Computing.
[Online-Edition: http://doi.acm.org/10.1145/2889443.2889452]
In:
Proceedings of the 15th International Conference on Modularity.
MODULARITY 2016.
ACM, New York, NY, USA
, S. 94-105.
ISBN 978-1-4503-3995-7
[Buchkapitel]
, (2016)
Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Kovács, Laura ; Voronkov, Andrei (eds.)
:
Using Vampire in Soundness Proofs of Type Systems.
[Online-Edition: http://easychair.org/publications/paper/Using_Vampire_in_Sou...]
In: EPiC Series in Computing
.
[
Konferenzveröffentlichung]
, (2016)
Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira
:
CPL: A Core Language for Cloud Computing -- Technical Report.
In:
CoRR, abs/1602.00981
[Artikel]
, (2016)
Grewe, Sylvia ; Erdweg, Sebastian ; Wittmann, Pascal ; Mezini, Mira
:
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers.
[Online-Edition: http://doi.acm.org/10.1145/2814228.2814239]
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.
ACM
, S. 137-150.
[Buchkapitel]
, (2015)
Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira
:
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
[Online-Edition: http://doi.acm.org/10.1145/2814270.2814277]
In:
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications.
OOPSLA 2015.
ACM, New York, NY, USA
Pittsburgh, PA, USA
, S. 880-897.
ISBN 978-1-4503-3689-5
[Buchkapitel]
, (2015)
Arzt, Steven ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Erdweg, Sebastian ; Mezini, Mira
:
Towards Secure Integration of Cryptographic Software.
[Online-Edition: http://2015.splashcon.org/track/onward2015-papers]
In: OOPSLA Onward!, 25.10.2015, Piitsburgh.
In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software
.
[
Konferenzveröffentlichung]
, (2015)
Mitschke, Ralf ; Erdweg, Sebastian ; Köhler, Mirko ; Mezini, Mira ; Salvaneschi, Guido
:
i3QL: Language-Integrated Live Data Views.
In: OOPSLA '14
.
ACM
[
Konferenzveröffentlichung]
, (2014)
Erdweg, Sebastian ; Vergu, Vlad ; Mezini, Mira ; Visser, Eelco
:
Finding bugs in program generators by dynamic analysis of syntactic language constraints.
[Online-Edition: http://dx.doi.org/10.1145/2584469.2584474]
Proceedings of the of the 13th international conference on Modularity - MODULARITY '14
[
Konferenzveröffentlichung]
, (2014)
Weiel, Manuel ; Maier, Ingo ; Erdweg, Sebastian ; Eichberg, Michael ; Mezini, Mira
:
Towards virtual traits in Scala.
[Online-Edition: http://dx.doi.org/10.1145/2637647.2637654]
Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14
[
Konferenzveröffentlichung]
, (2014)
Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira
:
XPoints: Extension Interfaces for Multilayered Applications.
[Online-Edition: http://dx.doi.org/10.1109/EDOC.2013.34]
In: Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International, 9 - 13 Sept., Vancouver, Canada.
[
Konferenzveröffentlichung]
, (2013)
Erdweg, Sebastian ; Rieger, Felix
:
A Framework for Extensible Languages.
[Online-Edition: http://erdweg.org/publications/language-extensibility-framew...]
In: Proceedings of Conference on Generative Programming and Component Engineering (GPCE).
ACM
[
Konferenzveröffentlichung]
, (2013)
Lorenzen, Florian ; Erdweg, Sebastian
:
Modular and automated type-soundness verification for language extensions.
[Online-Edition: http://dx.doi.org/10.1145/2500365.2500596]
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13
[
Konferenzveröffentlichung]
, (2013)
Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira
:
XPoints: Extension Interfaces for Multilayered Applications.
[Online-Edition: http://dx.doi.org/10.1109/EDOC.2013.34]
2013 17th IEEE International Enterprise Distributed Object Computing Conference
[
Konferenzveröffentlichung]
, (2013)
Erdweg, Sebastian ; Rieger, Felix
:
A framework for extensible languages.
[Online-Edition: http://dx.doi.org/10.1145/2517208.2517210]
Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13
[
Konferenzveröffentlichung]
, (2013)
Erdweg, Sebastian ; Rieger, Felix
:
A framework for extensible languages.
[Online-Edition: http://dx.doi.org/10.1145/2517208.2517210]
Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13
[
Konferenzveröffentlichung]
, (2013)