Browse by Person

Group by: No Grouping | Item Type | Date | Language

Number of items: 19.

Grewe, Sylvia and Erdweg, Sebastian and Raulf, Michael and 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, ACM, pp. 104-117, [Online-Edition: http://doi.acm.org/10.1145/2967973.2968606],
[Book Section]

Bračevac, Oliver and Erdweg, Sebastian and Salvaneschi, Guido and Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing.
In: Proceedings of the 15th International Conference on Modularity, New York, NY, USA, ACM, pp. 94-105, [Online-Edition: http://doi.acm.org/10.1145/2889443.2889452],
[Book Section]

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovács, Laura and Voronkov, Andrei (eds.) (2016):
Using Vampire in Soundness Proofs of Type Systems.
In: Proceedings of the 1st and 2nd Vampire Workshops, In: EPiC Series in Computing, [Online-Edition: http://easychair.org/publications/paper/Using_Vampire_in_Sou...],
[Conference or Workshop Item]

Grewe, Sylvia and Erdweg, Sebastian and Wittmann, Pascal and 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, ACM, pp. 137-150, [Online-Edition: http://doi.acm.org/10.1145/2814228.2814239],
[Book Section]

Erdweg, Sebastian and Bračevac, Oliver and Kuci, Edlira and Krebs, Matthias and 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, New York, NY, USA, ACM, pp. 880-897, [Online-Edition: http://doi.acm.org/10.1145/2814270.2814277],
[Book Section]

Arzt, Steven and Nadi, Sarah and Ali, Karim and Bodden, Eric and Erdweg, Sebastian and Mezini, Mira (2015):
Towards Secure Integration of Cryptographic Software.
In: OOPSLA Onward!, Piitsburgh, 25.10.2015, In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, [Online-Edition: http://2015.splashcon.org/track/onward2015-papers],
[Conference or Workshop Item]

Mitschke, Ralf and Erdweg, Sebastian and Köhler, Mirko and Mezini, Mira and Salvaneschi, Guido (2014):
i3QL: Language-Integrated Live Data Views.
In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, ACM, Portland, Oregon, USA, In: OOPSLA '14, ISBN 978-1-4503-2585-1,
DOI: 10.1145/2714064.2660242,
[Conference or Workshop Item]

Weiel, Manuel and Maier, Ingo and Erdweg, Sebastian and Eichberg, Michael and Mezini, Mira (2014):
Towards virtual traits in Scala.
In: Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14, [Online-Edition: http://dx.doi.org/10.1145/2637647.2637654],
[Conference or Workshop Item]

Aly, Mohamed and Charfi, Anis and Erdweg, Sebastian and Mezini, Mira (2013):
XPoints: Extension Interfaces for Multilayered Applications.
In: Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International, Vancouver, Canada, 9 - 13 Sept., [Online-Edition: http://dx.doi.org/10.1109/EDOC.2013.34],
[Conference or Workshop Item]

Erdweg, Sebastian and Rieger, Felix (2013):
A Framework for Extensible Languages.
ACM, In: Proceedings of Conference on Generative Programming and Component Engineering (GPCE), [Online-Edition: http://erdweg.org/publications/language-extensibility-framew...],
[Conference or Workshop Item]

Lorenzen, Florian and Erdweg, Sebastian (2013):
Modular and automated type-soundness verification for language extensions.
In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13, [Online-Edition: http://dx.doi.org/10.1145/2500365.2500596],
[Conference or Workshop Item]

Aly, Mohamed and Charfi, Anis and Erdweg, Sebastian and Mezini, Mira (2013):
XPoints: Extension Interfaces for Multilayered Applications.
In: 2013 17th IEEE International Enterprise Distributed Object Computing Conference, [Online-Edition: http://dx.doi.org/10.1109/EDOC.2013.34],
[Conference or Workshop Item]

Erdweg, Sebastian and Rieger, Felix (2013):
A framework for extensible languages.
In: Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13, [Online-Edition: http://dx.doi.org/10.1145/2517208.2517210],
[Conference or Workshop Item]

This list was generated on Tue Jun 18 01:17:46 2019 CEST.

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Export as	Atom RSS 1.0 RSS 2.0