Browse by Person

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

Number of items: 20.

Kuci, Edlira and Erdweg, Sebastian and Bračevac, Oliver and Bejleri, Andi and Mezini, Mira (2017):
A Co-contextual Type Checker for Featherweight Java.
In: Leibniz International Proceedings in Informatics (LIPIcs), In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), pp. 18:1-18:26, DOI: 10.4230/LIPIcs.ECOOP.2017.18,
[Online-Edition: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262],
[Book Section]

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira Kovacs, Laura and Voronkov, Andrei (eds.) (2017):
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: EPiC Series in Computing, In: Vampire 2016. Proceedings of the 3rd Vampire Workshop, pp. 33-45, [Online-Edition: http://easychair.org/publications/paper/Automating_Proof_Ste...],
[Book Section]

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: MODULARITY 2016, 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: EPiC Series in Computing, In: Proceedings of the 1st and 2nd Vampire Workshops, [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: OOPSLA 2015, 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: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, In: OOPSLA Onward!, Piitsburgh, 25.10.2015, [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: OOPSLA '14, In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, ACM, Portland, Oregon, USA, pp. 417-432, 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, pp. 67-75, [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., pp. 237-246, [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), pp. 3-12, [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, p. 331, [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, pp. 237-246, [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, pp. 3-12, [Online-Edition: http://dx.doi.org/10.1145/2517208.2517210],
[Conference or Workshop Item]

This list was generated on Tue Mar 31 01:51:44 2020 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