Sibylle Schupp
Visar 27 publikationer
Guaranteeing Privacy Policies using Lightweight Type Systems
Privacy-Preserving Architectures with Probabilistic Guaranties
Automating Exception-Safety Classification
Generic programming with C++ concepts and Haskell type classes—a comparison
A Semantic Definition of Separate Type Checking in C++ with Concepts
WGP'09 Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming
Improving Fault Injection of Soft Errors Using Program Dependencies
A comparison of C++ concepts and Haskell type classes
C++ concepts as institutions: A specification view on concepts
Multi-Language Library Development. From Haskell Type Classes to C++ Concepts.
A Static Analysis for the Strong Exception Safety Guarantee
Proceedings of the Second International Workshop on Library-Centric Software Design (LCSD '06)
Proc. First Internat. Workshop on Library-Centric Software Design (LCSD'05)
Scrap++: Scrap Your Boilerplate in C++
Library-Centric Software Design
Change Impact Analysis for Generic Libraries
From Generic Invocations to Generic Implementations
STLlint: lifting static checking from languages to libraries
Generic Programming and High Performance Libraries
Rapid performance prediction for library components
Generic Programming and High-Performance Libraries
Retaining Path-Sensitive Relations Across Control-Flow Merges
On the Design of Computer Algebra Systems
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.