Logo des Repositoriums

Auflistung nach Autor:in "Haller, Philipp"

1 - 2 von 2
  • Konferenzbeitrag
    Ein Faktenextraktor für C++ mit Unterstützung für Typrekonstruktion
    (Softwaretechnik-Trends Band 25, Heft 2, 2005) Haller, Philipp; Kuttruff, Volker; Seng, Olaf
    In diesem Papier wird der Entwurf und die Implementierung eines Faktenextraktors für die Sprache C++ beschrieben, der folgenden Anforderungen genügt: der Faktenextraktor soll robust sein, d.h. er soll mit unvollständigem Quelltext und verschiedenen Sprachdialekten umgehen können. Ein Abbruch der Extraktion ist unter keinen Umständen tolerierbar. Da die Suche nach Strukturproblemen regelmäßig erfolgen soll, sollte ein Analyselauf selbst für Systeme mit über einer Million Zeilen Quelltext über Nacht durchlaufen. Die aufgrund unvollständiger Quellen oder nicht unterstützter Spracherweiterungen verlorengegangene Typinformation soll aus der Verwendung im Quelltext abgeleitet werden.
  • Konferenzbeitrag
    A type-based foundation for closure-passing in the age of concurrency and distribution
    (Software-engineering and management 2015, 2015) Miller, Heather; Haller, Philipp
    Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. However, despite this established viewpoint, reliably distributing function closures over a network, or using them in concurrent environments nonetheless remains a challenge across FP and OO languages. Our work on Spores takes a step towards more principled distributed and concurrent programming by introducing a new closure-like abstraction and type system that can guarantee closures to be serializable, thread-safe, or have custom user-defined properties. In ongoing work we explore the combination of Spores and Scala Pickling to provide a common substrate for type-safe, performant data-intensive applications.