Pi: a case study in object-oriented programming
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
An industry/academic partnership experiment: a course in artificial intelligence
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Extensions to C for interface programming
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
Three steps to views: extending the object-oriented paradigm
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
FUTURES: a mechanism for concurrency among objects
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Specification of an object to object protocol in Abstract Syntax Notation One (ASN.1)
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
ICS '91 Proceedings of the 5th international conference on Supercomputing
HOPL-II The second ACM SIGPLAN conference on History of programming languages
An object-oriented toolkit for ODA and HyperODA
SIGDOC '93 Proceedings of the 11th annual international conference on Systems documentation
Proceedings of the 1993 ACM/IEEE conference on Supercomputing
How to make AXIOM into a scratchpad
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Run-time parallelization of sequential database programs
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Accessing relational databases from the World Wide Web
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Object-centered design: a five-phase introduction to object-oriented programming in CS1–2
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Flavor: a language for media representation
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
Portable profiling and tracing for parallel, scientific applications using C++
SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Performance analysis of communication systems formally specified in SDL
Proceedings of the 1st international workshop on Software and performance
Transparent modules with fully syntatic signatures
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Adaptive software cache management for distributed shared memory architectures
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Compiling a simulation language in APL
APL '98 Proceedings of the APL98 conference on Array processing language
Using APL to build science tutors for the high school level
APL '98 Proceedings of the APL98 conference on Array processing language
Crossroads - Special issue on object oriented programming
Advanced Exception Handling Mechanisms
IEEE Transactions on Software Engineering
Enjoying C++: user allocation structures
Proceedings of the seventh annual consortium for computing in small colleges central plains conference on The journal of computing in small colleges
Scientific programming in field theory, part 1
Computing in Science and Engineering
Performance engineering case study: heap construction
Journal of Experimental Algorithmics (JEA)
Dynamic Adaptation and Deployment of Distributed Components In Hadas
IEEE Transactions on Software Engineering
Growing languages with metamorphic syntax macros
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Parsing C++ code despite missing declarations
Advances in software engineering
Using mixins to build flexible widgets
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
ACM Transactions on Mathematical Software (TOMS)
Computer assisted proof of optimal approximability results
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Support for subtyping and code re-use in Timor
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
AspectC++: an aspect-oriented extension to the C++ programming language
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Symmetry in class and type hierarchy
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Object lifetime manager a complementary pattern for controlling object creation and destruction
Design patterns in communications software
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Applying software engineering techniques to parser design: the development of a C# parser
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Common knowledge: conventional generic algorithms
C/C++ Users Journal
Generalizing the concepts behind auto_ptr
C/C++ Users Journal
STL & generic programming: writing your own iterators
C/C++ Users Journal
MAPM, a portable arbitrary precision math library in C
C/C++ Users Journal
Application and programming experience with the Ara mobile agent system
Software—Practice & Experience - Special issue: Mobile agent systems
Matchmaking: An extensible framework for distributed resource management
Cluster Computing
Information and Computation - FOOL VII
Information and Computation - FOOL VII
Improved CSG rendering using overlap graph subtraction sequences
Proceedings of the 1st international conference on Computer graphics and interactive techniques in Australasia and South East Asia
On the return types of virtual functions
ACM SIGPLAN Notices
Object-oriented symbol management in syntax-directed compiler systems
ACM SIGPLAN Notices
Integration of the Standard Template Library and the Microsoft Foundation Class
ACM SIGPLAN Notices
A software architecture for user transparent parallel image processing
Parallel Computing - Parallel computing in image and video processing
Ten Good Practices in Scientific Programming
Computing in Science and Engineering
How Templates Enable High-Performance Scientific Computing in C++
Computing in Science and Engineering
Scientific Programming in Field Theory, Part 2
Computing in Science and Engineering
Efficient Dilation, Erosion, Opening, and Closing Algorithms
IEEE Transactions on Pattern Analysis and Machine Intelligence
On Object Systems and Behavioral Inheritance
IEEE Transactions on Software Engineering
Extending the standard template library with association classes
C/C++ Users Journal - Graphics
A stream class for calling Perl from C++
C/C++ Users Journal - Mixed-language programming
STL & generic programming: STL algorithms
C/C++ Users Journal - Testing & debugging
Interfaces with default implementations in Java
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Exceptions in object modeling: finding exceptions from the elements of the static object model
Advances in exception handling techniques
A Calculus for Compiling and Linking Classes
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
C++ Function Object Binders Made Easy
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Mixin-Based Programming in C++
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
An Extensible Compiler for Creating Scriptable Scientific Software
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
The Lazy Programmer's Approach to Building a Parallel Image processing Library
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Resizable Arrays in Optimal Time and Space
WADS '99 Proceedings of the 6th International Workshop on Algorithms and Data Structures
COMPSAC '00 24th International Computer Software and Applications Conference
Sharing Objects by Read-Only References
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Object-Oriented Database as a Dynamic System with Implicit State
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
A Core Calculus of Classes and Mixins
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Empirical Study of Object-Layout Strategies and Optimization Techniques
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Extending Moby with Inheritance-Based Subtyping
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Sealing, Encapsulation, and Mutability
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Difference-Based Modules: A Class-Independent Module Mechanism
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Accessing the Internal Organization of Data Structures in the JDSL Library
ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Janus: A C++ Template Library for Parallel Dynamic Mesh Applications
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
Performance Engineering Case Study: Heap Construction
WAE '99 Proceedings of the 3rd International Workshop on Algorithm Engineering
An Experimental Evaluation of Hybrid Data Structures for Searching
WAE '99 Proceedings of the 3rd International Workshop on Algorithm Engineering
Experiences with the Design and Implementation of Space-Efficient Deques
WAE '01 Proceedings of the 5th International Workshop on Algorithm Engineering
An Adaptable and Extensible Geometry Kernel
WAE '01 Proceedings of the 5th International Workshop on Algorithm Engineering
Exceptions in Object Modeling: Finding Exceptions from the Elements of the Static Object Model
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
The STL Model in the Geometric Domain
Selected Papers from the International Seminar on Generic Programming
Segmented Iterators and Hierarchical Algorithms
Selected Papers from the International Seminar on Generic Programming
Fundamentals of Generic Programming
Selected Papers from the International Seminar on Generic Programming
User-Extensible SimplificationType-Based Optimizer Generators
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Beyond Generic Component Parameters
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Detecting Read-Only Methods in Java
LCR '00 Selected Papers from the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
Reengineering C/C++ Source Code by Transforming State Machines
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
A comparative evaluation of generic programming in Java and C++
Software—Practice & Experience
Journal of Symbolic Computation
On the implementation of Fril++ for object-oriented logic programming with uncertainty and fuzziness
Technologies for constructing intelligent systems
Journal of Computing Sciences in Colleges
Formal software engineering for computational modelling
Nordic Journal of Computing
An integrated dynamic memory tracing tool for C++
Information Sciences—Informatics and Computer Science: An International Journal
SISYPHUS: the implementation of a chunk-based storage manager for OLAP data cubes
Data & Knowledge Engineering - Special issue: Advances in OLAP
On the hardware-software partitioning problem: System modeling and partitioning techniques
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Improving Object Oriented Analysis by Explicit Change Analysis
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Automatic Floating to Fixed Point Translation and its Application to Post-Rendering 3D Warping
FCCM '99 Proceedings of the Seventh Annual IEEE Symposium on Field-Programmable Custom Computing Machines
But Who Will Guard the Guardians?
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
On the Behavioral Inheritance of State-Based Objects
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Automated scientific software scripting with SWIG
Future Generation Computer Systems - Tools for program development and analysis
AGATE, Access Graph-Based Tools for Handling Encapsulation
Proceedings of the 16th IEEE international conference on Automated software engineering
C++ Expression Templates Performance Issues in Scientific Computing
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Preserving confidentiality of high-dimensional tabulated data: Statistical and computational issues
Statistics and Computing
A simple algorithm to decipher declarations
Journal of Computing Sciences in Colleges
Global Analysis and Transformations in Preprocessed Languages
IEEE Transactions on Software Engineering
Parsing expression grammars: a recognition-based syntactic foundation
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Taming the tiger: teaching the next version of Java
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Computational performance of Java and C++ in processing fMRI datasets
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modeling and Simulation of ATM Traffic Management
ANSS '04 Proceedings of the 37th annual symposium on Simulation
A C++ Pooled, Shared Memory Allocator for Simulator Development
ANSS '04 Proceedings of the 37th annual symposium on Simulation
ANSS '04 Proceedings of the 37th annual symposium on Simulation
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
On hardware description in ECL
Languages for system specification
Improving the static analysis of embedded languages via partial evaluation
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Extensible objects without labels
ACM Transactions on Programming Languages and Systems (TOPLAS)
ProtoMol, an object-oriented framework for prototyping novel algorithms for molecular dynamics
ACM Transactions on Mathematical Software (TOMS)
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Some remarks on teaching of programming
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
User Transparent Parallel Processing of the 2004 NIST TRECVID Data Set
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
Design and implementation of an extended relationship semantics in an ODMG-compliant OODBMS
Journal of Systems and Software
A garbage collection policy based on empirical behavior
Information Sciences—Informatics and Computer Science: An International Journal
Generic matrix multiplication and memory management in linBox
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Usage model-based automated testing of C++ templates
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Retargetable generation of TLM bus interfaces for MP-SoC platforms
CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Efficient subtyping tests with PQ-encoding
ACM Transactions on Programming Languages and Systems (TOPLAS)
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Software—Practice & Experience
Verification of an Off-Line Checker for Priority Queues
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Traits: A mechanism for fine-grained reuse
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software—Practice & Experience - Research Articles
MultiJava: Design rationale, compiler implementation, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Advanced unit testing: how to scale up a unit test framework
Proceedings of the 2006 international workshop on Automation of software test
A historic functional and object-oriented calculus
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Object-oriented numerical integration: a template scheme for FEM and BEM applications
Advances in Engineering Software
Proceedings of the 2006 ACM symposium on Applied computing
Towards reliable OSGi framework and applications
Proceedings of the 2006 ACM symposium on Applied computing
Strongly typed memory areas programming systems-level data structures in a functional language
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Journal of Systems and Software
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A framework for unified resource management in Java
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Assimilating MetaBorg:: embedding language tools in languages
Proceedings of the 5th international conference on Generative programming and component engineering
Stayin' alert:: moulding failure and exceptions to your needs
Proceedings of the 5th international conference on Generative programming and component engineering
Tribe: a simple virtual class calculus
Proceedings of the 6th international conference on Aspect-oriented software development
Which pointer errors do students make?
Proceedings of the 38th SIGCSE technical symposium on Computer science education
A different need for sequencing contracts using state-based aspects
Proceedings of the 2nd workshop on Best practices in applying aspect-oriented software development
Hybrid object labelling in digital images
Machine Vision and Applications
Evolving a language in and for the real world: C++ 1991-2006
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Config: a case study in combining software engineering techniques
Scientific Programming
Coordinate free programming of computational fluid dynamics problems
Scientific Programming
Machine and collection abstractions for user-implemented data-parallel programming
Scientific Programming
An algebraic programming style for numerical software and its optimization
Scientific Programming
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Implementing a high performance tensor library
Scientific Programming - POOSC '01 Workshop
A simplified method for implementing run-time polymorphism in Fortran95
Scientific Programming
Visual Analytics: Visual data mining and analysis of software repositories
Computers and Graphics
An adaptable and extensible geometry kernel
Computational Geometry: Theory and Applications
Compile time symbolic derivation with C++ templates
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Multi-dispatch in the Java virtual machine: design and implementation
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Content-based publish/subscribe with structural reflection
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Dynamic C++ classes: a lightweight mechanism to update code in a running program
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
NewsCache: a high performance cache implementation for Usenet news
ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference
deal.II—A general-purpose object-oriented finite element library
ACM Transactions on Mathematical Software (TOMS)
Mechanisms for improved covariant type-checking
Computer Languages, Systems and Structures
Efficient dynamic dispatching with type slicing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Featherweight Java with multi-methods
Proceedings of the 5th international symposium on Principles and practice of programming in Java
A Relax-and-Cut algorithm for the set partitioning problem
Computers and Operations Research
FeatherTrait: A modest extension of Featherweight Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
A case study in introductory programming
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Software mechanisms for extensible and scalable 3D visualization of construction operations
Advances in Engineering Software
Architecture of Qbox: a scalable first-principles molecular dynamics code
IBM Journal of Research and Development
Transforming learning of programming: a mentoring project
ACE '08 Proceedings of the tenth conference on Australasian computing education - Volume 78
A geoscience perspective on immersive 3D gridded data visualization
Computers & Geosciences
Two-dimensional bidirectional object layout
ACM Transactions on Programming Languages and Systems (TOPLAS)
Providing expressive gaze to virtual animated characters in interactive applications
Computers in Entertainment (CIE) - SPECIAL ISSUE: Media Arts
A trait based re-engineering technique for Java hierarchies
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Journal of Computational and Applied Mathematics
A Minimal Set of Refactoring Rules for Object-Z
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Enhanced integration of Java to symbian OS using smart pointers
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Expressive and modular predicate dispatch for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Simulation
An operating system infrastructure for remote code update in deeply embedded systems
Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades
Future Play '08 Proceedings of the 2008 Conference on Future Play: Research, Play, Share
DracoSTM: a practical C++ approach to software transactional memory
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
A model-based regression test selection approach for embedded applications
ACM SIGSOFT Software Engineering Notes
An Object-Oriented Design for Two-Dimensional Vortex Particle Methods
ACM Transactions on Mathematical Software (TOMS)
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Package coupling measurement in object-oriented software
Journal of Computer Science and Technology
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
Are We Ready for a Safer Construction Environment?
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Proceedings of the 46th Annual Design Automation Conference
Minimizing dependencies within generic classes for faster and smaller programs
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Design patterns for multiphysics modeling in Fortran 2003 and C++
ACM Transactions on Mathematical Software (TOMS)
Thermoelastic properties of solid phases: C++ object oriented library "SolidEOS"
Computers & Geosciences
Assessing the impact of global variables on program dependence and dependence clusters
Journal of Systems and Software
Hierarchical parallelisation for the solution of stochastic finite element equations
Computers and Structures
Comparing integer data structures for 32- and 64-bit keys
Journal of Experimental Algorithmics (JEA)
Directly reflective meta-programming
Higher-Order and Symbolic Computation
Some remarks about OO teaching
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
On formalization of object model by unifying intensional and extensional representations
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
CScout: A refactoring browser for C
Science of Computer Programming
Deferred cancellation: a behavioral pattern
Proceedings of the 15th Conference on Pattern Languages of Programs
automata: a hybrid system for computational automata theory
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
Charles: a data structure library for Ada95
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Managing C++ OpenMP code and its exception handling
WOMPAT'03 Proceedings of the OpenMP applications and tools 2003 international conference on OpenMP shared memory parallel programming
Java as a functional programming language
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Object-oriented framework for modelling of pollutant transport in river network
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
STAPL: an adaptive, generic parallel C++ library
LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
A case study in high-performance mixed-language programming
PARA'06 Proceedings of the 8th international conference on Applied parallel computing: state of the art in scientific computing
The iterative solver template library
PARA'06 Proceedings of the 8th international conference on Applied parallel computing: state of the art in scientific computing
Exhaustive testing of exception handlers with enforcer
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Comparing integer data structures for 32 and 64 bit keys
WEA'08 Proceedings of the 7th international conference on Experimental algorithms
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
xM: a graphical user interface for mobile ad-hoc sensor and PDA networks
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
The use of overloading in JAVA programs
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Implementing statically typed object-oriented programming languages
ACM Computing Surveys (CSUR)
Strong exception-safety for Java-like languages
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
Developing traditions of music notation and performance on the web
WEDELMUSIC'02 Proceedings of the Second international conference on Web delivering of music
Constructing two-dimensional Voronoi diagrams via divide-and-conquer of envelopes in space
Transactions on computational science IX
Constructing two-dimensional Voronoi diagrams via divide-and-conquer of envelopes in space
Transactions on computational science IX
Computers in Biology and Medicine
Computational programming technologies
Programming and Computing Software
Implementing random indexing on GPU
Proceedings of the 19th High Performance Computing Symposia
Algorithms and data structures for massively parallel generic adaptive finite element codes
ACM Transactions on Mathematical Software (TOMS)
An association-based model of dynamic behaviour
Proceedings of the 1st International Workshop on Free Composition
Automatic code generation from event-B models
Proceedings of the Second Symposium on Information and Communication Technology
The VerCors project: setting up basecamp
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
Tokenisation and compression of Java class files
Journal of Systems Architecture: the EUROMICRO Journal
Object-Oriented language processing
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Towards the development of ubiquitous middleware product lines
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
Control of digital audio signal processing over communication networks
ICN'05 Proceedings of the 4th international conference on Networking - Volume Part II
Limes: an aspect-oriented constraint checking language
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Towards automatic exception safety verification
FM'06 Proceedings of the 14th international conference on Formal Methods
Enforcer – efficient failure injection
FM'06 Proceedings of the 14th international conference on Formal Methods
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Proceedings of the 2011 ACM SIGPLAN X10 Workshop
Efficient method of pixel neighborhood traversal
Journal of Visual Communication and Image Representation
Simulating multiple inheritance and generics in Java
Computer Languages
Fast method dispatch and effective use of primitives for reified generics in managed X10
Proceedings of the 2012 ACM SIGPLAN X10 Workshop
Class-Modular, class-escape and points-to analysis for object-oriented languages
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Magda: a new language for modularity
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
A hierarchical and view dependent visualization algorithm for tree based AMR data in 2D or 3D
EG PGV'04 Proceedings of the 5th Eurographics conference on Parallel Graphics and Visualization
PROBE-A multicriteria decision support system for portfolio robustness evaluation
Decision Support Systems
A computational evaluation of optimization solvers for CTA
PSD'12 Proceedings of the 2012 international conference on Privacy in Statistical Databases
Parallel framework for topology optimization using the method of moving asymptotes
Structural and Multidisciplinary Optimization
AutoSynch: an automatic-signal monitor based on predicate tagging
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Java interoperability in managed X10
Proceedings of the third ACM SIGPLAN X10 Workshop
Multiple point evaluation on combined tensor product supports
Numerical Algorithms
Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Semantic Types and Approximation for Featherweight Java
Theoretical Computer Science
Hi-index | 0.02 |
From the Publisher:This is a complete rewrite of the most widely read and most trusted book on C++. Based on the ANSI/ISO C++ final draft, this book covers the C++ language, its standard library, and key design techniques as an integrated whole. The C++ Programming Language provides comprehensive coverage of C++ language features and standard library components. With this third edition, Stroustrup makes C++ even more accessible to those new to the language while adding information and techniques that even expert C++ programmers will find invaluable.