TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 19.

Bračevac, Oliver and Amin, Nada and Salvaneschi, Guido and Erdweg, Sebastian and Eugster, Patrick and 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.
[Book Section] , (2018)

Kuci, Edlira and Erdweg, Sebastian and Bračevac, Oliver and Bejleri, Andi and 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.
[Book Section] , (2017)

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovacs, Laura and 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. , pp. 33-45.
[Book Section] , (2017)

Grewe, Sylvia and Erdweg, Sebastian and Raulf, Michael and 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 , pp. 104-117.
[Book Section] , (2016)

Bračevac, Oliver and Erdweg, Sebastian and Salvaneschi, Guido and 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 , pp. 94-105. ISBN 978-1-4503-3995-7
[Book Section] , (2016)

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovács, Laura and 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 .
[Conference or Workshop Item] , (2016)

Bračevac, Oliver and Erdweg, Sebastian and Salvaneschi, Guido and Mezini, Mira :
CPL: A Core Language for Cloud Computing -- Technical Report.
In: CoRR, abs/1602.00981
[Article] , (2016)

Grewe, Sylvia and Erdweg, Sebastian and Wittmann, Pascal and 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 , pp. 137-150.
[Book Section] , (2015)

Erdweg, Sebastian and Bračevac, Oliver and Kuci, Edlira and Krebs, Matthias and 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 , pp. 880-897. ISBN 978-1-4503-3689-5
[Book Section] , (2015)

Arzt, Steven and Nadi, Sarah and Ali, Karim and Bodden, Eric and Erdweg, Sebastian and 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 .
[Conference or Workshop Item] , (2015)

Mitschke, Ralf and Erdweg, Sebastian and Köhler, Mirko and Mezini, Mira and Salvaneschi, Guido :
i3QL: Language-Integrated Live Data Views.
In: OOPSLA '14 . ACM
[Conference or Workshop Item] , (2014)

Erdweg, Sebastian and Vergu, Vlad and Mezini, Mira and 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
[Conference or Workshop Item] , (2014)

Weiel, Manuel and Maier, Ingo and Erdweg, Sebastian and Eichberg, Michael and 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
[Conference or Workshop Item] , (2014)

Aly, Mohamed and Charfi, Anis and Erdweg, Sebastian and 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.
[Conference or Workshop Item] , (2013)

Erdweg, Sebastian and 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
[Conference or Workshop Item] , (2013)

Lorenzen, Florian and 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
[Conference or Workshop Item] , (2013)

Aly, Mohamed and Charfi, Anis and Erdweg, Sebastian and 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
[Conference or Workshop Item] , (2013)

Erdweg, Sebastian and 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
[Conference or Workshop Item] , (2013)

Erdweg, Sebastian and 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
[Conference or Workshop Item] , (2013)

This list was generated on Sat Apr 20 00:10:09 2019 CEST.