- Organization
- Research
- Impact
- People
- About
- Contact
PTI Bibliography
Filters: Author is Sibylle Schupp [Clear All Filters]
"Generic Programming with C++ Concepts and Haskell Type Classes – a Comparison"
Journal of Functional Programming, vol. 20, no. Special Issue 3-4, pp. 271–302, 2010.
"Generic Programming with C++ Concepts and Haskell Type Classes—a Comparison"
Journal of Functional Programming, vol. 20, no. Special Issue 3-4, pp. 271–302, 2010.
"A Semantic Definition of Separate Type Checking in C++ with Concepts"
Journal of Object Technology, vol. 8, no. 5, pp. 105-132, Jul 2009.
Abstract
"A Semantic Definition of Separate Type Checking in C++ with Concepts"
Journal of Object Technology, vol. 8, no. 5, pp. 105–132, 2009.
"A Comparison of C++ Concepts and Haskell Type Classes"
Proc. {ACM} {SIGPLAN} Workshop on Generic Programming: {ACM}, pp. 48–37, 2008.
"C++ Concepts as Institutions: A Specification View on Concepts"
Proc. Symposium on {Library-Centric} Software Design: {ACM}, pp. 76–87, 2007.
"Multi-Language Library Development: From Haskell Type Classes to C++ Concepts."
Proc. 6th International Workshop on Multiparadigm Programming with {Object-Oriented} Languages, 2007.
"Change Impact Analysis for Generic Libraries"
Proc. of 22nd {{IEEE}} Int. Conf. on Software Maintenance, pp. 35–44, 2006.
"Scrap++: Scrap Your Boilerplate in C++"
Proc. {ACM} {SIGPLAN} Workshop on Generic Programming: {ACM}, pp. 66–75, 2006.
"STLlint: Lifting static checking from languages to libraries"
Software: Practice & Experience, vol. 36, pp. 225–254, 2006.
"Generic Programming and High-Performance Libraries"
International Journal of Parallel Programming, vol. 33, no. 2, Jun 2005.
"Changing Iterators with Confidence. A Case Study of Change Impact Analysis Applied to Conceptual Specifications."
Proc. 1st Int. Workshop on {Library-Centric} Software Design, 2005.
"Generic Programming and High-Performance Libraries"
Workshop on Next Generation Software at IPDPS 2004, Santa Fe, New Mexico, Santa Fe, New Mexico, Apr 2004.
"Rapid Performance Prediction for Library Components"
Proc. 4th. {ACM} Workshop on Software and Performance: {ACM} Press, pp. 73–69, 2004.
Retaining Path-Sensitive Relations across Control-Flow Merges
, no. 03-15: Rensselaer Polytechnic Institute, Nov 2003.
"Design Patterns for Library Optimization"
Scientific Programming, vol. 11, no. 4, pp. 309–320, 2003.
"Concept-Based Component Libraries and Optimizing Compilers"
Proceedings {IPDPS'02}: RPI Computer Science Department Technical Report 02-02, Aug 2002.
"Making the Usage of STL Safe"
IFIP Conference Proceedings, vol. 243: Kluwer, pp. 127–140, Jul 2002.
"Concept-Based Component Libraries and Optimizing Compilers"
Proceedings {IPDPS'02}, 2002.
"Semantic and Behavioral Library Transformations"
Information and Software Technology, vol. 44, no. 13, pp. 797–810, 2002.
Algorithms that share: Polymorphic FFTs, no. 02-07: Rensselaer Polytechnic Institute, 2002.
"The ``Right'' Level of Abstraction –- Assessing Reusable Software with Formal Concept Analysis"
Foundations and Applications of Conceptual Structures –- Contributions to ICCS 2002: Bulgarian Academy of Sciences, pp. 74–91, 2002.
"Library Transformations"
First {IEEE} International Workshop on Source Code Analysis and Manipulation (SCAM 2001), Florence, Italy: IEEE, pp. 109–121, Nov 2001.
"Design Patterns for Library Optimizations"
Proceedings International Conference on Parallel/High-Performance Object-Oriented Scientific Computing (POOSC'01) , Tampa Fl., Oct 2001.
"Base Class Injection"
Third International Conference on Generative and Component-Based Software Engineering, vol. 2186/2001, no. 2186, Erfurt, Germany, Springer-Verlag, Berlin Heidelberg, pp. 106–117, Sep 2001.
]