A methodology for the design of reuse engineered Ada components
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Range partition adaptors: a mechanism for parallelizing STL
ACM SIGAPP Applied Computing Review
Design concepts as basis for organizing software catalogs
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Next-generation generic programming and its application to sparse matrix computations
Proceedings of the 14th international conference on Supercomputing
A framework for sparse matrix code synthesis from high-level specifications
Proceedings of the 2000 ACM/IEEE conference on Supercomputing
A Generic C++ Framework for Parallel Mesh-Based Scientific Applications
HIPS '01 Proceedings of the 6th International Workshop on High-Level Parallel Programming Models and Supportive Environments
Concept-Based Component Libraries and Optimizing Compilers
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
An Adaptable and Extensible Geometry Kernel
WAE '01 Proceedings of the 5th International Workshop on Algorithm Engineering
Fundamentals of Generic Programming
Selected Papers from the International Seminar on Generic Programming
A Computational Basis for Conic Arcs and Boolean Operations on Conic Polygons
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
Concept-controlled polymorphism
Proceedings of the 2nd international conference on Generative programming and component engineering
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Essential language support for generic programming
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Bridging AOP to SMP: turning GCC into a metalanguage preprocessor
Proceedings of the 2005 ACM symposium on Applied computing
Usage model-based automated testing of C++ templates
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Lifting sequential graph algorithms for distributed-memory parallel computation
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
GrAL: the grid algorithms library
Future Generation Computer Systems
Algorithm specialization in generic programming: challenges of constrained generics in C++
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Gaussian elimination: a case study in efficient genericity with MetaOCaml
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Concepts: linguistic support for generic programming in C++
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
An adaptable and extensible geometry kernel
Computational Geometry: Theory and Applications
Parallelization of Generic Libraries Based on Type Properties
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
C++ concepts as institutions: a specification view on concepts
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Is Structural Subtyping Useful? An Empirical Study
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Increasing Reuse in Component Models through Genericity
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
GrAL-the grid algorithms library
Future Generation Computer Systems
GRASPER: a framework for graph constraint satisfaction problems
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Type classes as objects and implicits
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Effecting parallel graph eigensolvers through library composition
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Extending type systems in a library: Type-safe XML processing in C++
Science of Computer Programming
Efficient run-time dispatching in generic programming with minimal code bloat
Science of Computer Programming
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
Science of Computer Programming
A language for generic programming in the large
Science of Computer Programming
Science of Computer Programming
Regular expressions at their best: a case for rational design
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Measuring the Overhead of C++ Standard Template Library Safe Variants
Electronic Notes in Theoretical Computer Science (ENTCS)
From UML profiles to EMF profiles and beyond
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Language requirements for large-scale generic libraries
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
The implicit calculus: a new foundation for generic programming
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Productive Parallel Linear Algebra Programming with Unstructured Topology Adaption
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
A system for axiomatic programming
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
The power of interoperability: why objects are inevitable
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Hi-index | 0.00 |