BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
C++
(sea plus plus)
Google C++

Tag #c++

303 papers:

ASPLOSASPLOS-2020-MaasAIJMR #memory management
Learning-based Memory Allocation for C++ Server Workloads (MM, DGA, MI, MMJ, KSM, CR), pp. 541–556.
CCCC-2020-Lopez-Gomez0AVN
Relaxing the one definition rule in interpreted C++ (JLG, JF0, DdRA, VV, AN, JDG), pp. 212–222.
SCAMSCAM-2019-BradleyG #case study #exception #open source
A Study on the Effects of Exception Usage in Open-Source C++ Systems (KB, MG), pp. 1–11.
SEFMSEFM-2019-StillB #detection #parallel #source code
Local Nontermination Detection for Parallel C++ Programs (VS, JB), pp. 373–390.
PLDIPLDI-2019-PowersTB0 #c #memory management #named
Mesh: compacting memory management for C/C++ applications (BP, DT, EDB, AM0), pp. 333–346.
ASEASE-2019-MaYLYZ #fault #named #pointer #source code #static analysis
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs (XM, JY, YL, JY0, JZ), pp. 1122–1125.
ESEC-FSEESEC-FSE-2019-LangP #case study #framework #model checking
Model checking a C++ software framework: a case study (JL, ISWBP), pp. 1026–1036.
ICSE-2019-Eyolfson0 #developer #empirical #how
How C++ developers use immutability declarations: an empirical study (JE, PL0), pp. 362–372.
CCCC-2019-RenwickSF #embedded #exception #low cost
Low-cost deterministic C++ exceptions for embedded systems (JR, TS, BF), pp. 76–86.
ICSTICST-2019-FuMG #testing
Resurgence of Regression Test Selection for C++ (BF, SM, MG), pp. 323–334.
ICPCICPC-2018-GaoMSSZMMDDZC #c #debugging #detection #named
CoBOT: static C/C++ bug detection in the presence of incomplete code (QG, SM, SS, YS, GZ, LM, XM, FD, XD, SZ, XC), pp. 385–388.
MoDELSMoDELS-2018-KusmenkoRSW #compilation #component #embedded #modelling #multi
Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc (EK, BR, SS, MvW), pp. 447–457.
PLDIPLDI-2018-ChongSW #memory management #semantics #transaction
The semantics of transactions and weak memory in x86, Power, ARM, and C++ (NC, TS0, JW), pp. 211–225.
PLDIPLDI-2018-DuckY #c #detection #effectiveness #fault #memory management #named #using
EffectiveSan: type and memory error detection using dynamically typed C/C++ (GJD, RHCY), pp. 181–195.
POPLPOPL-2018-Kokologiannakis #c #concurrent #effectiveness #model checking
Effective stateless model checking for C/C++ concurrency (MK, OL, KS, VV), p. 32.
ASEASE-2018-MonteiroGCF #bound #framework #model checking #platform #source code
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract) (FRM, MAPG, LCC, EBdLF), p. 954.
ICSE-2018-HeadSMK #api #documentation #trade-off
When not to comment: questions and tradeoffs with API documentation for C++ projects (AH, CS, ERMH, AK), pp. 643–653.
ICTSSICTSS-2018-BonfantiGM #modelling #state machine #validation
Validation of Transformation from Abstract State Machine Models to C++ Code (SB, AG, AM), pp. 17–32.
SCAMSCAM-2017-SzalayPK #c #clustering #source code #towards
Towards Better Symbol Resolution for C/C++ Programs: A Cluster-Based Solution (RS, ZP, DK), pp. 101–110.
SASSAS-2017-GurfinkelN #c #memory management #source code #verification
A Context-Sensitive Memory Model for Verification of C/C++ Programs (AG, JAN), pp. 148–168.
ASEASE-2017-RupprechtC0BLB #c #data type #identification #named
DSIbin: identifying dynamic data structures in C/C++ binaries (TR, XC0, DHW0, JHB, GL, HB), pp. 331–341.
MoDELSMoDELS-2016-TuchschererWT #automation #collaboration #modelling
Modern C++ as a modeling language for automated driving and human-robot collaboration (DT, AW, FT), pp. 136–142.
ECOOPECOOP-2016-EyolfsonL #empirical
C++ const and Immutability: An Empirical Study of Writes-Through-const (JE, PL0), p. 25.
SASSAS-2016-BalatsourasS #analysis #c #points-to
Structure-Sensitive Points-To Analysis for C and C++ (GB, YS), pp. 84–104.
FSEFSE-2016-YoshidaTPGU #c #fine-grained #generative #incremental #named #source code #testing
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs (HY, ST, MRP, IG, TU), pp. 1052–1056.
ICSE-2016-UesbeckSHPD #empirical #experience
An empirical study on the impact of C++ lambdas and programmer experience (PMU, AS, SH, JP, PD), pp. 760–771.
CGOCGO-2016-ChakrabortyV #c #concurrent #optimisation #source code #validation
Validating optimizations of concurrent C/C++ programs (SC, VV), pp. 216–226.
ICSMEICSME-2015-AbidDCM #automation #generative #natural language #summary #using
Using stereotypes in the automatic generation of natural language summaries for C++ methods (NJA, ND, MLC, JIM), pp. 561–565.
SCAMSCAM-2015-BonifacioCRKC #exception #using
The use of C++ exception handling constructs: A comprehensive study (RB, FC, GNR, UK, RC), pp. 21–30.
SCAMSCAM-2015-HuckBU
Checking C++ codes for compatibility with operator overloading (AH, CB, JU), pp. 91–100.
SEFMSEFM-2015-RockaiSB #c #model checking
Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
CEFPCEFP-2015-Cukic #functional #programming
Functional Reactive Programming in C++ (IC), pp. 42–74.
CEFPCEFP-2015-Grimm #functional #programming
Programming in a Functional Style in C++ (RG), pp. 111–136.
CEFPCEFP-2015-Porkolab #functional #programming
Immutables in C++: Language Foundation for Functional Programming (ZP), pp. 75–110.
SEKESEKE-2015-WuCZX #developer #empirical #how #library
How do developers use C++ libraries? An empirical study (DW, LC, YZ, BX), pp. 260–265.
ASEASE-2015-Narasimhan #eclipse #plugin
Clone Merge — An Eclipse Plugin to Abstract Near-Clone C++ Methods (KN), pp. 819–823.
CGOCGO-2015-StepanovS #detection #memory management #named #performance
MemorySanitizer: fast detector of uninitialized memory use in C++ (ES, KS), pp. 46–55.
ICSTSAT-2015-CorziliusKJSA #named #open source #parallel #smt
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (FC, GK, SJ, SS, ), pp. 360–368.
SCAMSCAM-2014-HutchinsBS #analysis #c #concurrent #safety #thread
C/C++ Thread Safety Analysis (DH, AB, DS), pp. 41–46.
SCAMSCAM-2014-KosowerLR #documentation #framework #named
Flowgen: Flowchart-Based Documentation Framework for C++ (DAK, JJLV, SAR), pp. 59–64.
ICEISICEIS-v2-2014-DingTZ #automation #c #source code
Automatic Removal of Buffer Overflow Vulnerabilities in C/C++ Programs (SD, HBKT, HZ), pp. 49–59.
SEKESEKE-2014-WuCZX #empirical #library
An empirical study on the adoption of C++ templates: Library templates versus user defined templates (DW, LC, YZ, BX), pp. 144–149.
HILTHILT-2014-Crocker #question
Can C++ be made as safe as SPARK? (DC), pp. 5–12.
PEPMPEPM-2014-0008E #detection #fault
Early detection of type errors in C++ templates (SC, ME), pp. 133–144.
CGOCGO-2014-BarikKMLSHNA #performance
Efficient Mapping of Irregular C++ Applications to Integrated GPUs (RB, RK, DM, BTL, TS, CH, YN, ARAT), p. 33.
CSMRCSMR-2013-DuclosDGA #automation #named #testing
ACRE: An Automated Aspect Creator for Testing C++ Applications (ED, SLD, YGG, BA), pp. 121–130.
WCREWCRE-2013-HallerSB #c #data type #detection #named
MemPick: High-level data structure detection in C/C++ binaries (IH, AS, HB), pp. 32–41.
CEFPCEFP-2013-PorkolabSS #domain-specific language #metaprogramming
DSL in C++ Template Metaprogram (ZP, ÁS, IS), pp. 76–114.
OOPSLAOOPSLA-2013-DeLozierENOMZ #set #type safety
Ironclad C++: a library-augmented type-safe subset of c++ (CD, RAE, SN, PMO, MMKM, SZ), pp. 287–304.
OOPSLAOOPSLA-2013-NorrisD #c #concurrent #data type #named
CDSchecker: checking concurrent data structures written with C/C++ atomics (BN, BD), pp. 131–150.
POPLPOPL-2013-BattyDG #abstraction #c #concurrent #library
Library abstraction for C/C++ concurrency (MB, MD, AG), pp. 235–248.
ASEASE-2013-KusanoW #c #concurrent #generative #named #parallel #thread
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.
ICSEICSE-2013-GargIBMG #c #execution #generative #testing #using
Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
ICSEICSE-2013-PastoreMG #c #debugging #named #problem
RADAR: a tool for debugging regression problems in C/C++ software (FP, LM, AG), pp. 1335–1338.
GPCEGPCE-2013-SolodkyyRS #pattern matching
Open pattern matching for C++ (YS, GDR, BS), pp. 33–42.
DACDAC-2013-BombieriLFC #synthesis
A method to abstract RTL IP blocks into C++ code and enable high-level synthesis (NB, HYL, FF, LPC), p. 9.
CAVCAV-2013-BarnatBHHKLRSW #c #model checking #parallel #source code #thread
DiVinE 3.0 — An Explicit-State Model Checker for Multithreaded C & C++ Programs (JB, LB, VH, JH, JK, ML, PR, VS, JW), pp. 863–868.
ICSTICST-2013-HillTB #bound #named
GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software (EH, DJT, SB), pp. 134–143.
ICSMEICSM-2012-KumarSS #source code
Rejuvenating C++ programs through demacrofication (AK, AS, BS), pp. 98–107.
ICSMEICSM-2012-SuttonZ #library #testing
Testing C++ generic libraries (AS, MZ), pp. 36–45.
OOPSLAOOPSLA-2012-SolodkyyRS #performance
Open and efficient type switch for C++ (YS, GDR, BS), pp. 963–982.
TOOLSTOOLS-EUROPE-2012-LangrTDD #runtime
Fake Run-Time Selection of Template Arguments in C++ (DL, PT, TD, JPD), pp. 140–154.
PLDIPLDI-2012-SarkarMOBSMAW #c
Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
POPLPOPL-2012-BattyMOSS #c #compilation #concurrent
Clarifying and compiling C/C++ concurrency: from C++11 to POWER (MB, KM, SO, SS, PS), pp. 509–520.
POPLPOPL-2012-RamananandroRL #resource management #semantics
A mechanized semantics for C++ object construction and destruction, with applications to resource management (TR, GDR, XL), pp. 521–532.
ICSEICSE-2012-DietzLRA #c #comprehension #integer
Understanding integer overflow in C/C++ (WD, PL, JR, VSA), pp. 760–770.
CCCC-2012-YangBMIGSSS #inheritance #program analysis
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis (JY, GB, NM, FI, AG, NS, SS, NS), pp. 144–164.
PDPPDP-2012-PellegriniPF #interface #lightweight
A Lightweight C++ Interface to MPI (SP, RP, TF), pp. 3–10.
ESOPESOP-2012-Stroustrup
Foundations of C++ (BS), pp. 1–25.
ICSMEICSM-2011-MihaliczaPG #profiling
Type-preserving heap profiler for C++ (JM, ZP, AG), pp. 457–466.
WCREWCRE-2011-FokinDCT #decompiler #named
SmartDec: Approaching C++ Decompilation (AF, ED, AC, KT), pp. 347–356.
ECOOPECOOP-2011-PrabhuMBIG #analysis #exception #interprocedural
Interprocedural Exception Analysis for C++ (PP, NM, GB, FI, AG), pp. 583–608.
POPLPOPL-2011-BattyOSSW #concurrent
Mathematizing C++ concurrency (MB, SO, SS, PS, TW), pp. 55–66.
POPLPOPL-2011-RamananandroRL #inheritance #layout #multi #verification
Formal verification of object layout for c++ multiple inheritance (TR, GDR, XL), pp. 67–80.
PPDPPPDP-2011-BlanchetteWBOS #concurrent
Nitpicking C++ concurrency (JCB, TW, MB, SO, SS), pp. 113–124.
ICSEICSE-2011-BhattacharyaN #c #case study #development #maintenance #programming language
Assessing programming language impact on development and maintenance: a study on c and c++ (PB, IN), pp. 171–180.
GPCEGPCE-J-2009-BaggeDH11 #axiom #testing
Testing with Axioms in C++ 2011 (AHB, VD, MH), pp. 239–270.
SLESLE-2011-SuttonS #concept #design #library
Design of Concept Libraries for C++ (AS, BS), pp. 97–118.
CAVCAV-2011-LiGR #automation #execution #generative #named #source code #symbolic computation #testing
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
CSMRCSMR-2010-FokinTC #decompiler #re-engineering #source code
Reconstruction of Class Hierarchies for Decompilation of C++ Programs (AF, KT, AC), pp. 240–243.
ICPCICPC-2010-SuttonHM #identification #library
Identification of Idiom Usage in C++ Generic Libraries (AS, RH, JIM), pp. 160–169.
SCAMSCAM-2010-Borok-NagyMMPP #metaprogramming #visualisation
Visualization of C++ Template Metaprograms (ZBN, VM, JM, NP, ZP), pp. 167–176.
POPLPOPL-2010-MartinHCAC #c #concurrent #policy #source code
Dynamically checking ownership policies in concurrent c/c++ programs (JPM, MH, MC, PA, MC), pp. 457–470.
SACSAC-OOPS-J-2008-JarviF10
C++ λ expressions and closures (JJ, JF), pp. 762–772.
SACSAC-2010-TangJ #concept #optimisation
Generic flow-sensitive optimizing transformations in C++ with concepts (XT, JJ), pp. 2111–2118.
GPCEGPCE-J-2007-GilL10 #query #sql
Simple and safe SQL queries with C++ templates (JYG, KL), pp. 573–595.
GPCEGPCE-J-2007-JarviMS10 #concept #programming
Programming with C++ concepts (JJ, MM, JNS), pp. 596–614.
GPCEGPCE-J-2007-PirkelbauerSS10 #design #evaluation #multi
Design and evaluation of C++ open multi-methods (PP, YS, BS), pp. 638–667.
SLESLE-2010-PirkelbauerDS #evolution
Support for the Evolution of C++ Generic Functions (PP, DD, BS), pp. 123–142.
DATEDATE-2010-KlemmF #embedded #metaprogramming #using
Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.
ICPCICPC-J-2008-VidacsBG09 #c #preprocessor #slicing
Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
ICSMEICSM-2009-SuttonHM
Abstracting the template instantiation relation in C++ (AS, RH, JIM), pp. 559–562.
CEFPCEFP-2009-Porkolab #functional #metaprogramming
Functional Programming with C++ Template Metaprograms (ZP), pp. 306–353.
VISSOFTVISSOFT-2009-TeleaHER #c #case study #comparative #dependence #scalability #visualisation
Extraction and visualization of call dependencies for large C/C++ code bases: A comparative study (ACT, HH, OE, DR), pp. 81–88.
OOPSLAOOPSLA-2009-BergerYLN #c #named #parallel #programming #thread
Grace: safe multithreaded programming for C/C++ (EDB, TY, TL, GN), pp. 81–96.
GTTSEGTTSE-2009-SzugyiSPP #library #string
C++ Metastring Library and Its Applications (ZS, ÁS, NP, ZP), pp. 461–480.
GPCEGPCE-2009-BaggeDH #axiom #concept #testing
The axioms strike back: testing with concepts and axioms in C++ (AHB, VD, MH), pp. 15–24.
CCCC-2009-Padioleau #c #parsing #preprocessor
Parsing C/C++ Code without Pre-processing (YP), pp. 109–125.
CGOCGO-2009-DuanFWZY #c #concurrent #consistency #detection #source code
Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs (YD, XF, LW, CZ, PCY), pp. 25–34.
CGOCGO-2009-LiuR #named #performance #source code
Perflint: A Context Sensitive Performance Advisor for C++ Programs (LL, SR), pp. 265–274.
ISMMISMM-2009-BoehmS #garbage collection #standard
Garbage collection in the next C++ standard (HJB, MS), pp. 30–38.
CSMRCSMR-2008-TeleaV #named #reverse engineering
SOLIDFX: An Integrated Reverse Engineering Environment for C++ (ACT, LV), pp. 320–322.
ICPCICPC-2008-VidacsJBG #c #preprocessor #slicing
Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
ICSMEICSM-2008-SuttonM #automation #concept #identification
Automatically identifying C++0x concepts in function templates (AS, JIM), pp. 57–66.
SCAMSCAM-2008-WangH #empirical
An Empirical Study of Function Overloading in C++ (CW, DH), pp. 47–56.
GT-VMTGT-VMT-2008-AzabP #graph #source code #type checking
Type Checking C++ Template Instantiation by Graph Programs (KA, KHP).
SOFTVISSOFTVIS-2008-SundararamanB #c #interactive #java #named #runtime #visualisation
HDPV: interactive, faithful, in-vivo runtime state visualization for C/C++ and Java (JS, GB), pp. 47–56.
SOFTVISSOFTVIS-2008-TeleaV #interactive #reverse engineering #scalability
An interactive reverse engineering environment for large-scale C++ code (ACT, LV), pp. 67–76.
SEKESEKE-2008-DuffyHM #comprehension #evolution #interface #library #protocol #reverse engineering #scalability
Reverse Engineering Interface Protocols for Comprehension of Large C++ Libraries during Code Evolution Tasks (EBD, JOH, BAM), pp. 303–308.
OOPSLAOOPSLA-2008-NiWABBCGKNOPSTT #c #design #implementation #transaction
Design and implementation of transactional constructs for C/C++ (YN, AW, ARAT, MB, SB, JC, RG, SK, RN, JO, SP, BS, AT, XT), pp. 195–212.
PLDIPLDI-2008-BoehmA #concurrent #memory management
Foundations of the C++ concurrency memory model (HJB, SVA), pp. 68–78.
SACSAC-2008-JarviF
λ functions for C++0x (JJ, JF), pp. 178–183.
SACSAC-2008-PirkelbauerPMS #concept #library #runtime #standard
Runtime concepts for the C++ standard template library (PP, SP, MM, BS), pp. 171–177.
SACSAC-2008-RodriguesAP #evolution
A C++ environment for dynamic unanticipated software evolution (AR, HOdA, AP), pp. 815–819.
GPCEGPCE-2008-GottschlingL #compilation #concept #library #performance #reuse #robust #semantics #using
Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries (PG, AL), pp. 67–76.
DACDAC-2008-HaldarSPDG #modelling #verification
Construction of concrete verification models from C++ (MH, GS, SP, BD, AG), pp. 942–947.
VLDBVLDB-2007-GilL
Eliminating Impedance Mismatch in C++ (JYG, KL), pp. 1386–1389.
WCREWCRE-J-2005-AkersBMEL07 #automation #case study #component #modelling #program transformation #re-engineering
Case study: Re-engineering C++ component models via automatic program transformation (RLA, IDB, MM, BJE, KRL), pp. 275–291.
WCREWCRE-J-2005-SuttonM07 #modelling #uml
Recovering UML class models from C++: A detailed explanation (AS, JIM), pp. 212–229.
WCREWCRE-2007-DuffyM #approach #automation #grammar recovery
An Automated Approach to Grammar Recovery for a Dialect of the C++ Language (EBD, BAM), pp. 11–20.
SEKESEKE-2007-RodriguesAP #component #evolution #framework
A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution (AR, HOdA, AP), pp. 326–331.
ASEASE-2007-BlancGK #abstraction #verification
Verifying C++ with STL containers via predicate abstraction (NB, AG, DK), pp. 521–524.
GTTSEGTTSE-2007-JuhaszSP #finite #implementation #library #state machine
Implementation of a Finite State Machine with Active Libraries in C++ (ZJ, ÁS, ZP), pp. 474–488.
SACSAC-2007-GregorJ
Variadic templates for C++ (DG, JJ), pp. 1101–1108.
LDTALDTA-J-2005-WaddingtonY #c #program transformation
High-fidelity C/C++ code transformation (DGW, BY), pp. 64–78.
GPCEGPCE-2007-GilL #query #sql
Simple and safe SQL queries with c++ templates (JYG, KL), pp. 13–24.
GPCEGPCE-2007-JarviMS #adaptation #composition #concept #library #using
Library composition and adaptation using c++ concepts (JJ, MAM, JNS), pp. 73–82.
GPCEGPCE-2007-PirkelbauerSS #multi
Open multi-methods for c++ (PP, YS, BS), pp. 123–134.
PPoPPPPoPP-2007-MuhlenfeldW #concurrent #detection #fault #multi #thread
Fault detection in multi-threaded c++ server applications (AM, FW), pp. 142–143.
ICSMEICSM-2006-HouH #semantics
Source-Level Linkage: Adding Semantic Information to C++ Fact-bases (DH, HJH), pp. 448–457.
SCAMSCAM-2006-FulopGF #design pattern #mining #tool support
Evaluating C++ Design Pattern Miner Tools (LJF, TG, RF), pp. 127–138.
WCREWCRE-2006-KorshunovaPBM #diagrams #named #process #reverse engineering #sequence #source code #uml #xmi
CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (EK, MP, MvdB, MRM), pp. 297–298.
SOFTVISSOFTVIS-2006-Reichardt #2d
Two-dimensional C++ (JR), pp. 191–192.
ECOOPECOOP-2006-SiekT #analysis #semantics
A Semantic Analysis of C++ Templates (JGS, WT), pp. 304–327.
OOPSLAOOPSLA-2006-GregorJSSRL #concept #named #programming
Concepts: linguistic support for generic programming in C++ (DG, JJ, JGS, BS, GDR, AL), pp. 291–310.
OOPSLAOOPSLA-2006-WasserrabNST #inheritance #multi #semantics #type safety
An operational semantics and type safety prooffor multiple inheritance in C++ (DW, TN, GS, FT), pp. 345–362.
AdaEuropeAdaEurope-2006-MirandaS #interface
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ (JM, ES), pp. 179–190.
PLDIPLDI-2006-JarviGWLS #algorithm #challenge #programming
Algorithm specialization in generic programming: challenges of constrained generics in C++ (JJ, DG, JW, AL, JGS), pp. 272–282.
POPLPOPL-2006-ReisS #concept #specification
Specifying C++ concepts (GDR, BS), pp. 295–308.
ICSEICSE-2006-WangSYHHM #distributed #legacy #re-engineering
Reengineering standalone C++ legacy systems into the J2EE partition distributed environment (XW, JS, XY, CH, ZH, SRM), pp. 525–533.
GPCEGPCE-2006-PorkolabMS #debugging #metaprogramming
Debugging C++ template metaprograms (ZP, JM, ÁS), pp. 255–264.
DACDAC-2006-BrierM #architecture #c #modelling #using #verification
Use of C/C++ models for architecture exploration and verification of DSPs (DB, RSM), pp. 79–84.
ICSMEICSM-IT-2005-VittekBM #comprehension #java #plugin #refactoring
A collection of C, C++ and Java code understanding and refactoring plugins (MV, PB, PEM), pp. 61–64.
IWPCIWPC-2005-EnglishBCL #empirical #using
An Empirical Study of the Use of Friends in C++ Software (ME, JB, TC, KL), pp. 329–332.
WCREWCRE-2005-AkersBMEL #automation #component #modelling #program transformation #re-engineering
Reengineering C++ Component Models via Automatic Program Transformation (RLA, IDB, MM, BJE, KRL), pp. 13–22.
WCREWCRE-2005-SuttonM #modelling #reverse engineering #uml
Mappings for Accurately Reverse Engineering UML Class Models from C++ (AS, JIM), pp. 175–184.
SOFTVISSOFTVIS-2005-MalloyP #modelling #source code #uml #visualisation
Exploiting UML dynamic object modeling for the visualization of C++ programs (BAM, JFP), pp. 105–114.
AdaSIGAda-2005-AusdenN #using
Using ASIS to generate C++ bindings (HA, KAN), pp. 23–30.
AdaSIGAda-2005-Mark #ada #c
Data sharing between ada and C/C++ (MM), pp. 93–102.
GTTSEGTTSE-2005-PorkolabZ #composition #metaprogramming #problem
A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming (ZP, IZ), pp. 459–470.
SACSAC-2005-DoxseeG #automation #specification #synthesis
Synthesis of C++ software for automated teller from CSPm specifications (SD, WBG), pp. 1565–1566.
SACSAC-2005-Heinlein
Virtual namespace functions: an alternative to virtual member functions in C++ and advice in AspectC++ (CH), pp. 1274–1281.
SACSAC-OOPS-J-2005-Heinlein
Global and Local Virtual Functions in C++ (CH), pp. 71–93.
GPCEGPCE-2005-YaoZC #aspect-oriented #framework #programming
AOP++: A Generic Aspect-Oriented Programming Framework in C++ (ZY, QZ, GC), pp. 94–108.
LDTALDTA-2005-WaddingtonY #c #program transformation
High-Fidelity C/C++ Code Transformation (DGW, BY), pp. 35–56.
CCCC-2005-Padovani #compilation #using
Compilation of Generic Regular Path Expressions Using C++ Class Templates (LP), pp. 27–42.
FASEFASE-2005-Dayani-FardYMA #architecture #c #legacy
Improving the Build Architecture of Legacy C/C++ Software Systems (HDF, YY, JM, PA), pp. 96–110.
AMOSTA-MOST-2005-Sayre #automation #modelling #testing
Usage model-based automated testing of C++ templates (KS), pp. 13–17.
CSMRCSMR-2004-VidacsBF #c #preprocessor
Columbus Schema for C/C++ Preprocessing (LV, ÁB, RF), pp. 75–84.
IWPCIWPC-2004-KanellopoulosT #clustering #comprehension #data mining #mining #source code
Data Mining Source Code to Facilitate Program Comprehension: Experiments on Clustering Data Retrieved from C++ Programs (YK, CT), pp. 214–225.
SCAMSCAM-2004-HouHR #guidelines #programming #specification
Specifying the Law of Demeter and C++ Programming Guidelines with FCL (DH, HJH, PR), pp. 119–127.
WCREWCRE-2004-GschwindPG #named
TUAnalyzer — Analyzing Templates in C++ Code (TG, MP, HG), pp. 48–57.
ICEISICEIS-v1-2004-ZhouNB #implementation #performance #using
An Efficient B+-Tree Implementation in C++ Using the STL Style (JZ, BN, GB), pp. 163–168.
PEPMPEPM-2004-AkersBM #automation #component #program transformation #re-engineering
Invited application paper: re-engineering C++ components via automatic program transformation (RLA, IDB, MM), pp. 51–55.
SACSAC-2004-SurazhskyG #type safety
Type-safe covariance in C++ (VS, JYG), pp. 1496–1502.
DACDAC-2004-NakamuraHKYY #c #communication #hardware #performance #using
A fast hardware/software co-verification method for system-on-a-chip by using a C/C++ simulator and FPGA emulator with shared register communication (YN, KH, IK, KY, TY), pp. 299–304.
CSMRCSMR-2003-GibbsM #aspect-oriented #invariant #validation #weaving
Weaving Aspects into C++ Applications for Validation of Temporal Invariants (THG, BAM), pp. 249–258.
CSMRCSMR-2003-Latendresse #c #evaluation #performance #preprocessor #symbolic computation #using
Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value (ML), p. 170–?.
ICSMEICSM-2003-BalanyiF #design pattern #mining #source code
Mining Design Patterns from C++ Source Code (ZB, RF), pp. 305–314.
ICSMEICSM-2003-TonellaP #diagrams #interactive #reverse engineering
Reverse Engineering of the Interaction Diagrams from C++ Code (PT, AP), pp. 159–168.
IWPCIWPC-2003-CollardKM #lightweight #xml
An XML-Based Lightweight C++ Fact Extractor (MLC, HHK, JIM), pp. 134–143.
SCAMSCAM-2003-BaggeKHV #design #optimisation #source code
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs (OSB, KTK, MH, EV), p. 65–?.
WCREWCRE-2003-VinciguerraWKMV #decompiler #framework #java #tool support
An Experimentation Framework for Evaluating Disassembly and Decompilation Tools for C++ and Java (LV, LMW, NK, PM, RLV), pp. 14–23.
SEKESEKE-2003-BelliniGNR #implementation #logic #realtime
TILCO Temporal Logic for Real-Time Systems Implementation in C++ (PB, AG, PN, DR), pp. 166–173.
PLDIPLDI-2003-HeineL #c #detection #memory management
A practical flow-sensitive and context-sensitive C and C++ memory leak detector (DLH, MSL), pp. 168–181.
GPCEGPCE-2003-ZolyomiPK #metaprogramming #type system
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming (IZ, ZP, TK), pp. 209–227.
PPoPPPPoPP-2003-PoznianskyS #concurrent #detection #multi #on the fly #performance #source code
Efficient on-the-fly data race detection in multihreaded C++ programs (EP, AS), pp. 179–190.
CSMRCSMR-2002-FerencB
Data Exchange with the Columbus Schema for C++ (RF, ÁB), pp. 59–66.
ICSMEICSM-2002-FerencBTG #named #reverse engineering
Columbus — Reverse Engineering Tool and Schema for C++ (RF, ÁB, MT, TG), pp. 172–181.
ICSMEICSM-2002-TonellaP #analysis #diagrams
Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram (PT, AP), pp. 54–63.
IWPCIWPC-2002-SimHE #benchmark #metric #on the #using
On Using a Benchmark to Evaluate C++ Extractors (SES, RCH, SME), pp. 114–123.
OOPSLAOOPSLA-2002-SutterBB #low level #reuse
Sifting out the mud: low level C++ code reuse (BDS, BDB, KDB), pp. 275–291.
ASEASE-2002-GibbsMP #automation #invariant #validation
Automated Validation of Class Invariants in C++ Applications (THG, BAM, JFP), p. 205–?.
DATEDATE-2002-PaskoVS #design
Techniques to Evolve a C++ Based System Design Language (RP, SV, PS), pp. 302–309.
ITiCSEITiCSE-2001-Kumar #interactive #learning #pointer
Learning the interaction between pointers and scope in C++ (ANK), pp. 45–48.
ICSMEICSM-2001-TonellaP #diagrams #reverse engineering #uml
Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers (PT, AP), pp. 376–385.
WCREWCRE-2001-DeanMH
Union Schemas as a Basis for a C++ Extractor (TRD, AJM, RCH), p. 59–?.
WCREWCRE-2001-FerencSHKG #c #standard #towards
Towards a Standard Schema for C/C++ (RF, SES, RCH, RK, TG), pp. 49–58.
TOOLSTOOLS-USA-2001-Guerreiro #contract #design
Simple Support for Design by Contract in C++ (PG), pp. 24–34.
ICSEICSE-2001-HobatrM #debugging #using
Using OCL-Queries for Debugging C++ (CH, BAM), pp. 839–840.
SACSAC-2001-HobatrM #debugging #design #ocl
The design of an OCL query-based debugger for C++ (CH, BAM), pp. 658–662.
ICSMEICSM-2000-HuMDL #analysis #c #compilation #execution #symbolic computation #using
C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.
ICFPICFP-2000-McNamaraS #functional #programming
Functional programming in C++ (BM, YS), pp. 118–129.
TOOLSTOOLS-EUROPE-2000-Guerreiro
Another Mediocre Assertion Mechanism for C++ (PG), pp. 226–237.
TOOLSTOOLS-PACIFIC-2000-PowerM
Symbol Table Construction and Name Lookup in ISO C++ (JFP, BAM), pp. 57–69.
TOOLSTOOLS-USA-2000-Kotula #reliability
Constructing Reliable C++ Classes [Abstract] (JK), pp. 501–504.
TOOLSTOOLS-USA-2000-Langer00a #implementation #using
Using C++ Templates for Implementation of Patterns (AL), pp. 485–486.
GPCEGCSE-2000-SmaragdakisB #mixin #programming
Mixin-Based Programming in C++ (YS, DSB), pp. 163–177.
SACSAC-2000-DenehyJ #java #parallel #virtual machine
Parallel C++ for the Java Virtual Machine (TED, CHJ), pp. 843–848.
SACSAC-2000-PowerM #approach #modelling #problem #programming language
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language (JFP, BAM), pp. 792–796.
DATEDATE-2000-VerkestKS #design #using
System Level Design Using C++ (DV, JK, FS), pp. 74–81.
ICSMEICSM-1999-FantaR #c #legacy
Restructuring Legacy C Code into C++ (RF, VR), pp. 77–85.
IWPCIWPC-1999-CainM #lens #using #visualisation
Program Visualisation using C++ Lenses (JWC, RJM), pp. 20–26.
IWPCIWPC-1999-KnapenLDM #parsing
Parsing C++ Despite Missing Declarations (GK, BL, MD, EM), pp. 114–125.
TOOLSTOOLS-EUROPE-1999-Coplien99a #design #implementation #multi #paradigm
Multiparadigm Design and Implementation in C++ (JC), p. 408.
TOOLSTOOLS-EUROPE-1999-Lippman #performance
Efficiency in C++ (SBL), p. 414.
TOOLSTOOLS-EUROPE-1999-MaleyS #contract #design
Emulating Design by Contract in C++ (DM, ITAS), pp. 66–75.
TOOLSTOOLS-EUROPE-1999-SchaerfLC #algorithm #framework
LOCAL++: A C++ Framework for Local Search Algorithms (AS, ML, MC), pp. 152–161.
TOOLSTOOLS-PACIFIC-1999-Caspersen #embedded #framework #implementation #modelling #realtime
A C++ Framework for Active Objects in Embedded Real-time Systems-Bridging the Gap Between Modeling and Implementation (MEC), pp. 52–65.
TOOLSTOOLS-USA-1999-Joyner #comparison #eiffel #java
Java, Eiffel and C++: The Language Comparison (IJ), p. 441.
TOOLSTOOLS-USA-1999-Langer #exception #programming
Programming with C++ Exceptions (AL), p. 439.
TOOLSTOOLS-USA-1999-PloschP #analysis #contract #implementation #named
Contracts: From Analysis to C++ Implementation (RP, JP), pp. 248–257.
GPCEGCSE-1999-Jarvi
C++ Function Object Binders Made Easy (JJ), pp. 165–177.
PEPMPEPM-1999-Veldhuizen #partial evaluation
C++ Templates as Partial Evaluation (TLV), pp. 13–18.
AdaSIGAda-1999-LortzT #abstract syntax tree #ada #distributed #realtime
The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program (HAL, TAT), pp. 181–182.
ICSEICSE-1999-MalabarbaDS #java #named
MoHCA-Java: A Tool for C++ to Java Conversion Support (SM, PTD, AS), pp. 650–653.
ICSEICSE-1999-SchaferZ #design pattern #java #uml
Round-Trip Engineering with Design Patterns, UML, Java and C++ (WS, AZ), pp. 683–684.
DATEDATE-1999-GhoshKL #c #hardware #synthesis
Hardware Synthesis from C/C++ (AG, JK, SYL), pp. 387–389.
DATEDATE-1999-Micheli #c #hardware #modelling #synthesis
Hardware Synthesis from C/C++ Models (GDM), pp. 382–383.
CSMRCSMR-1998-FioravantiNP #assessment #process
A Tool for Process and Product Assessment of C++ Applications (FF, PN, SP), pp. 89–95.
ICFPICFP-1998-Kiselyov98a #abstraction #functional
Functional Style in C++: Closures, Late Binding, and λ Abstractions (OK), p. 337.
TOOLSTOOLS-ASIA-1998-Jarvi #recursion
Compile Time Recursive Objects in C++ (JJ), pp. 66–77.
TOOLSTOOLS-ASIA-1998-YuanCXMY #analysis #database #information management #tool support
C++ Program Information Database for Analysis Tools (WY, XC, TX, HM, FY), pp. 173–180.
TOOLSTOOLS-PACIFIC-1998-LowC #named #testing
CDFA: A Testing System for C++ (CKL, TYC), pp. 216–228.
TOOLSTOOLS-USA-1998-DeBruine #design pattern
Mastering Software Patterns in C++ (TD), p. 403.
TOOLSTOOLS-USA-1998-Joyner #comparison #eiffel #java #object-oriented
OO Language Comparison: Java, Eiffel and C++ (IJ), p. 405.
PLDIPLDI-1998-SweeneyT #case study
A Study of Dead Data Members in C++ Applications (PFS, FT), pp. 324–332.
FSEFSE-1998-Karasick #architecture #incremental #programming
The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++ (MK), pp. 131–142.
ICSEICSE-1998-ChuangKW #architecture
Non-Intrusive Object Introspection in C++: Architecture and Application (TRC, YSK, CMW), pp. 312–321.
SACSAC-1998-BuddrusS #java #named
Cappuccino — A C++ to Java translator (FB, JS), pp. 660–665.
PDPPDP-1998-SobralP #parallel
ParC++: a simple extension of C++ to parallel systems (JLS, AJP), pp. 453–459.
ITiCSEITiCSE-1997-HitzK #education
Teaching C++ on the WWW (MH, SK), pp. 11–13.
TOOLSTOOLS-ASIA-1997-ChuangJKK #generative #named
ObjectStream: Generating Stream-Based Object I/O for C++ (TRC, CCJ, WMK, YSK), pp. 70–79.
TOOLSTOOLS-ASIA-1997-Coplien97a #programming #using
Advanced C++ Programming Styles: Using C++ as a Higher-Level Language (JC), pp. 418–419.
TOOLSTOOLS-ASIA-1997-ExtonW #c
From C to C++ (CE, DW), p. 420.
TOOLSTOOLS-ASIA-1997-SheardH #case study #concept #education #experience #object-oriented #programming #student #using
Experiences with Teaching Object-Oriented Concepts to Introductory Programming Students Using C++ (JS, DH), pp. 310–319.
TOOLSTOOLS-PACIFIC-1997-Coplien #programming
Advanced C++ Programming Styles and Idioms (JC), p. 352.
TOOLSTOOLS-PACIFIC-1997-Schade #automation #generative #java
Automatic Generation of Bridging Code for Accessing C++ from Java (AS), pp. 165–180.
TOOLSTOOLS-USA-1997-DingleH
New Coding Patterns for Object Management in C++ (AD, THH), pp. 38–47.
TOOLSTOOLS-USA-1997-Jakubik #implementation
Callback Implementations in C++ (PJ), p. 377.
TOOLSTOOLS-USA-1997-Winroth #interface #library #scripting language
A Scripting Language Interface to C++ Libraries (HW), pp. 247–259.
PLDIPLDI-1997-RamalingamS #algorithm
A Member Lookup Algorithm for C++ (GR, HS), pp. 18–30.
ASEASE-1997-WangPS #automation #inheritance #object-oriented #testing
An Automated Object-Oriented Testing for C++ Inheritance Hierarchy (CCW, WCP, TKS), pp. 315–316.
ESECESEC-FSE-1997-ChenGK #analysis #detection #reachability
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection (YFC, ERG, EK), pp. 414–431.
ICSEICSE-1997-BriandDM #metric
An Investigation into Coupling Measures for C++ (LCB, PTD, WLM), pp. 412–421.
ICSEICSE-1997-TonellaAFM #analysis #morphism #pointer #polymorphism #slicing
Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing (PT, GA, RF, EM), pp. 433–443.
ICSMEICSM-1996-ChenTHPRW #ide #maintenance #named
Omega — an integrated environment for C++ program maintenance (XC, WTT, HH, MHP, SR, YW), p. 114–?.
CIAAWIA-1996-Watson
FIRE Lite: FAs and REs in C++ (BWW), pp. 167–188.
FMFME-1996-FrohlichL #specification
Combining VDM-SL Specifications with C++ Code (BF, PGL), pp. 179–194.
SEKESEKE-1996-Franca #design #education #library #object-oriented #programming
The Design of a Class Library to Support Teaching of Object Oriented Programming with C++ (PBF), pp. 32–37.
ECOOPECOOP-1996-AignerH #source code
Eliminating Virtual Function Calls in C++ Programs (GA, UH), pp. 142–166.
ECOOPECOOP-1996-Hohenstein #database #relational
Bridging the Gap Between C++ and Relational Databases (UH), pp. 398–420.
OOPSLAOOPSLA-1996-BaconS #performance #static analysis
Fast Static Analysis of C++ Virtual Function Calls (DFB, PFS), pp. 324–341.
OOPSLAOOPSLA-1996-DriesenH
The Direct Cost of Virtual Function Calls in C++ (KD, UH), pp. 306–323.
OOPSLAOOPSLA-1996-TipCFR #slicing
Slicing Class Hierarchies in C++ (FT, JDC, JF, GR), pp. 179–197.
FSEFSE-1996-SiffR #c #reuse
Program Generalization for Software Reuse: From C to C++ (MS, TWR), pp. 135–146.
SACSAC-1996-KuhnB #optimisation
An enabling optimization for C++ virtual functions (BMK, DB), pp. 420–428.
SACSAC-1996-LiK #case study #design #graph #implementation #object-oriented #reuse
An object-oriented design and implementation of reusable graph objects with C++: a case study (WNL, RK), pp. 510–514.
ICSMEICSM-1995-AntoniolFMT #migration #user interface #visual notation
Application and user interface migration from BASIC to Visual C++ (GA, RF, EM, PT), p. 76–?.
OOPSLAOOPSLA-1995-Chiba #protocol
A Metaobject Protocol for C++ (SC), pp. 285–299.
AdaEuropeAdaEurope-1995-Heitz #ada #automation #code generation #reliability #reuse #using
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets (MH), pp. 419–438.
OOPSLAOOPSLA-1994-Onodera #database #experience #information management #object-oriented #representation
Experience with Representing C++ Program Information in an Object-Oriented Database (TO), pp. 403–413.
TOOLSTOOLS-EUROPE-1994-Goldberg #analysis #design #object-oriented
Object-Oriented Analysis and Design with C++ (MG), p. 531.
TOOLSTOOLS-EUROPE-1994-KarakostasP #automation #hybrid #logic #specification
Automatic Transformation of Hybrid Object and Logic Specification to C++ Code (VK, LP), pp. 363–373.
TOOLSTOOLS-EUROPE-1994-Rubio
C++: Attacks and Defenses (JAR), pp. 429–435.
TOOLSTOOLS-EUROPE-1994-Wiener94a #comparison #eiffel
A Critical Comparison of C++ and Eiffel — A Clash of Cultures (RW), p. 541.
AdaEuropeAdaEurope-1994-KayloeL #ada #architecture
Merging Ada 9X and C++ in a Graphics System Software Architecture (JRK, PKL), pp. 33–42.
POPLPOPL-1994-CalderG #source code
Reducing Indirect Function call Overhead in C++ Programs (BC, DG), pp. 397–408.
SACSAC-1994-LeeA
C++ style class support under FIG Forth (YML, DJA), pp. 341–345.
ECOOPECOOP-1993-AssenmacherBBHS #distributed #named #programming
PANDA — Supporting Distributed Programming in C++ (HA, TB, PB, VH, RS), pp. 361–383.
OOPSLAOOPSLA-1993-KaleK #concurrent #object-oriented
CHARM++: A Portable Concurrent Object Oriented System Based On C++ (LVK, SK), pp. 91–108.
TOOLSTOOLS-EUROPE-1993-BergerS #compilation #database #relational #source code
A Compiler To Create Relational Database Schemes From Application Programs Written in C++ (EB, ES), pp. 75–86.
TOOLSTOOLS-PACIFIC-1993-Wall
Introduction to C++ (PW), p. 332.
TOOLSTOOLS-PACIFIC-1993-Wall93a
Advanced C++ (PW), p. 333.
TOOLSTOOLS-USA-1993-Brandis #design #scalability #using
An O-O Case History: Large System Design Using C++ (CB), p. 534.
TOOLSTOOLS-USA-1993-KoivistoR #named
Cerial: A Tool for XDR or ASN.1 BER Serialization of C++ Objects (JK, JR), pp. 109–122.
TOOLSTOOLS-USA-1993-NebeshR #education #object-oriented
Teaching Object-Oriented Technology Through C++ to Professional Programmers (BAN, MR), pp. 627–636.
TOOLSTOOLS-USA-1993-Polze #approach #communication
The Object Space Approach: Decoupled Communication in C++ (AP), pp. 195–204.
TOOLSTOOLS-USA-1993-Putnam #case study #experience #programming
C++ vs Sather: Experiences in Experimental Programming (JP), pp. 265–277.
TOOLSTOOLS-USA-1993-VideiraS #design #development #framework #using
Using C++ in the Development of an Electronic Design Framework (IV, HS), pp. 255–264.
AdaEuropeAdaEurope-1993-Jorgensen #ada #comparison #object-oriented
A Comparison of the Object-Oriented Features of Ada 9X and C++ (JJI), pp. 125–141.
OOPSLAOOPSLA-1992-Walsh #development #fault #scalability
Preliminary Defect Data from the Iterative Development of a Large C++ Program (JFW), pp. 178–183.
TOOLSTOOLS-EUROPE-1992-BuschmannKS #information management #runtime
A Runtime Type Information System for C++ (FB, KK, MS), pp. 265–274.
TOOLSTOOLS-EUROPE-1992-Hucklesby
C++ (PH), p. 429.
TOOLSTOOLS-EUROPE-1992-McCue
Intercepting Fecht and Store Operations in C++ (DLM), pp. 275–282.
TOOLSTOOLS-PACIFIC-1992-DebrayH #simulation
Some Classes for Object-Based Simulation in C++ (TD, JBH), pp. 143–152.
TOOLSTOOLS-PACIFIC-1992-Mowbray
A Tour of C++ (MM), p. 235.
TOOLSTOOLS-USA-1992-PauwWJ #metadata
An Operational Metadata System for C++ (PAP, RW, AJ), pp. 215–223.
TOOLSTOOLS-USA-1992-RajaramanL #metric #source code
Some Coupling Measures for C++ Programs (CR, MRL), pp. 225–234.
POPLPOPL-1992-Edelson
A Mark-and-Sweep Collector for C++ (DRE), pp. 51–58.
AdaTRI-Ada-C-1992-Tang #ada #comparison
A Comparison of Ada and C++ (LST), pp. 338–349.
ISMMIWMM-1992-Edelson #garbage collection
Precompiling C++ for Garbage Collection (DRE), pp. 299–314.
ISMMIWMM-1992-Samples
GC-cooperative C++ (ADS), pp. 315–329.
ECOOPECOOP-1991-Snyder #modelling
Modeling the C++ Object Model, An Application of an Abstract Object Model (AS), pp. 1–20.
TOOLSTOOLS-USA-1991-Grass #design #object-oriented
Design Archaeology For Object-Oriented Redesign in C++ (JEG), pp. 365–368.
TOOLSTOOLS-USA-1991-Horstmann #design #library #standard
Design Considerations for a Standard C++ Container Class Library (CSH), pp. 327–338.
TOOLSTOOLS-USA-1991-Lippman
An Introduction to C++ (SBL), pp. 435–436.
TOOLSTOOLS-USA-1991-RosuelGD #concept #re-engineering
C++ Adequacy for Software Engineering Concepts (GR, JLG, AD), pp. 141–152.
OOPSLAOOPSLA-ECOOP-1990-BoochV #component #design
The Design of the C++ Booch Components (GB, MV), pp. 1–11.
ECOOPECOOP-1989-ShapiroGM #migration #persistent
Persistence and Migration for C++ Objects (MS, PG, LM), pp. 191–204.
OOPSLAOOPSLA-1989-Jerrell #automation #difference #using
Function Minimization and Automatic Differentiation Using C++ (MEJ), pp. 169–173.
ECOOPECOOP-1988-Sakkinen #on the
On the Darker Side of C++ (MS), pp. 162–176.
OOPSLAOOPSLA-1988-WeinandGM #framework #object-oriented
ET++ — An Object-Oriented Application Framework in C++ (AW, EG, RM), pp. 46–57.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.