BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (82)
system (76)
analysi (54)
softwar (52)
base (50)

Stem modular$ (all stems)

587 papers:

ECSAECSA-2015-HansenM #automation #community #composition #detection #using
(Automated) Software Modularization Using Community Detection (KMH, KM), pp. 95–102.
CASECASE-2015-FleischerAT #automation #composition #evaluation
A cross-platform modular software solution for automated data evaluation applied in elemental and structural mass spectrometry (HF, MA, KT), pp. 758–763.
CASECASE-2015-JeongMS #composition #design #functional #requirements
Product modularity to jointly address functional and ecological requirements in the early design stage (MGJ, JRM, HWS), pp. 33–38.
CASECASE-2015-SchafaschekQC #clustering #composition #scheduling #tool support
Local modular supervisory control applied to the scheduling of cluster tools (GS, MHdQ, JERC), pp. 1381–1388.
CASECASE-2015-ScottiPQC #composition #design
Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system (WAFS, NBP, MHdQ, JERC), pp. 807–812.
DATEDATE-2015-KimAS #bound #composition #scheduling
Schedulability bound for integrated modular avionics partitions (JEK, TFA, LS), pp. 37–42.
DATEDATE-2015-SteinhorstL #composition #identification
Topology identification for smart cells in modular batteries (SS, ML), pp. 1249–1252.
SIGMODSIGMOD-2015-MavroforakisCOK #composition #encryption #revisited
Modular Order-Preserving Encryption, Revisited (CM, NC, AO, GK, RC), pp. 763–777.
ESOPESOP-2015-Penninckx0P #behaviour #composition #source code #verification
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs (WP, BJ, FP), pp. 158–182.
TACASTACAS-2015-CassezMPS #composition #contest #named #refinement
Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.
TACASTACAS-2015-HaranCELQR #composition #contest #verification
SMACK+Corral: A Modular Verifier — (Competition Contribution) (AH, MC, ME, AL, SQ, ZR), pp. 451–454.
SASSAS-2015-CastelnuovoNRSY #analysis #bottom-up #case study #composition #top-down
Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis (GC, MN, NR, MS, HY), pp. 252–274.
STOCSTOC-2015-DinurHK #composition #fault #query
Polynomially Low Error PCPs with polyloglog n Queries via Modular Composition (ID, PH, GK), pp. 267–276.
FMFM-2015-DeboisHS #composition #information management #liveness #process #refinement #runtime #safety
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
CHICHI-2015-OmirouMSS #3d #composition #named #visualisation
LeviPath: Modular Acoustic Levitation for 3D Path Visualisations (TO, AM, SAS, SS), pp. 309–312.
ICEISICEIS-v2-2015-BayaADM #approach #composition #product line #scalability
Dynamic Large Scale Product Lines through Modularization Approach (AB, BEA, ID, ZM), pp. 439–444.
SIGIRSIGIR-2015-HarelY #clustering #identification #query
Modularity-Based Query Clustering for Identifying Users Sharing a Common Condition (MGOH, EYT), pp. 819–822.
MoDELSMoDELS-2015-SandenRGBJVS #composition #design #modelling
Modular model-based supervisory controller design for wafer logistics in lithography machines (BvdS, MAR, MG, TB, JJ, JV, RRHS), pp. 416–425.
ECOOPECOOP-2015-BostromM #composition #finite #source code #verification
Modular Verification of Finite Blocking in Non-terminating Programs (PB, PM), pp. 639–663.
ECOOPECOOP-2015-JacobsBK #composition #termination #verification
Modular Termination Verification (BJ, DB, RK), pp. 664–688.
OOPSLAOOPSLA-2015-DaraisMH #composition #program analysis #reuse
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.
GPCEGPCE-2015-InostrozaS #algebra #composition #using
Modular interpreters for the masses: implicit context propagation using object algebras (PI, TvdS), pp. 171–180.
POPLPOPL-2015-Agten0P #c #composition #verification
Sound Modular Verification of C Code Executing in an Unverified Context (PA, BJ, FP), pp. 581–594.
POPLPOPL-2015-Chlipala15a #case study #composition #interface #network #parallel #thread #verification #web
From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification (AC), pp. 609–622.
SACSAC-2015-CremonaMN #composition #named #representation #simulation
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink (FC, MM, MDN), pp. 1940–1947.
SACSAC-2015-FukudaL #library
A library to modularly control asynchronous executions (HF, PL), pp. 1648–1650.
ESEC-FSEESEC-FSE-2015-ParkEZNH #approximate #composition #named #programming
FlexJava: language support for safe and modular approximate programming (JP, HE, XZ, MN, WH), pp. 745–757.
ICSEICSE-v1-2015-YandrapallySS #automation #composition #testing #user interface
Automated Modularization of GUI Test Cases (RY, GS, SS), pp. 44–54.
SLESLE-2015-DegueuleCBBJ #composition #development #domain-specific language #metalanguage #named #reuse
Melange: a meta-language for modular and reusable development of DSLs (TD, BC, AB, OB, JMJ), pp. 25–36.
SLESLE-2015-RitschelE #composition #program transformation
Modular capture avoidance for program transformations (NR, SE), pp. 59–70.
SOSPSOSP-2015-XieSLAK0 #composition #concurrent
High-performance ACID via modular concurrency control (CX, CS, CL, LA, MK, YW), pp. 279–294.
CAVCAV-2015-HawblitzelPQT #automation #composition #concurrent #reasoning #refinement #source code
Automated and Modular Refinement Reasoning for Concurrent Programs (CH, EP, SQ, ST), pp. 449–465.
CAVCAV-2015-VijayaraghavanC #composition #deduction #design #hardware #multi #verification
Modular Deductive Verification of Multiprocessor Hardware Designs (MV, AC, A, ND), pp. 109–127.
CBSECBSE-2014-DelavalGRP #composition #coordination #multi
Modular coordination of multiple autonomic managers (GD, SMKG, ÉR, NDP), pp. 3–12.
CBSECBSE-2014-Porter #adaptation #component #composition #fine-grained #runtime
Runtime modularity in complex structures: a component model for fine grained runtime adaptation (BP), pp. 29–34.
QoSAQoSA-2014-LiLAGA #architecture #composition #empirical #metric #technical debt
An empirical investigation of modularity metrics for indicating architectural technical debt (ZL, PL, PA, NG, AA), pp. 119–128.
DATEDATE-2014-BurlyaevFG
Verification-guided voter minimization in triple-modular redundant circuits (DB, PF, AG), pp. 1–6.
SIGMODSIGMOD-2014-SolimanAREGSCGRPWNKB #architecture #big data #composition #named #query
Orca: a modular query optimizer architecture for big data (MAS, LA, VR, AEH, ZG, ES, GCC, CGA, FR, MP, FW, SN, KK, RB), pp. 337–348.
FASEFASE-2014-AnjorinSLS #graph grammar #refinement #using
Modularizing Triple Graph Grammars Using Rule Refinement (AA, KS, ML, AS), pp. 340–354.
FASEFASE-2014-LanduytJ #architecture #requirements
Modularizing Early Architectural Assumptions in Scenario-Based Requirements (DVL, WJ), pp. 170–184.
PEPMPEPM-2014-HanusS #analysis #composition #functional #logic programming #source code
A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.
PLDIPLDI-2014-NiuT #composition #control flow
Modular control-flow integrity (BN, GT), p. 58.
FMFM-2014-ZeydaSCS #composition #higher-order #object-oriented
A Modular Theory of Object Orientation in Higher-Order UTP (FZ, TLVLS, AC, AS), pp. 627–642.
CHICHI-2014-LaureyssensCCMCM #approach #component #composition #game studies #named #network
ZWERM: a modular component network approach for an urban participation game (TL, TC, LC, PM, JC, AVM), pp. 3259–3268.
HCIHCI-AIMT-2014-PotidisS #composition #named #user interface
Spyractable: A Tangible User Interface Modular Synthesizer (SP, TS), pp. 600–611.
HCIHCI-TMT-2014-TiefenbacherBR #architecture #composition #evaluation #industrial #interface #using
Evaluation of Industrial Touch Interfaces Using a Modular Software Architecture (PT, FB, GR), pp. 589–600.
CAiSECAiSE-2014-GralhaG0 #composition #identification #modelling #requirements
Identifying Modularity Improvement Opportunities in Goal-Oriented Requirements Models (CG, MG, JA), pp. 91–104.
ICEISICEIS-v2-2014-LangermeierDORB #composition #modelling #ontology #variability
Change and Version Management in Variability Models for Modular Ontologies (ML, TD, HO, PR, BB), pp. 383–390.
ICEISICEIS-v2-2014-PintoDOC #aspect-oriented #development #framework #modelling #multi #product line #programming #towards
Evaluating the Effort for Modularizing Multiple-Domain Frameworks Towards Framework Product Lines with Aspect-oriented Programming and Model-driven Development (VHSCP, RSD, ALO, VVdC), pp. 60–70.
ICMLICML-c2-2014-AziziAG #composition #learning #network
Learning Modular Structures from Network Data and Node Variables (EA, EA, JEG), pp. 1440–1448.
ECMFAECMFA-2014-Moreno-DelgadoDZT #analysis #composition #domain-specific language #flexibility
Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio (AMD, FD, SZ, JT), pp. 132–147.
MODELSMoDELS-2014-Pazzi #behaviour #composition #modelling
Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MODELSMoDELS-2014-Pazzi #behaviour #composition #modelling
Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
PPDPPPDP-J-2012-SchrijversDTD14 #composition #named
Tor: Modular search with hookable disjunction (TS, BD, MT, BD), pp. 101–120.
GPCEGPCE-2014-MalakutiA #behaviour #composition #representation
Emergent gummy modules: modular representation of emergent behavior (SM, MA), pp. 15–24.
PADLPADL-2014-LierlerT #composition
Abstract Modular Inference Systems and Solvers (YL, MT), pp. 49–64.
POPLPOPL-2014-Birkedal #composition #concurrent #higher-order #imperative #reasoning #source code
Modular reasoning about concurrent higher-order imperative programs (LB), pp. 1–2.
POPLPOPL-2014-CoughlinC #analysis #composition #invariant
Fissile type analysis: modular checking of almost everywhere invariants (DC, BYEC), pp. 73–86.
POPLPOPL-2014-ItzhakyBILNS #composition #effectiveness #reasoning
Modular reasoning about heap paths via effectively propositional formulas (SI, AB, NI, OL, AN, MS), pp. 385–396.
POPLPOPL-2014-SergeyVJ #analysis #composition #higher-order #theory and practice
Modular, higher-order cardinality analysis in theory and practice (IS, DV, SLPJ), pp. 335–348.
SACSAC-2014-AlmenteroLL #composition #requirements #towards
Towards software modularization from requirements (EA, JCSdPL, CJPdL), pp. 1007–1012.
SACSAC-2014-BrinkeMBBAK #approach #composition #design #energy
A tool-supported approach for modular design of energy-aware software (StB, SM, CB, LB, MA, SK), pp. 1206–1212.
LDTALDTA-J-2011-JohnstoneSB #composition #grammarware #specification
Modular grammar specification (AJ, ES, MvdB), pp. 23–43.
SLESLE-J-2012-KrishnanW #analysis #attribute grammar #composition #higher-order #termination
Monolithic and modular termination analyses for higher-order attribute grammars (LK, EVW), pp. 511–526.
ICSTSAT-2014-MartinsML #composition #named #satisfiability
Open-WBO: A Modular MaxSAT Solver, (RM, VMM, IL), pp. 438–445.
VMCAIVMCAI-2014-Fu #abstract domain #analysis #java #points-to #scalability
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java (ZF), pp. 282–301.
VMCAIVMCAI-2014-Mine #abstract interpretation #analysis #relational #thread
Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.
VMCAIVMCAI-2014-SinghSXKS #composition #modelling #sketching #synthesis #using
Modular Synthesis of Sketches Using Models (RS, RS, ZX, RK, ASL), pp. 395–414.
QoSAQoSA-2013-DajsurenBSR #assessment #composition #modelling
Simulink models are also software: modularity assessment (YD, MvdB, AS, SAR), pp. 99–106.
CASECASE-2013-MoubarakAB #composition #configuration management #multi #scheduling
Reconfiguring a modular robot into a humanoid formation: A multi-body dynamic perspective on motion scheduling for modules and their assemblies (PMM, EJA, PBT), pp. 687–692.
CASECASE-2013-SeoYK #assembly #composition
Assembly planning for planar structures of a brick wall pattern with rectangular modular robots (JS, MY, VK), pp. 1016–1021.
CASECASE-2013-TranH13a #composition #predict
Plug-and-play predictive control of modular nonlinear systems with coupling delays (TT, QPH), pp. 699–704.
DACDAC-2013-KauerNSLCH #architecture #composition #concurrent
Modular system-level architecture for concurrent cell balancing (MK, SN, SS, ML, SC, LH), p. 10.
DATEDATE-2013-WolfD #composition #integration
Modular SoC integration with subsystems: the audio subsystem case (PvdW, RD), pp. 157–162.
DATEDATE-2013-ZhangCBACL #3d #architecture #composition #manycore #named #performance
3D-MMC: a modular 3D multi-core architecture with efficient resource pooling (TZ, AC, GB, PA, AKC, YL), pp. 1241–1246.
CSEETCSEET-2013-Georgas #composition #design #education #learning #towards
Toward infusing modular and reflective design learning throughout the curriculum (JCG), pp. 274–278.
ESOPESOP-2013-SvendsenBP #composition #concurrent #data type #reasoning
Modular Reasoning about Separation of Concurrent Data Structures (KS, LB, MJP), pp. 169–188.
FoSSaCSFoSSaCS-2013-ChurchillM #bisimulation #composition
Modular Bisimulation Theory for Computations and Values (MC, PDM), pp. 97–112.
ICSMEICSM-2013-PruijtKB #architecture #case study #comparative #composition #semantics #tool support
Architecture Compliance Checking of Semantically Rich Modular Architectures: A Comparative Study of Tool Support (LP, CK, SB), pp. 220–229.
PLDIPLDI-2013-BlackshearL #composition #framework #semantics #specification
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings (SB, SKL), pp. 209–218.
PLDIPLDI-2013-LiangF #composition #verification
Modular verification of linearizability with non-fixed linearization points (HL, XF), pp. 459–470.
CEFPCEFP-2013-0001FS #composition
Zipper-Based Modular and Deforested Computations (PM, JPF, JS), pp. 407–427.
ICFPICFP-2013-DelawareKSO #composition #monad
Modular monadic meta-theory (BD, SK, TS, BCdSO), pp. 319–330.
ICFPICFP-2013-LorenzenE #automation #composition #verification
Modular and automated type-soundness verification for language extensions (FL, SE), pp. 331–342.
KDDKDD-2013-ShakarianRCK #community #composition #distance #mining #network #social
Mining for geographically disperse communities in social networks by leveraging distance modularity (PS, PR, DC, CK), pp. 1402–1409.
ECOOPECOOP-2013-AnsaloniKZBBT #composition #java #program analysis #tool support #virtual machine
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.
ECOOPECOOP-2013-ServettoMPN #composition
The Billion-Dollar Fix — Safe Modular Circular Initialisation with Placeholders and Placeholder Types (MS, JM, AP, JN), pp. 205–229.
ECOOPECOOP-2013-SvendsenBP #case study #composition #concurrent #higher-order #library #named #specification
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library (KS, LB, MJP), pp. 327–351.
LOPSTRLOPSTR-2013-PoulsenM #composition #generative #semantics
Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.
SACSAC-2013-AraujoGMSAB #approach #composition #feature model #modelling
Advanced modularity for building SPL feature models: a model-driven approach (JA, MG, AMDM, IS, VA, ELAB), pp. 1246–1253.
SACSAC-2013-BakreBE #approach #interactive #uml
Aspect interaction chart — a UML approach for modularizing aspect interaction conflicts (SB, AB, TE), pp. 1254–1259.
SACSAC-2013-BrinkeMBBA #composition #design #energy
A design method for modular energy-aware software (StB, SM, CB, LB, MA), pp. 1180–1182.
SACSAC-2013-Serafino #clustering #composition #graph
Speeding up graph clustering via modular decomposition based compression (PS), pp. 156–163.
SACSAC-2013-Sobieski0 #maude #sql #term rewriting #using
Using maude rewriting system to modularize and extend SQL (SS, BZ), pp. 853–858.
ICSEICSE-2013-InverardiT #automation #composition #protocol #synthesis
Automatic synthesis of modular connectors via composition of protocol mediation patterns (PI, MT), pp. 3–12.
CADECADE-2013-GangeSSS #composition #constraints #difference
Solving Difference Constraints over Modular Arithmetic (GG, HS, PJS, PS), pp. 215–230.
CADECADE-2013-HawblitzelKLR #automation #proving #source code #theorem proving #towards #using
Towards Modularly Comparing Programs Using Automated Theorem Provers (CH, MK, SKL, HR), pp. 282–299.
ICSTICST-2013-NetterGB #composition #framework #modelling #simulation #validation
Real-Data Validation of Simulation Models in a Function-Based Modular Framework (FN, FG, BB), pp. 41–47.
ICSTSAT-2013-CimattiGSS #approach #composition #modulo theories #satisfiability
A Modular Approach to MaxSAT Modulo Theories (AC, AG, BJS, RS), pp. 150–165.
CBSECBSE-2012-AnneAVP #composition #named
Jasmin: an alternative for secure modularity inside the digital home (MA, KA, DHdV, JP), pp. 145–150.
DATEDATE-2012-BeniniFFM #composition #ecosystem #embedded #named #scalability
P2012: Building an ecosystem for a scalable, modular and high-efficiency embedded computing accelerator (LB, EF, DF, DM), pp. 983–987.
CSMRCSMR-2012-CohenDA #composition #maintenance
Invertible Program Restructurings for Continuing Modular Maintenance (JC, RD, AA), pp. 347–352.
CSMRCSMR-2012-OlszakJ #composition #concept #how #legacy #question
Modularization of Legacy Features by Relocation and Reconceptualization: How Much is Enough? (AO, BNJ), pp. 171–180.
ICSMEICSM-2012-KobayashiKKYM #clustering #composition #dependence #using
Feature-gathering dependency-based software clustering using Dedication and Modularity (KK, MK, KK, KY, AM), pp. 462–471.
SASSAS-2012-GoubaultPV #composition #static analysis
Modular Static Analysis with Zonotopes (EG, SP, FV), pp. 24–40.
SASSAS-2012-MadhavanRV #analysis #composition #higher-order #source code
Modular Heap Analysis for Higher-Order Programs (RM, GR, KV), pp. 370–387.
ICEISICEIS-v2-2012-AleixoKFCN #case study #comparative #modelling #process #using
Modularizing Software Process Lines using Model-driven Approaches — A Comparative Study (FAA, UK, MAF, DAdC, ECN), pp. 120–125.
KEODKEOD-2012-BrandaoMS #approach #composition #incremental #interactive #named #navigation #ontology
I3OM — An Iterative, Incremental and Interactive Approach for Ontology Navigation based on Ontology Modularization (RB, PM, NS), pp. 265–270.
MODELSMoDELS-2012-BesovaWWB #composition #multi
Weaving-Based Configuration and Modular Transformation of Multi-layer Systems (GB, SW, HW, SB), pp. 776–792.
MODELSMoDELS-2012-BesovaWWB #composition #multi
Weaving-Based Configuration and Modular Transformation of Multi-layer Systems (GB, SW, HW, SB), pp. 776–792.
ECOOPECOOP-2012-BonoKM #composition #named
Magda: A New Language for Modularity (VB, JK, MM), pp. 560–588.
OnwardOnward-2012-Heinlein #composition #named #programming language #static typing
MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.
OnwardOnward-2012-LohSC #abstraction #composition
Managed data: modular strategies for data abstraction (AL, TvdS, WRC), pp. 179–194.
OOPSLAOOPSLA-2012-LogozzoB #automation #composition #program repair
Modular and verified automatic program repair (FL, TB), pp. 133–146.
POPLPOPL-2012-FarzanK #composition #concurrent #reasoning #source code #verification
Verification of parameterized concurrent programs by modular reasoning about data and control (AF, ZK), pp. 297–308.
SACSAC-2012-GiuntaPT #aspect-oriented #composition #design pattern #named #refactoring
AODP: refactoring code to provide advanced aspect-oriented modularization of design patterns (RG, GP, ET), pp. 1243–1250.
SACSAC-2012-Pizzuti #algorithm #community #composition #detection #search-based
Boosting the detection of modular community structure with genetic algorithms and local search (CP), pp. 226–231.
FSEFSE-2012-WalkerRS #composition #problem #question
Do crosscutting concerns cause modularity problems? (RJW, SR, JS), p. 49.
ICSEICSE-2012-CookHSS #compilation #composition #specification #using #verification
Specification engineering and modular verification using a web-integrated verifying compiler (CTC, HKH, HS, MS), pp. 1379–1382.
ICSEICSE-2012-VoelterP #composition
Language modularity with the MPS language workbench (MV, VP), pp. 1449–1450.
SLESLE-2012-KaminskiW #analysis #attribute grammar #composition
Modular Well-Definedness Analysis for Attribute Grammars (TK, EVW), pp. 352–371.
LCTESLCTES-2012-GerardGPP #array #compilation #composition #data flow #memory management #optimisation
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
IJCARIJCAR-2012-BruttomessoGR #composition #quantifier
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation (RB, SG, SR), pp. 118–133.
LICSLICS-2012-AvronKZ #calculus #composition #logic
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (AA, BK, AZ), pp. 85–94.
CBSECBSE-2011-AbateCTZ #composition #named
MPM: a modular package manager (PA, RDC, RT, SZ), pp. 179–188.
CBSECBSE-2011-Gregersen #composition
Implications of modular systems on dynamic updating (ARG), pp. 169–178.
ASEASE-2011-RobinsonNS #data access #flexibility #named
GitBAC: Flexible access control for non-modular concerns (MR, JN, MS), pp. 500–503.
CASECASE-2011-TranHN #automation #composition
Semi-automatic control of modular systems with intermittent data losses (TT, QPH, HTN), pp. 625–630.
DACDAC-2011-Saha #architecture #composition #named #reuse #scalability
CIRUS: a scalable modular architecture for reusable drivers (BS), pp. 260–261.
FASEFASE-2011-Przybylek #aspect-oriented #composition
Where the Truth Lies: AOP and Its Impact on Software Modularity (AP), pp. 447–461.
CSMRCSMR-2011-Przybylek #aspect-oriented #composition #programming
Impact of Aspect-Oriented Programming on Software Modularity (AP), pp. 369–372.
PASTEPASTE-2011-MilevaZ #composition
Assessing modularity via usage changes (YMM, AZ), pp. 37–40.
WCREWCRE-2011-AbdeenDS #composition #legacy #metric #object-oriented #scalability
Modularization Metrics: Assessing Package Organization in Legacy Large Object-Oriented Software (HA, SD, HAS), pp. 394–398.
WCREWCRE-2011-ZhuWPXZ #composition #evolution #monitoring #quality #roadmap
Monitoring Software Quality Evolution by Analyzing Deviation Trends of Modularity Views (TZ, YW, XP, ZX, WZ), pp. 229–238.
PLDIPLDI-2011-BeckmanN #composition #probability #scalability #specification #type system
Probabilistic, modular and scalable inference of typestate specifications (NEB, AVN), pp. 211–221.
PLDIPLDI-2011-DilligDAS #composition #precise #source code #summary
Precise and compact modular procedure summaries for heap manipulating programs (ID, TD, AA, MS), pp. 567–577.
ICALPICALP-v2-2011-CardelliLM #composition #logic #markov
Modular Markovian Logic (LC, KGL, RM), pp. 380–391.
SEFMSEFM-2011-MuscheviciPC #composition #modelling #product line
Modular Modelling of Software Product Lines with Feature Nets (RM, JP, DC), pp. 318–333.
SEFMSEFM-2011-SoleimanifardGH #composition #named #safety #verification
ProMoVer: Modular Verification of Temporal Safety Properties (SS, DG, MH), pp. 366–381.
ICFPICFP-2011-GotsmanY #composition #kernel #verification
Modular verification of preemptive OS kernels (AG, HY), pp. 404–417.
ICFPICFP-2011-ShiversT #composition #functional
Modular rollback through control logging: a pair of twin functional pearls (OS, AJT), pp. 58–68.
HCIDHM-2011-EilersM #composition #learning #modelling #using
Learning the Relevant Percepts of Modular Hierarchical Bayesian Driver Models Using a Bayesian Information Criterion (ME, CM), pp. 463–472.
HCIDHM-2011-MobusEG #composition #predict
Predicting the Focus of Attention and Deficits in Situation Awareness with a Modular Hierarchical Bayesian Driver Model (CM, ME, HG), pp. 483–492.
RecSysRecSys-2011-EkstrandLKR11a #composition #framework #named #recommendation
LensKit: a modular recommender framework (MDE, ML, JK, JR), pp. 349–350.
ECOOPECOOP-2011-OstermannGKR #composition #information management
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity (KO, PGG, CK, TR), pp. 155–178.
OOPSLAOOPSLA-2011-AllenHKLRCS #composition #inheritance #morphism #multi #parametricity #polymorphism #type checking
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance (EEA, JH, SK, VL, SR, DC, GLSJ), pp. 973–992.
LOPSTRLOPSTR-2011-MoralesHH #composition #logic
Modular Extensions for Modular (Logic) Languages (JFM, MVH, RH), pp. 139–154.
PPDPPPDP-2011-VirsedaM #composition #constraints #declarative #higher-order #programming #semantics
A modular semantics for higher-order declarative programming with constraints (RdVV, FPM), pp. 41–52.
POPLPOPL-2011-DoddsJP #composition #parallel #reasoning
Modular reasoning for deterministic parallelism (MD, SJ, MJP), pp. 259–270.
POPLPOPL-2011-JacobsP #composition #concurrent #fine-grained #specification
Expressive modular fine-grained concurrency specification (BJ, FP), pp. 271–282.
POPLPOPL-2011-RamseyD #composition #dependent type #independence #low level #type system #using
Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code (NR, JD), pp. 575–586.
SACSAC-2011-UlbrichKHSS #adaptation #composition #framework #named
I4Copter: an adaptable and modular quadrotor platform (PU, RK, CH, RS, WSP), pp. 380–386.
ESEC-FSEESEC-FSE-2011-BeckD #composition #congruence #on the
On the congruence of modularity and code coupling (FB, SD), pp. 354–364.
ESEC-FSEESEC-FSE-2011-InostrozaTB #aspect-oriented #composition #interface #reasoning #source code
Join point interfaces for modular reasoning in aspect-oriented programs (MI, ÉT, EB), pp. 508–511.
GTTSEGTTSE-2011-Voelter #composition #ide
Language and IDE Modularization and Composition with MPS (MV), pp. 383–430.
ICSEICSE-2011-WongCKD #composition #detection
Detecting software modularity violations (SW, YC, MK, MD), pp. 411–420.
SLESLE-2011-JoncheereS #composition #using #workflow
Uniform Modularization of Workflow Concerns Using Unify (NJ, RVDS), pp. 77–96.
CCCC-2011-Pearce #composition #java #named
JPure: A Modular Purity System for Java (DJP), pp. 104–123.
CAVCAV-2011-JohnC #algorithm #composition #equation #linear #quantifier
A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations (AKJ, SC), pp. 486–503.
CAVCAV-2011-Lahiri #analysis #composition #smt
SMT-Based Modular Analysis of Sequential Systems Code (SKL), pp. 21–27.
ICLPICLP-2011-Krennwallner #composition #logic programming #source code
Promoting Modular Nonmonotonic Logic Programs (TK), pp. 274–279.
RTARTA-2011-BrockschmidtOG #bytecode #composition #java #proving #recursion #source code #term rewriting #termination
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting (MB, CO, JG), pp. 155–170.
RTARTA-2011-SternagelT #composition #semantics
Modular and Certified Semantic Labeling and Unlabeling (CS, RT), pp. 329–344.
QoSAQoSA-2010-DietrichMTS #composition #empirical #java #source code
Barriers to Modularity — An Empirical Study to Assess the Potential for Modularisation of Java Programs (JD, CM, EDT, SMAS), pp. 135–150.
CASECASE-2010-FerrariniD #composition #design #metamodelling
A modular and hierarchical meta-model for the control design of manufacturing systems (LF, AD), pp. 150–155.
DATEDATE-2010-VadlamaniZBT #adaptation #composition #fault #manycore #using
Multicore soft error rate stabilization using adaptive dual modular redundancy (RV, JZ, WPB, RT), pp. 27–32.
HTHT-2010-Murata #composition #network
Modularity for heterogeneous networks (TM), pp. 129–134.
VLDBVLDB-2010-KossmannKLMMP #composition #named
Cloudy: A Modular Cloud Storage System (DK, TK, SL, SM, RM, FP), pp. 1533–1536.
ESOPESOP-2010-WickersonDP #composition #reasoning
Explicit Stabilisation for Modular Rely-Guarantee Reasoning (JW, MD, MJP), pp. 610–629.
FASEFASE-2010-KelsenM #composition
A Modular Model Composition Technique (PK, QM), pp. 173–187.
CSMRCSMR-2010-RoubtsovSB #composition #dependence #detection #injection #java #smell
Detecting Modularity “Smells” in Dependencies Injected with Java Annotations (SAR, AS, MvdB), pp. 244–247.
ICSMEICSM-2010-RamaP #composition
Software modularization operators (GMR, NP), pp. 1–10.
SCAMSCAM-2010-LiT #composition #erlang #maintenance #refactoring
Refactoring Support for Modularity Maintenance in Erlang (HL, SJT), pp. 157–166.
WCREWCRE-2010-BavotaLMO #metric #semantics
Software Re-Modularization Based on Structural and Semantic Metrics (GB, ADL, AM, RO), pp. 195–204.
SASSAS-2010-MalkisPR #abstraction #refinement #thread
Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.
ICEISICEIS-AIDSS-2010-SantosBC #composition #concept #named #ontology #plugin
FONTE — A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts (JS, LB, AGC), pp. 93–102.
ICMLICML-2010-GrubbB #composition #learning #network
Boosted Backpropagation Learning for Training Deep Modular Networks (AG, JAB), pp. 407–414.
KDDKDD-2010-AdaB #composition #generative
The new iris data: modular data generators (IA, MRB), pp. 413–422.
KRKR-2010-ParsiaS #composition #empirical #ontology
The Modular Structure of an Ontology: An Empirical Study (BP, TS).
OOPSLAOOPSLA-2010-ChibaIZ #compilation #composition
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch (SC, AI, SZ), pp. 539–554.
OOPSLAOOPSLA-2010-KloseO #composition #logic #metaprogramming
Modular logic metaprogramming (KK, KO), pp. 484–503.
OOPSLAOOPSLA-2010-RajanKR #composition #concurrent #design pattern
Concurrency by modularity: design patterns, a case in point (HR, SMK, WR), pp. 790–805.
OOPSLAOOPSLA-2010-RobersonB #composition #model checking #performance
Efficient modular glass box software model checking (MR, CB), pp. 4–21.
GPCEGPCE-2010-BordignonSS #composition #generative #modelling
Model-based kinematics generation for modular mechatronic toolkits (MB, UPS, KS), pp. 157–166.
GPCEGPCE-2010-HoferO #component #composition #domain-specific language #scala
Modular domain-specific language components in scala (CH, KO), pp. 83–92.
GPCEGPCE-2010-RompfO #approach #code generation #composition #domain-specific language #lightweight #runtime #staging
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (TR, MO), pp. 127–136.
POPLPOPL-2010-BhargavanFG #composition #protocol #security #type system #verification
Modular verification of security protocol code by typing (KB, CF, ADG), pp. 445–456.
POPLPOPL-2010-GayVRGC #composition #distributed #object-oriented #programming
Modular session types for distributed object-oriented programming (SJG, VTV, AR, NG, AZC), pp. 299–312.
SACSAC-2010-AlencarCLSSAM #composition #modelling #towards
Towards modular i* models (FMRA, JC, ML, ES, CTLLS, JA, AMDM), pp. 292–297.
SACSAC-2010-CaoWWH #approach #composition #named #network #social
OASNET: an optimal allocation approach to influence maximization in modular social networks (TC, XW, SW, XH), pp. 1088–1094.
SACSAC-2010-EbraertDMJ #feature model
Intensional changes: modularizing crosscutting features (PE, TD, TM, DJ), pp. 2176–2182.
SACSAC-2010-HurnausP #automation #composition #contract #programming #verification
Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.
SACSAC-2010-MustaphaZAG #composition #ontology #semantics #using
Enhancing semantic search using case-based modular ontology (NBM, HBZ, MAA, HHBG), pp. 1438–1439.
ICSEICSE-2010-ShonleY #composition
Compose & conquer: modularity for end-users (MS, TTY), pp. 191–194.
LCTESLCTES-2010-DelavalMR #composition #contract #synthesis
Contracts for modular discrete controller synthesis (GD, HM, ÉR), pp. 57–66.
LICSLICS-2010-EndrullisHK #combinator #composition #fixpoint
Modular Construction of Fixed Point Combinators and Clocked Bohm Trees (JE, DH, JWK), pp. 111–119.
RTARTA-2010-AppelOS #composition #higher-order
Higher-Order (Non-)Modularity (CA, VvO, JGS), pp. 17–32.
RTARTA-2010-HillsR #approach #composition #logic #program analysis #semantics
A Rewriting Logic Semantics Approach to Modular Program Analysis (MH, GR), pp. 151–160.
RTARTA-2010-ZanklK #analysis #complexity #composition
Modular Complexity Analysis via Relative Complexity (HZ, MK), pp. 385–400.
WICSA-ECSAWICSA-ECSA-2009-SethiCWGS #architecture #composition
From retrospect to prospect: Assessing modularity and stability from software architecture (KS, YC, SW, AG, CS), pp. 269–272.
CASECASE-2009-LeeB #architecture #composition #nondeterminism #petri net
A modular petri net based architecture to model manufacturing systems exhibiting resource and timing uncertainties (HL, AB), pp. 525–530.
CASECASE-2009-SaketiKNVK #automation #composition
Automated modular bacterial filtering system with embeddable microfluidic chips (PS, JMK, KN, LV, PJK), pp. 212–216.
DACDAC-2009-PellauerACE #composition #problem
Soft connections: addressing the hardware-design modularity problem (MP, MA, DC, JSE), pp. 276–281.
DATEDATE-2009-GolshanB #composition #design
SEU-aware resource binding for modular redundancy based designs on FPGAs (SG, EB), pp. 1124–1129.
DATEDATE-2009-Jara-BerrocalG #architecture #communication #composition #configuration management #named #parametricity #scalability
SCORES: A scalable and parametric streams-based communication architecture for modular reconfigurable systems (AJB, AGR), pp. 268–273.
HTHT-2009-Murata #network
Modularities for bipartite networks (TM), pp. 245–250.
ESOPESOP-2009-Jaskelioff #composition #monad
Modular Monad Transformers (MJ), pp. 64–79.
ESOPESOP-2009-RajanTSL #composition #design #named #policy #verification #web #web service
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (HR, JT, SMS, GTL), pp. 333–347.
ICSMEICSM-2009-PaudelD #fault
Modularizing error recovery (JP, CD), pp. 507–510.
WCREWCRE-1999-RatiuMJ99a #composition #logic #source code
The Logical Modularity of Programs (DR, RM, JJ), pp. 123–127.
FMFM-2009-JohnsenKY #composition #concurrent #distributed #evolution
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects (EBJ, MK, ICY), pp. 596–611.
ICFPICFP-2009-McCarthy #automation #composition #continuation #rest #web
Automatically RESTful web applications: marking modular serializable continuations (JAM), pp. 299–310.
KEODKEOD-2009-GoczylaWW #approach #knowledge base #named #semantics
S-modules — Approach to Capture Semantics of Modularized DL Knowledge Bases (KG, AW, WW), pp. 117–122.
KEODKEOD-2009-HashemiG #composition #design #ontology #repository
Ontology Design through Modular Repositories (AH, MG), pp. 192–199.
MLDMMLDM-2009-StahlBA #classification #composition #framework #induction #named #parallel
PMCRI: A Parallel Modular Classification Rule Induction Framework (FTS, MAB, MA), pp. 148–162.
SEKESEKE-2009-ConejeroHJCR #analysis #composition #product line
Early Analysis of Modularity in Software Product Lines (JMC, JH, EJ, PJC, RR), pp. 721–736.
SEKESEKE-2009-FiondellaG #composition #resource management
Resource Allocation for a Modular Software System (LF, SSG), pp. 480–486.
ECOOPECOOP-2009-LagorioSZ #calculus #composition
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes (GL, MS, EZ), pp. 244–268.
ECOOPECOOP-2009-Oliveira #component #composition #visitor
Modular Visitor Components (BCdSO), pp. 269–293.
OOPSLAOOPSLA-2009-KatsJNV #agile #composition #fault #feedback #parsing
Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing (LCLK, MdJ, ENN, EV), pp. 445–464.
PPDPPPDP-2009-EastlundF #composition #induction
Making induction manifest in modular ACL2 (CE, MF), pp. 105–116.
POPLPOPL-2009-LublinermanST #code generation #composition #diagrams
Modular code generation from synchronous block diagrams: modularity vs. code size (RL, CS, ST), pp. 78–89.
POPLPOPL-2009-Monniaux #abstraction #automation #composition #constraints #linear
Automatic modular abstractions for linear constraints (DM), pp. 140–151.
REFSQREFSQ-2009-LiRFM #clustering #composition #design #question #requirements
Does Requirements Clustering Lead to Modular Design? (ZL, QAR, RF, NHM), pp. 233–239.
SACSAC-2009-HecklM #composition #process
Operational control of service processes: modularization as precondition (DH, JM), pp. 239–244.
SACSAC-2009-KangCRRV #adaptation #composition #implementation #probability #simulation
Modular implementation of adaptive decisions in stochastic simulations (PK, YC, NR, CJR, SV), pp. 995–1001.
SACSAC-2009-SchippersHH #implementation
An implementation substrate for languages composing modularized crosscutting concerns (HS, MH, RH), pp. 1944–1951.
ICSEICSE-2009-GeayPTRD #analysis #composition #precise #string
Modular string-sensitive permission analysis with demand-driven precision (EG, MP, TT, BGR, JD), pp. 177–187.
SLESLE-2009-WendeTZ #approach #composition #towards
A Role-Based Approach towards Modular Language Engineering (CW, NT, SZ), pp. 254–273.
SOSPSOSP-2009-MammarellaHK #composition
Modular data storage with Anvil (MM, SH, EK), pp. 147–160.
ICLPICLP-2009-Dao-TranEFK #composition #logic programming #revisited
Modular Nonmonotonic Logic Programming Revisited (MDT, TE, MF, TK), pp. 145–159.
ICLPICLP-2009-Inclezan #composition
Modular Action Language ALM (DI), pp. 542–543.
RTARTA-2009-Kahrs #composition #convergence
Modularity of Convergence in Infinitary Rewriting (SK), pp. 179–193.
RTARTA-2009-SchernhammerG #composition #named #termination
VMTL — A Modular Termination Laboratory (FS, BG), pp. 285–294.
TLCATLCA-2009-AbelCP #algorithm #composition #proving #type system
A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance (AA, TC, MP), pp. 5–19.
VMCAIVMCAI-2009-Sagiv #analysis #thread
Thread-Modular Shape Analysis (MS), p. 3.
CASECASE-2008-UnverM #automation #composition #design pattern #throughput #using
Using architectural software patterns in support of controlling modular high throughput screening automation systems (HÖÜ, JM), pp. 912–917.
DACDAC-2008-HuangYX #composition #on the #reliability #testing
On reliable modular testing with vulnerable test access mechanisms (LH, FY, QX), pp. 834–839.
DATEDATE-2008-LublinermanT #code generation #composition #diagrams #reuse
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams (RL, ST), pp. 1504–1509.
DATEDATE-2008-SinanogluM #analysis #composition #reduction #testing
Analysis of The Test Data Volume Reduction Benefit of Modular SOC Testing (OS, EJM), pp. 182–187.
DocEngDocEng-2008-AlkhateebL #composition #documentation #generative #towards #using
Towards extending and using SPARQL for modular document generation (FA, SL), pp. 164–172.
CSMRCSMR-2008-BrytonA #refactoring
Modularity-Oriented Refactoring (SB, FBeA), pp. 294–297.
ICSMEICSM-2008-KellensSDJD #aspect-oriented #case study #experience
Experiences in modularizing business rules into aspects (AK, KDS, TD, VJ, HD), pp. 448–451.
SCAMSCAM-2008-Gomez-ZamalloaAP #composition #decompiler #low level #partial evaluation
Modular Decompilation of Low-Level Code by Partial Evaluation (MGZ, EA, GP), pp. 239–248.
PEPMPEPM-2008-PietrzakCPH #analysis #composition #prolog #source code #verification
A practical type analysis for verification of modular prolog programs (PP, JC, GP, MVH), pp. 61–70.
STOCSTOC-2008-DeKSS #composition #integer #multi #performance #using
Fast integer multiplication using modular arithmetic (AD, PPK, CS, RS), pp. 499–506.
STOCSTOC-2008-Umans #composition #performance #polynomial
Fast polynomial factorization and modular composition in small characteristic (CU), pp. 481–490.
ICALPICALP-A-2008-TedderCHP #composition #linear #permutation #recursion
Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations (MT, DGC, MH, CP), pp. 634–645.
ICEISICEIS-SAIC-2008-RyuLC #collaboration #composition
Modularization of Web-Based Collaboration Systems for Manufacturing Innovation (KR, SL, HC), pp. 174–177.
CIKMCIKM-2008-ZhangM #composition #kernel
Classifying networked entities with modularity kernels (DZ, RM), pp. 113–122.
KRKR-2008-AnalytiAD #composition #framework #semantics #web
A Principled Framework for Modular Web Rule Bases and Its Semantics (AA, GA, CVD), pp. 390–400.
SEKESEKE-2008-LiuLTH #composition #empirical #object-oriented
An Empirical Study on Modularization of Object Oriented Software (JL, BL, CKT, KH), pp. 830–835.
OOPSLAOOPSLA-2008-SchippersJHH #semantics
Delegation-based semantics for modularizing crosscutting concerns (HS, DJ, MH, RH), pp. 525–542.
TOOLSTOOLS-EUROPE-2008-KrahnRV #composition #development #domain-specific language #named
MontiCore: Modular Development of Textual Domain Specific Languages (HK, BR, SV), pp. 297–315.
TOOLSTOOLS-EUROPE-2008-KuhlemannARL #composition #design pattern #multi #paradigm
A Multiparadigm Study of Crosscutting Modularity in Design Patterns (MK, SA, MR, RELH), pp. 121–140.
GPCEGPCE-2008-KimKB #composition #feature model #interactive #on the
On the modularity of feature interactions (CHPK, CK, DSB), pp. 23–34.
LOPSTRLOPSTR-2008-AlpuenteEMO #algorithm #composition #equation
A Modular Equational Generalization Algorithm (MA, SE, JM, PO), pp. 24–39.
POPLPOPL-2008-ChinDNQ #composition #logic #object-oriented #verification
Enhancing modular OO verification with separation logic (WNC, CD, HHN, SQ), pp. 87–99.
SACSAC-2008-FreixasJS #composition #geometry
Elements for a modular dynamic geometry system (MF, RJA, ASR), pp. 1816–1820.
SACSAC-2008-KaegiD #composition #java #web
Modular Java web applications (SRK, DD), pp. 688–693.
FSEFSE-2008-YuWGB #composition #encoding #performance #summary #using #verification #web #web service
Modular verification of web services using efficient symbolic encoding and summarization (FY, CW, AG, TB), pp. 192–202.
ICSEICSE-2008-HoffmanE #aspect-oriented #component #composition #empirical #reuse #towards
Towards reusable components with aspects: an empirical study on modularity and obliviousness (KJH, PE), pp. 91–100.
ICSEICSE-2008-HuynhCSS #automation #composition #consistency
Automatic modularity conformance checking (SH, YC, YS, KJS), pp. 411–420.
LCTESLCTES-2008-BiernackiCHP #code generation #composition #data flow
Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
CAVCAV-2008-JainCG #composition #equation #linear #performance
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.
ICLPICLP-2008-TruszczynskiW #composition #logic programming #source code
Relativized Hyperequivalence of Logic Programs for Modular Programming (MT, SW), pp. 576–590.
IJCARIJCAR-2008-Oostrom #composition #confluence
Modularity of Confluence (VvO), pp. 348–363.
RTARTA-2008-AlpuenteEI #composition #termination
Modular Termination of Basic Narrowing (MA, SE, JI), pp. 1–16.
FATESTestCom-FATES-2008-GrozLPS #analysis #composition #reachability #testing #verification
Modular System Verification by Inference, Testing and Reachability Analysis (RG, KL, AP, MS), pp. 216–233.
VMCAIVMCAI-2008-Moy #composition
Sufficient Preconditions for Modular Assertion Checking (YM), pp. 188–202.
ECSAECSA-2007-CorderoS #architecture #composition #perspective
Analyzing Styles of the Modular Software Architecture View (RNLC, IRS), pp. 275–278.
ECSAECSA-2007-SantAnnaFGL #architecture #composition #framework #metric #on the
On the Modularity of Software Architectures: A Concern-Driven Measurement Framework (CS, EF, AFG, CJPdL), pp. 207–224.
ASEASE-2007-CaiHX #composition #design #framework #testing #tool support
A framework and tool supports for testing modularity of software design (YC, SH, TX), pp. 441–444.
ASEASE-2007-Song #adaptation #composition
Adaptation hiding modularity (YS), pp. 551–554.
ASEASE-2007-TkachukR #composition #generative #model checking #slicing
Combining environment generation and slicing for modular software model checking (OT, SPR), pp. 401–404.
ASEASE-2007-WeaverKFA #composition #programming
Modular and generic programming with interpreterlib (PW, GK, NF, PA), pp. 473–476.
CASECASE-2007-GoemansAGS #algorithm #automation #composition #design #industrial #physics
Automated Feeding of Industrial Parts with Modular Blades: Design Software, Physical Experiments, and an Improved Algorithm (OCG, MTA, KG, AFvdS), pp. 318–325.
DATEDATE-2007-SauerGD #composition #framework #interactive
Interactive presentation: Hard- and software modularity of the NOVA MPSoC platform (CS, MG, SD), pp. 1102–1107.
ICDARICDAR-2007-JayaramanSC #approach #composition #recognition
Modular Approach to Recognition of Strokes in Telugu Script (AJ, CCS, VSC), pp. 501–505.
ESOPESOP-2007-DreyerB #composition #source code
Principal Type Schemes for Modular Programs (DD, MB), pp. 441–457.
ESOPESOP-2007-RinetzkyPRSY #analysis #composition #encapsulation #source code
Modular Shape Analysis for Dynamically Encapsulated Programs (NR, APH, GR, MS, EY), pp. 220–236.
TACASTACAS-2007-GoldmanK #composition #named #verification
MAVEN: Modular Aspect Verification (MG, SK), pp. 308–322.
ICSMEICSM-2007-ArchuletaTF #architecture #composition #performance #sequence
A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search (JSA, ET, WcF), pp. 144–153.
PASTEPASTE-2007-Brown #analysis #composition #integration #named
AWE: improving software analysis through modular integration of static and dynamic analyses (REB), pp. 69–74.
PLDIPLDI-2007-GotsmanBCS #analysis #thread
Thread-modular shape analysis (AG, JB, BC, MS), pp. 266–277.
SASSAS-2007-CalcagnoPV #composition #concurrent #fine-grained #safety
Modular Safety Checking for Fine-Grained Concurrency (CC, MJP, VV), pp. 233–248.
SASSAS-2007-MalkisPR #precise #thread #verification
Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.
ICALPICALP-2007-SchroderP #algorithm #composition #logic
Modular Algorithms for Heterogeneous Modal Logics (LS, DP), pp. 459–471.
LISPILC-2007-HerzeelGCD #e-commerce #lisp #using
Modularizing crosscuts in an e-commerce application in Lisp using HALO (CH, KG, PC, TD), p. 11.
HCIHCI-IPT-2007-ParkSKPJ #composition #modelling #user interface
User Customization Methods Based on Mental Models: Modular UI Optimized for Customizing in Handheld Device (BP, SS, JK, WP, HJ), pp. 445–451.
HCIHIMI-MTT-2007-ParkSKJ #composition #user interface
A Modular User Interface of Robots (JHP, THS, KHK, JWJ), pp. 912–921.
HCIOCSC-2007-VilhjalmssonMS #animation #composition #social #towards
Social Puppets: Towards Modular Social Animation for Agents and Avatars (HHV, CM, PS), pp. 192–201.
KDDKDD-2007-ShigaTM #approach #clustering #composition #network
A spectral clustering approach to optimally combining numericalvectors with a modular network (MS, IT, HM), pp. 647–656.
KDDKDD-2007-TeoSVL #composition #scalability
A scalable modular convex solver for regularized risk minimization (CHT, AJS, SVNV, QVL), pp. 727–736.
SEKESEKE-2007-LiangS #aspect-oriented #composition #detection #specification
Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection (HL, JS), pp. 77–80.
OOPSLAOOPSLA-2007-BierhoffA #alias #composition #type system
Modular typestate checking of aliased objects (KB, JA), pp. 301–320.
OOPSLAOOPSLA-2007-ShanerLN #composition #higher-order #source code #verification
Modular verification of higher-order methods with mandatory calls specified by model programs (SMS, GTL, DAN), pp. 351–368.
TOOLSTOOLS-EUROPE-2007-BonoK
Modularizing constructors (VB, JDMK), pp. 297–397.
TOOLSTOOLS-EUROPE-2007-HenrikssonJZA #composition #named #reuse
Reuseware — Adding Modularity to Your Language of Choice (JH, JJ, SZ, UA), pp. 127–146.
TOOLSTOOLS-EUROPE-2007-HerrmannM #composition
Integrating Object Teams and OSGi: Joint Efforts for Superior Modularity (SH, MM), pp. 105–125.
POPLPOPL-2007-DreyerHCK #composition
Modular type classes (DD, RH, MMTC, GK), pp. 63–70.
POPLPOPL-2007-ParkinsonBO #composition #stack #verification
Modular verification of a non-blocking stack (MJP, RB, PWO), pp. 297–302.
SACSAC-MT-J-2006-KurtevBJ07 #atl #composition #model transformation #rule-based
Rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 138–154.
SACSAC-2007-AllenHLRS #composition #inheritance #multi
Modular multiple dispatch with multiple inheritance (EEA, JJH, VL, SR, GLSJ), pp. 1117–1121.
SACSAC-2007-SoaresB #aspect-oriented #composition #concurrent #reuse #towards
Towards reusable and modular aspect-oriented concurrency control (SS, PB), pp. 1293–1294.
ESEC-FSEESEC-FSE-2007-ShonleGL #composition #design #framework #maintenance #refactoring
Beyond refactoring: a framework for modular maintenance of crosscutting design idioms (MS, WGG, SL), pp. 175–184.
LDTALDTA-J-2003-Wyk #aspect-oriented #composition #implementation #programming
Implementing aspect-oriented programming constructs as modular language extensions (EVW), pp. 38–61.
CAVCAV-2007-LeavensKP #behaviour #composition #functional #java #ml #specification #tutorial #verification
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.
CSLCSL-2007-MillerS #composition #linear #logic #proving
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic (DM, AS), pp. 405–419.
ICLPICLP-2007-Oikarinen #composition #programming #set
Modular Answer Set Programming (EO), pp. 462–463.
ISSTAISSTA-2007-HughesB #composition #interface #model checking
Interface grammars for modular software model checking (GH, TB), pp. 39–49.
VMCAIVMCAI-2007-Logozzo #abstract interpretation #analysis #composition #java #named #verification
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (FL), pp. 283–298.
ASEASE-2006-CaiS #analysis #composition #design #logic #modelling
Modularity Analysis of Logical Design Models (YC, KJS), pp. 91–102.
DATEDATE-DF-2006-KaruriLAMK #composition #design #float #implementation
Design and implementation of a modular and portable IEEE 754 compliant floating-point unit (KK, RL, GA, HM, MK), pp. 221–226.
SCAMSCAM-2006-WykKBJSR #c #compilation #composition #framework #java #tool support
Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C (EVW, LK, DB, EJ, AS, PR), p. 161.
PLDIPLDI-2006-FengSVXN #abstraction #assembly #composition #verification
Modular verification of assembly code with stack-based control abstractions (XF, ZS, AV, SX, ZN), pp. 401–414.
PLDIPLDI-2006-Grimm #composition #syntax
Better extensibility through modular syntax (RG), pp. 38–51.
FMFM-2006-BotaschanjanGHKST #distributed #towards #verification
Towards Modularized Verification of Distributed Time-Triggered Systems (JB, AG, AH, LK, MS, DT), pp. 163–178.
ICFPICFP-2006-Chlipala #composition #development #proving #verification
Modular development of certified program verifiers with a proof assistant (AC), pp. 160–171.
ICFPICFP-2006-ZiarekSJ #abstraction #composition #concurrent #functional #named #source code
Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.
KRKR-2006-GrauPSK #composition #ontology #web
Modularity and Web Ontologies (BCG, BP, ES, AK), pp. 198–209.
ECOOPECOOP-2006-AjmaniLS #composition #distributed
Modular Software Upgrades for Distributed Systems (SA, BL, LS), pp. 452–476.
POPLPOPL-2006-MeunierFF #analysis #composition #contract
Modular set-based analysis from contracts (PM, RBF, MF), pp. 218–231.
SACSAC-2006-KurtevBJ #atl #composition #evaluation #model transformation #rule-based
Evaluation of rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 1202–1209.
SACSAC-2006-MeerWA #bound #composition #interactive #performance
Efficient interactive configuration of unbounded modular systems (ERvdM, AW, HRA), pp. 409–414.
ICSEICSE-2006-HackettDWY #composition #in the large
Modular checking for buffer overflows in the large (BH, MD, DW, ZY), pp. 232–241.
SPLCSPLC-2006-Batory #composition #product line
Feature Modularity in Software Product Lines (DSB), p. 230.
OSDIOSDI-2006-EeFKMTCSS #composition #network
A Modular Network Layer for Sensornets (CTE, RF, SK, DM, AT, DEC, SS, IS), pp. 249–262.
ICLPICLP-2006-BaralDT #composition #metaprogramming #set
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming (CB, JD, HT), pp. 376–390.
IJCARIJCAR-2006-GregoireT #composition #functional #library #scalability
A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers (BG, LT), pp. 423–437.
ISSTAISSTA-2006-DennisCJ #composition #satisfiability #verification
Modular verification of code with SAT (GD, FSHC, DJ), pp. 109–120.
LICSLICS-2006-ChaubardPS #composition #first-order
First Order Formulas with Modular Predicates (LC, JÉP, HS), pp. 211–220.
LICSLICS-2006-MacielP #bound #composition #proving
Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives (AM, TP), pp. 189–200.
RTARTA-2006-Jouannaud #composition
Modular Church-Rosser Modulo (JPJ), pp. 96–107.
ASEASE-2005-SwintPJYKWCSM #code generation #composition #flexibility #named
Clearwater: extensible, flexible, modular code generation (GSS, CP, GJ, WY, YK, QW, CC, AS, KM), pp. 144–153.
DACDAC-2005-SauerGS #composition #embedded #framework #implementation
Modular domain-specific implementation and exploration framework for embedded software platforms (CS, MG, SS), pp. 254–259.
DATEDATE-2005-KastensmidtSCR #composition #design #logic #on the
On the Optimal Design of Triple Modular Redundancy Logic for SRAM-based FPGAs (FLK, LS, LC, MSR), pp. 1290–1295.
DATEDATE-2005-KempfDLAMKV #composition #framework #multi #simulation
A Modular Simulation Framework for Spatial and Temporal Task Mapping onto Multi-Processor SoC Platforms (TK, MD, RL, GA, HM, TK, BV), pp. 876–881.
WRLAWRLA-2004-BragaM05 #composition #semantics
Modular Rewriting Semantics in Practice (CB, JM), pp. 393–416.
ESOPESOP-2005-Muller-OlmS #analysis #composition
Analysis of Modular Arithmetic (MMO, HS), pp. 46–60.
TACASTACAS-2005-BergaminiDJM #bisimulation #composition #equivalence #named #on the fly
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking (DB, ND, CJ, RM), pp. 581–585.
ICALPICALP-2005-ChattopadhyayH #bound #composition #symmetry
Lower Bounds for Circuits with Few Modular and Symmetric Gates (AC, KAH), pp. 994–1005.
FMFM-2005-LeinoM #composition #invariant #verification
Modular Verification of Static Class Invariants (KRML, PM), pp. 26–42.
ICFPICFP-2005-FengS #assembly #composition #concurrent #termination #thread #verification
Modular verification of concurrent assembly code with dynamic thread creation and termination (XF, ZS), pp. 254–267.
ECOOPECOOP-2005-Aldrich #composition #reasoning
Open Modules: Modular Reasoning About Advice (JA), pp. 144–168.
ECOOPECOOP-2005-Lopez-HerrejonBC #composition
Evaluating Support for Features in Advanced Modularization Technologies (RELH, DSB, WRC), pp. 169–194.
ECOOPECOOP-2005-OstermannMB #composition
Expressive Pointcuts for Increased Modularity (KO, MM, CB), pp. 214–240.
ECOOPECOOP-2005-RodriguezDFHLR #composition #concurrent #ml #multi #source code #specification #thread #verification
Extending JML for Modular Specification and Verification of Multi-threaded Programs (ER, MBD, CF, JH, GTL, R), pp. 551–576.
GPCEGPCE-2005-LawallDMM #composition #domain-specific language
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language (JLL, HD, GM, AFLM), pp. 78–93.
LOPSTRLOPSTR-2005-CorreasPHB #analysis #composition #source code
Experiments in Context-Sensitive Analysis of Modular Programs (JC, GP, MVH, FB), pp. 163–178.
SACSAC-2005-CarvalhoL #abstraction #composition #distributed #parallel #performance #programming
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming (FHdCJ, RDL), pp. 1357–1364.
GTTSEGTTSE-2005-EkmanH #analysis #composition #jastadd #java #using
Modular Name Analysis for Java Using JastAdd (TE, GH), pp. 422–436.
ICSEICSE-2005-KiczalesM #aspect-oriented #composition #programming #reasoning
Aspect-oriented programming and modular reasoning (GK, MM), pp. 49–58.
CSLCSL-2005-CourcelleD #composition #graph #higher-order #logic #monad
The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic (BC, CD), pp. 325–338.
RTARTA-2005-AbbottGL #composition
Abstract Modularity (MA, NG, CL), pp. 46–60.
DACDAC-2004-RosenbandA #composition #scheduling
Modular scheduling of guarded atomic actions (DLR, A), pp. 55–60.
DATEDATE-DF-2004-CilardoMRS #composition #configuration management #hardware
Carry-Save Montgomery Modular Exponentiation on Reconfigurable Hardware (AC, AM, LR, GPS), pp. 206–211.
DATEDATE-v1-2004-SehgalC #architecture #composition #performance #testing #using
Efficient Modular Testing of SOCs Using Dual-Speed TAM Architectures (AS, KC), pp. 422–427.
DocEngDocEng-2004-ChuangL #composition #on the
On modular transformation of structural content (TRC, JLL), pp. 201–210.
DocEngDocEng-2004-SilvaRSM #composition #concept #xml
NCL 2.0: integrating new concepts to XML modular languages (HVOS, RFR, LFGS, DCMS), pp. 188–197.
ESOPESOP-2004-Shmatikov #analysis #composition #decidability #encryption #protocol
Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation (VS), pp. 355–369.
CSMRCSMR-2004-Al-EkramK #composition #concept #slicing #source code #using
Source Code Modularization Using Lattice of Concept Slices (RAE, KK), pp. 195–203.
ICSMEICSM-2004-JanssensMHV #approach #composition #configuration management
A Modular Approach Enforcing Safe Reconfiguration of Producer-Consumer Applications (NJ, SM, TH, PV), pp. 274–283.
SASSAS-2004-SunBN #composition #constraints #data flow #object-oriented
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language (QS, AB, DAN), pp. 84–99.
IFMIFM-2004-ThanhK #composition #modelling #object-oriented #petri net
Object-Oriented Modelling with High-Level Modular Petri Nets (CBT, HK), pp. 287–306.
ICEISICEIS-v5-2004-CarricoDGT #composition
Modular Production of Rich Digital Talking Books (LC, CD, NG, AJS, IT), pp. 158–163.
ICPRICPR-v4-2004-CastanedaLC #architecture #composition #implementation #realtime #visual notation
Implementation of a Modular Real-Time Feature-Based Architecture Applied to Visual Face Tracking (BC, YL, JCC), pp. 167–170.
GPCEGPCE-2004-Mosses #composition
Modular Language Descriptions (PDM), p. 489.
LOPSTRPDCL-2004-PueblaCHBBMS #analysis #composition #framework #source code
A Generic Framework for Context-Sensitive Analysis of Modular Programs (GP, JC, MVH, FB, MJGdlB, KM, PJS), pp. 233–260.
FSEFSE-2004-GieseBSO #component #composition #configuration management #design #verification
Modular design and verification of component-based mechatronic systems with online-reconfiguration (HG, SB, WS, OO), pp. 179–188.
FSEFSE-2004-KrishnamurthiFG #verification
Verifying aspect advice modularly (SK, KF, MG), pp. 137–146.
ICSEICSE-2004-LingenH #composition #configuration management #framework #policy
An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition (RvdL, AvdH), pp. 573–582.
ICSEICSE-2004-Rajan #integration
One More Step in the Direction of Modularized Integration Concerns (HR), pp. 36–38.
IJCARIJCAR-2004-GanzingerSW #composition #proving #similarity
Modular Proof Systems for Partial Functions with Weak Equality (HG, VSS, UW), pp. 168–182.
IJCARIJCAR-2004-ThiemannGS #composition #dependence #proving #termination #using
Improved Modular Termination Proofs Using Dependency Pairs (RT, JG, PSK), pp. 75–90.
RTARTA-2004-Simonsen #composition #confluence #on the #term rewriting
On the Modularity of Confluence in Infinitary Term Rewriting (JGS), pp. 185–199.
ICDARICDAR-2003-TakahashiN #learning #recognition
A class-modular GLVQ ensemble with outlier learning for handwritten digit recognition (KT, DN), pp. 268–272.
FASEFASE-2003-JinELJ #analysis #composition #data flow #network #process
Modular Analysis of Dataflow Process Networks (YJ, RE, CL, JWJ), pp. 184–199.
TACASTACAS-2003-AlurTM #composition #game studies #graph #recursion
Modular Strategies for Recursive Game Graphs (RA, SLT, PM), pp. 363–378.
SASSAS-2003-BessonJ #analysis #composition #datalog
Modular Class Analysis with DATALOG (FB, TPJ), pp. 19–36.
SASSAS-2003-Logozzo #analysis #composition #object-oriented
Class-Level Modular Analysis for Object Oriented Languages (FL), pp. 37–54.
FMFME-2003-MarinescuR #composition #design #framework
A Formal Framework for Modular Synchronous System Design (MCVM, MCR), pp. 482–502.
VISSOFTVISSOFT-2003-DavisPK #3d #named #object-oriented #source code #visualisation
KScope: A Modularized Tool for 3D Visualization of Object-Oriented Programs (TAD, KP, AK), pp. 98–103.
OOPSLAOOPSLA-2003-BoyapatiLSMR #composition #lazy evaluation #persistent
Lazy modular upgrades in persistent object stores (CB, BL, LS, CHM, SR), pp. 403–417.
OOPSLAOOPSLA-2003-MillsteinRC #composition #multi
Relaxed MultiJava: balancing extensibility and modular typechecking (TDM, MR, CC), pp. 224–240.
ESEC-FSEESEC-FSE-2003-RobbyDH #framework #model checking #named
Bogor: an extensible and highly-modular software model checking framework (R, MBD, JH), pp. 267–276.
ESEC-FSEESEC-FSE-2003-TkachukD #adaptation #analysis #composition #model checking
Adapting side effects analysis for modular program model checking (OT, MBD), pp. 188–197.
ICSEICSE-2003-ChakiCGJV #c #component #composition #verification
Modular Verification of Software Components in C (SC, EMC, AG, SJ, HV), pp. 385–395.
LDTALDTA-2003-Wyk #aspect-oriented #composition
Aspects as Modular Language Extensions (EVW), pp. 555–574.
CAVCAV-2003-AlurTM #composition #game studies #graph #infinity #recursion
Modular Strategies for Infinite Games on Recursive Graphs (RA, SLT, PM), pp. 67–79.
CAVCAV-2003-HenzingerJMQ #abstraction #refinement #thread
Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.
CSLCSL-2003-Reus #composition #logic #semantics
Modular Semantics and Logics of Classes (BR), pp. 456–469.
RTARTA-2003-KapurNW #algorithm #composition #protocol
An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation (DK, PN, LW), pp. 165–179.
ASEASE-2002-Crhova #composition #distributed #model checking
Distributed Modular Model Checking (JC), p. 312.
ASEASE-2002-LiKF #composition #interface #verification
Interfaces for Modular Feature Verification (HCL, SK, KF), pp. 195–204.
ESOPESOP-2002-FlanaganFQ #source code #thread #verification
Thread-Modular Verification for Shared-Memory Programs (CF, SNF, SQ), pp. 262–277.
ESOPESOP-2002-WandW #analysis #composition #proving
A Modular, Extensible Proof Method for Small-Step Flow Analyses (MW, GBW), pp. 213–227.
SASSAS-2002-Probst #analysis #composition #control flow #library
Modular Control Flow Analysis for Libraries (CWP), pp. 165–179.
ICFPICFP-2002-MillsteinBC #composition #data type
Modular typechecking for hierarchically extensible datatypes and functions (TDM, CB, CC), pp. 110–122.
AdaEuropeAdaEurope-2002-ParkinsonG #composition #development #using
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT (PP, FG), pp. 163–178.
CAiSECAiSE-2002-NorrieP #approach #composition #modelling
A Modelling Approach to the Realisation of Modular Information Spaces (MCN, AP), pp. 245–261.
ICPRICPR-v3-2002-BarraezGDPR #composition #network
Modular Neural Networks for Seismic Tomography (DB, SGS, BD, MP, ER), pp. 407–410.
KRKR-2002-TessarisHG #algorithm #composition
Evaluating a Modular Abox Algorithm (ST, IH, GG), pp. 227–238.
UMLUML-2002-SchattkowskyL #agile #composition #development #uml #using #web
Rapid Development of Modular Dynamic Web Sites Using UML (TS, ML), pp. 336–350.
ECOOPECOOP-2002-RinatS #composition #internet #programming
Modular Internet Programming with Cells (RR, SFS), pp. 257–280.
GPCEGPCE-2002-ChinH #composition #towards
Towards a Modular Program Derivation via Fusion and Tupling (WNC, ZH), pp. 140–155.
LOPSTRLOPSTR-2002-BragaHMM #composition #logic
Mapping Modular SOS to Rewriting Logic (CdOB, EHH, JM, PDM), pp. 262–277.
PPDPPPDP-2002-GramlichL #composition #termination
Modular termination of context-sensitive rewriting (BG, SL), pp. 50–61.
SACSAC-2002-FiegeMG #approach #composition
A modular approach to build structured event-based systems (LF, GM, FCG), pp. 385–392.
ASPLOSASPLOS-2002-KohlerMC #composition #optimisation #programming language
Programming language optimizations for modular router configurations (EK, RM, BC), pp. 251–263.
CCCC-2002-CousotC #composition #program analysis
Modular Static Program Analysis (PC, RC), pp. 159–178.
CCCC-2002-WykMBK #attribute grammar #composition #design
Forwarding in Attribute Grammars for Modular Language Design (EVW, OdM, KB, PK), pp. 128–142.
CAVCAV-2002-FlanaganQS #composition #parallel #source code #thread
A Modular Checker for Multithreaded Programs (CF, SQ, SAS), pp. 180–194.
RTARTA-2002-KennawayKP #composition #static analysis #λ-calculus
Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus (RK, ZK, AP), pp. 51–65.
CBSECBSE-2001-Weide #component #composition #testing
Modular Regression Testing: Connections to Component-Based Software (BWW), p. 11.
ICDARICDAR-2001-OhLS #recognition
A Class-Modularity for Character Recognition (ISO, JSL, CYS), pp. 64–68.
ICDARICDAR-2001-OliveiraSBS #composition
A Modular System to Recognize Numerical Amounts on Brazilian Bank Checks (LESdO, RS, FB, CYS), pp. 389–395.
ESOPESOP-2001-CuoqP #composition
Modular Causality in a Synchronous Stream Language (PC, MP), pp. 237–251.
FoSSaCSFoSSaCS-2001-DurandM #call-by #composition #on the
On the Modularity of Deciding Call-by-Need (ID, AM), pp. 199–213.
CSMRCSMR-2001-AbreuG #composition #question
Coupling and Cohesion as Modularization Drivers: Are We Being Over-Persuaded? (FBeA, MG), pp. 47–57.
STOCSTOC-2001-Elkies #composition
Excellent codes from modular curves (NDE), pp. 200–208.
FMFME-2001-DocheVK #approach #composition #specification #validation
A Modular Approach to the Specification and Validation of an Electrical Flight Control System (MD, IVM, FK), pp. 590–610.
CHICHI-2001-RekimotoUO #composition #framework #interactive #named #physics #visual notation
DataTiles: a modular platform for mixed physical and graphical interactions (JR, BU, HO), pp. 269–276.
CIKMCIKM-2001-Couchot #analysis #composition #set #termination
Termination Analysis of Active Rules Modular Sets (AC), pp. 326–333.
OOPSLAOOPSLA-2001-DugganT #composition #framework #inheritance #mixin
Modular Mixin-Based Inheritance for Application Frameworks (DD, CCT), pp. 223–240.
TOOLSTOOLS-USA-2001-McKeeFS #composition #concept #object-oriented
Object-Oriented Concepts for Modular Robotics Systems (GTM, JAF, PSS), pp. 229–239.
FSEESEC-FSE-2001-CoadyKFS #composition #operating system #using
Using aspectC to improve the modularity of path-specific customization in operating system code (YC, GK, MJF, GS), pp. 88–98.
FSEESEC-FSE-2001-FislerK #composition #design #verification
Modular verification of collaboration-based software designs (KF, SK), pp. 152–163.
FSEESEC-FSE-2001-SullivanGCH #composition #design
The structure and value of modularity in software design (KJS, WGG, YC, BH), pp. 99–108.
LDTALDTA-2001-GayoDLR #composition #monad #named #prototype #semantics #using
LPS: A Language Prototyping System Using Modular Monadic Semantics (JELG, MCLD, JMCL, ACdR), pp. 110–131.
IJCARIJCAR-2001-EglyS #composition #proving #source code
Deriving Modular Programs from Short Proofs (UE, SS), pp. 561–577.
DACDAC-2000-HuangC #composition #constraints
Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques (CYH, KTC), pp. 118–123.
FASEFASE-2000-BellegardeJK #composition #refinement
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.
CSMRCSMR-2000-AbreuPS #analysis #approach #clustering #composition #object-oriented
A Coupling-Guided Cluster Analysis Approach to Reengineer the Modularity of Object-Oriented Systems (FBeA, GP, PMAS), pp. 13–22.
PLDIPLDI-2000-ChengH #analysis #composition #design #evaluation #implementation #interprocedural #pointer #using
Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation (BCC, WmWH), pp. 57–69.
IFMIFM-2000-MassonMJ #composition #verification
Modular Verification for a Class of PLTL Properties (PAM, HM, JJ), pp. 398–419.
ICMLICML-2000-AndersonDP #behaviour #composition #network #student
Behavioral Cloning of Student Pilots with Modular Neural Networks (CWA, BAD, DAP), pp. 25–32.
UMLUML-2000-HussmannDF #architecture #composition #ocl #tool support
Modular Architecture for a Toolset Supporting OCL (HH, BD, FF), pp. 278–293.
OOPSLAOOPSLA-2000-CliftonLCM #composition #java #multi #named #symmetry
MultiJava: modular open classes and symmetric multiple dispatch for Java (CC, GTL, CC, TDM), pp. 130–145.
TOOLSTOOLS-USA-2000-SinghW #composition #design #distributed #object-oriented #protocol
Modular Object-Oriented Design of Distributed Protocols (GS, JW), pp. 329–338.
LOPSTRLOPSTR-2000-ColvinHS #composition #logic programming #refinement
Modular Logic Program Refinement (RC, IJH, PAS).
LOPSTRLOPSTR-2000-VanhoofB #analysis #composition #higher-order #towards
Towards a modular binding-time analysis for higher-order Mercury (WV, MB).
LOPSTRLOPSTR-J-2000-ColvinHS #composition #logic programming #refinement
A Technique for Modular Logic Program Refinement (RC, IJH, PAS), pp. 38–56.
PPDPPPDP-2000-HamonP #composition #data flow #source code
Modular resetting of synchronous data-flow programs (GH, MP), pp. 289–300.
POPLPOPL-2000-AlurG #composition #refinement
Modular Refinement of Hierarchic Reactive Machines (RA, RG), pp. 390–402.
FSEFSE-2000-BehrendsS #approach #composition #concurrent #reliability #source code
The universe model: an approach for improving the modularity and reliability of concurrent programs (RB, KS), pp. 20–29.
ICSEICSE-2000-LieberherrLM #composition #object-oriented #reuse #tutorial
Building modular object-oriented systems with reusable collaborations (tutorial session) (KJL, DHL, MM), p. 821.
ICSEICSE-2000-LopesK #aspectj #composition #design #source code #tutorial #using
Improving design and source code modularity using AspectJ (tutorial session) (CVL, GK), p. 825.
CADECADE-2000-Kammuller #composition #reasoning
Modular Reasoning in Isabelle (FK), pp. 99–114.
ASEASE-1999-Saidi #analysis #composition #concurrent #incremental
Modular and Incremental Analysis of Concurrent Software Systems (HS), pp. 92–101.
TACASTACAS-1999-BuchholzK #analysis #composition #distributed #tool support
Modular State Level Analysis of Distributed Systems Techniques and Tool Support (PB, PK), pp. 420–434.
WCREWCRE-1999-Jermaine #using
Computing Program Modularizations Using the k-Cut Method (CJ), pp. 224–234.
FMFM-v2-1999-HainquePBN #compilation #composition #named #tool support
Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.
IFMIFM-1999-BussowG #composition #framework #integration #tool support
A Modular Framework for the Integration of Heterogeneous Notations and Tools (RB, WG), pp. 211–230.
IFMIFM-1999-JulliandMM #composition #verification
Modular Verification of Dynamic Properties for Reactive Systems (JJ, PAM, HM), pp. 89–108.
IFMIFM-1999-PolHJ #behaviour #composition #specification
Modular Formal Specification of Data and Behaviour (JvdP, JH, EDdJ), pp. 109–128.
AGTIVEAGTIVE-1999-Grosse-RhodePST #composition #distributed #graph transformation #modelling #refinement
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions (MGR, FPP, MS, GT), pp. 31–45.
ECOOPECOOP-1999-MillsteinC #composition #multi #static typing
Modular Statically Typed Multimethods (TDM, CC), pp. 279–303.
OOPSLAOOPSLA-1999-Duggan #composition #java #reverse engineering #type system
Modular Type-Based Reverse Engineering of Parameterized Types in Java Code (DD), pp. 97–113.
TOOLSTOOLS-USA-1999-Lopes #aspect-oriented #composition #design #evolution
Modularization Revisited: Aspects in the Design and Evolution of Software Systems (CVL), p. 452.
PPDPPPDP-1999-VerbaetenSS #composition #prolog #proving #termination
Modular Termination Proofs for Prolog with Tabling (SV, KFS, DDS), pp. 342–359.
POPLPOPL-1999-GlewM #assembly #composition #type safety
Type-Safe Linking and Modular Assembly Language (NG, JGM), pp. 250–261.
SOSPSOSP-1999-MorrisKJK #composition
The Click modular router (RM, EK, JJ, MFK), pp. 217–231.
LICSLICS-1999-BaziramwaboMT #composition #logic
Modular Temporal Logic (AB, PM, DT), pp. 344–351.
ASEASE-1998-MorzentiPM #analysis #automation #composition #specification
A Tool for Automated System Analysis based on Modular Specifications (AM, PSP, SM), pp. 2–11.
TACASTACAS-1998-LasterG #composition #model checking
Modular Model Checking of Software (KL, OG), pp. 20–35.
WRLAWRLA-1998-Bruni #composition #concurrent #logic
A logic for modular descriptions of asynchronous and synchronized concurrent systems (RB), pp. 161–172.
WRLAWRLA-1998-Mosses #composition #logic #semantics
Semantics, modularity, and rewriting logic (PDM), pp. 404–421.
STOCSTOC-1998-BellareCK #analysis #approach #authentication #composition #design #protocol
A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols (Extended Abstract) (MB, RC, HK), pp. 419–428.
ICALPICALP-1998-PowerR #approach #composition #semantics
A Modular Approach to Denotational Semantics (JP, GR), pp. 351–362.
ICFPICFP-1998-FindlerF #composition #mixin #object-oriented #programming
Modular Object-Oriented Programming with Units and Mixins (RBF, MF), pp. 94–104.
AdaEuropeAdaEurope-1998-Gonzalez-BarahonaQCB #ada #approach #communication #composition
Building Modular Communication Systems in Ada: The Simple_Com Approach (JMGB, PdlHQ, JCG, FJB), pp. 225–237.
ICMLICML-1998-RyanP #architecture #composition #learning #named
RL-TOPS: An Architecture for Modularity and Re-Use in Reinforcement Learning (MRKR, MDP), pp. 481–487.
ICPRICPR-1998-ZhangFY #classification #composition #modelling #recognition
A modular classification scheme with elastic net models for handwritten digit recognition (BZ, MF, HY), pp. 1859–1861.
FSEFSE-1998-FongC #architecture #composition #mobile #proving #verification
Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code (PWLF, RDC), pp. 222–230.
CCCC-1998-LeinoN #static analysis
An Extended Static Checker for Modular-3 (KRML, GN), pp. 302–305.
CAVCAV-1998-AlurHMQRT #composition #model checking #named
MOCHA: Modularity in Model Checking (RA, TAH, FYCM, SQ, SKR, ST), pp. 521–525.
RTARTA-1998-ArtsG #composition #dependence #termination #using
Modularity of Termination Using Dependency pairs (TA, JG), pp. 226–240.
ASEASE-1997-Dwyer #analysis #composition #concurrent
Modular Flow Analysis for Concurrent Software (MBD), pp. 264–273.
ICALPICALP-1997-CosmoG #composition #higher-order #on the #λ-calculus
On Modular Properties of Higher Order Extensional λ Calculi (RDC, NG), pp. 237–247.
FMFME-1997-MichelW #composition #framework #specification #verification
A Framework for Modular Formal Specification and Verification (PM, VW), pp. 533–552.
ICFPICFP-1997-Banerjee #analysis #composition #type system
A Modular, Polyvariant, and Type-Based Closure Analysis (AB), pp. 1–10.
HCIHCI-SEC-1997-Perez-QuinonesS #architecture #composition #human-computer #programming
Modular Dialogue Units: A Software Architecture for Programming Human-Computer Dialogues (MAPQ, JLS), pp. 355–358.
POPLPOPL-1997-Cardelli #composition
Program Fragments, Linking, and Modularization (LC), pp. 266–277.
ICSEICSE-1997-LindigS #composition #concept analysis #legacy
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis (CL, GS), pp. 349–359.
ICLPICLP-1997-AjiliK #composition #constraints #framework #unification
A Modular Framework for the Combination of Unification and Built-In Constraints (FA, CK), pp. 331–345.
ICLPICLP-1997-MolinaP #composition #functional #logic programming
Modularity in Functional-Logic Programming (JMMB, EP), pp. 183–197.
ESOPESOP-1996-LiangH #compilation #composition #semantics
Modular Denotational Semantics for Compiler Construction (SL, PH), pp. 219–234.
TACASTACAS-1996-KowalewskiP #composition #framework #modelling #realtime #verification
Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control (SK, JP), pp. 225–240.
SASSAS-1996-MullerGS #automation #composition #prolog #proving #source code #termination
Automated Modular Termination Proofs for Real Prolog Programs (MM, TG, KS), pp. 220–237.
STOCSTOC-1996-AspnesW #algorithm #composition #distributed
Modular Competitiveness for Distributed Algorithms (JA, OW), pp. 237–246.
STOCSTOC-1996-Fu #composition #proving
Modular Coloring Formulas Are Hard for Cutting Planes Proofs (XF), pp. 595–602.
FMFME-1996-ZwiersHLRS #composition #development #reuse #top-down
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development (JZ, UH, YL, WPdR, FAS), pp. 595–608.
ICPRICPR-1996-NairA #architecture #composition #recognition
Hierarchical, modular architectures for object recognition by parts (DN, JKA), pp. 601–606.
PPDPALP-1996-AnconaZ #algebra #approach #composition #mixin
An Algebraic Approach to Mixins and Modularity (DA, EZ), pp. 179–193.
POPLPOPL-1996-Jones #composition #using
Using Parameterized Signatures to Express Modular Structure (MPJ), pp. 68–78.
CCCC-1996-KadhimW #composition #development #named #syntax #tool support
Maptool — Supporting Modular Syntax Development (BMK, WMW), pp. 268–280.
CAVCAV-1996-RuessSS #composition #verification
Modular Verification of SRT Division (HR, NS, MKS), pp. 123–134.
ICLPJICSLP-1996-ZukowskiF #database #evaluation #flexibility #query
Adding Flexibility to Query Evaluation for Modularly Stratified Databases (UZ, BF), pp. 304–318.
RTARTA-1996-Rao #composition #graph grammar #termination
Modularity of Termination in Term Graph Rewriting (MRKKR), pp. 230–244.
VLDBVLDB-1995-BargaP #composition #implementation #modelling #transaction
A Practical and Modular Implementation of Extended Transaction Models (RSB, CP), pp. 206–217.
DLTDLT-1995-DrosteK #composition #quantifier
Trace Languages Definable with Modular Quantifiers (MD, DK), pp. 386–395.
OOPSLAOOPSLA-1995-StataG #composition #reasoning #subclass
Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.
POPLPOPL-1995-LiangHJ #composition #monad
Monad Transformers and Modular Interpreters (SL, PH, MPJ), pp. 333–343.
FSEFSE-1995-FiadeiroM #composition #reuse
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality (JLF, TSEM), pp. 72–80.
FSEFSE-1995-HoffmanS #abstraction #composition #development
State Abstraction and Modular Software Development (DH, PAS), pp. 53–61.
ICLPICLP-1995-EtalleG #composition #source code
A Transformation System for Modular CLP Programs (SE, MG), pp. 681–695.
LICSLICS-1995-Vardi #complexity #composition #model checking #on the
On the Complexity of Modular Model Checking (MYV), pp. 101–111.
RTARTA-1995-Marchiori #composition #revisited
Modularity of Completeness Revisited (MM), pp. 2–10.
DACDAC-1994-PuriG #approach #clustering #composition #synthesis
A Modular Partitioning Approach for Asynchronous Circuit Synthesis (RP, JG), pp. 63–69.
DATEEDAC-1994-AlexiouSK #composition #design #implementation #sorting
Design and Implementation of a High-Performance, Modular, Sorting Engine (GA, DS, NK), pp. 2–8.
VLDBVLDB-1994-ColletCS #composition #database #named #object-oriented #performance
NAOS — Efficient and Modular Reactive Capabilities in an Object-Oriented Database System (CC, TC, TS), pp. 132–143.
ESOPESOP-1994-CiceroneP #composition #design #interface
Strategies in Modular System Design by Interface Rewriting (SC, FPP), pp. 165–179.
ICSMEICSM-1994-MatwinA #analysis #automation #composition #reuse
Reuse of Modular Software with Automated Comment Analysis (SM, AA), pp. 222–231.
FMFME-1994-BackS #composition
From Action Systems to Modular Systems (RJB, KS), pp. 1–25.
ICGTTAGT-1994-Courcelle #composition #graph #higher-order #logic #monad
The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs (BC), pp. 487–501.
AdaEuropeAdaEurope-1994-Heitz #composition #distributed #generative #object-oriented #programming #realtime #scalability
Integrating Modular, Object Oriented Programming and Application Generator Technologies in Large Real Time and Distributed Developments (MH), pp. 130–146.
ICMLICML-1994-ThamP #architecture #composition
A Modular Q-Learning Architecture for Manipulator Task Decomposition (CKT, RWP), pp. 309–317.
PPDPALP-1994-Gramlich #composition #confluence #on the #term rewriting #termination
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems (BG), pp. 186–203.
FSEFSE-1994-VandevoordeG #analysis #composition #runtime #using
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity (MTV, JVG), pp. 121–127.
CADECADE-1994-MullerW #composition #higher-order #theory and practice
Theory and Practice of Minimal Modular Higher-Order E-Unification (OM, FW), pp. 650–664.
ICLPICLP-1994-LammaM #composition #logic programming
Modularity in Logic Programming (EL, PM), pp. 15–17.
ICLPILPS-1994-Giacobazzi #abduction #analysis #composition #logic programming #source code
Abductive Analysis of Modular Logic Programs (RG), pp. 377–391.
ISSTAISSTA-1994-Marcus #composition #correctness #testing #verification
The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract) (LM), p. 197.
LICSLICS-1994-BarbaneraFG #algebra #composition #confluence #normalisation
Modularity of Strong Normalization and Confluence in the algebraic-λ-Cube (FB, MF, HG), pp. 406–415.
SIGMODSIGMOD-1993-FordBB #composition #object-oriented
Open OODB: A Modular Object-Oriented DBMS (SF, JAB, TJB), pp. 552–553.
SIGMODSIGMOD-1993-Velez #composition
Modularity and Tuning Mechanisms in the O2 System (FV), p. 440.
WCREWCRE-1993-NewcombM #automation #cobol #composition #re-engineering #scalability #source code
Automating the Modularization of Large COBOL Programs: Application of an Enabling Technology for Reengineering (PN, LM), pp. 222–230.
PEPMPEPM-1993-ConselPW #composition #incremental #operating system #partial evaluation #performance
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems (CC, CP, JW), pp. 44–46.
ICALPICALP-1993-BarbaneraF #composition #confluence #term rewriting #termination
Modularity of Termination and Confluence in Combinations of Rewrite Systems with λω (FB, MF), pp. 657–668.
POPLPOPL-1993-CodishDG #analysis #composition #logic programming #source code
Compositional Analysis of Modular Logic Programs (MC, SKD, RG), pp. 451–464.
FSEFSE-1993-CarringtonDHW #composition #design #specification
Deriving Modular Designs from Formal Specifications (DAC, DJD, IJH, JW), pp. 89–98.
HPDCHPDC-1993-MaR #composition #multi #named #queue
MULTIPAR: An Output Queue ATM Modular Switch with Multiple Phases and Replicated Planes (JM, KR), pp. 152–159.
CAVCAV-1993-Krishnakumar #composition #finite #reachability #state machine
Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems (ASK), pp. 110–122.
HTHT-ECHT-1992-Simonetti #composition #navigation
SI.MO.N. — A Modular Navigation System (Demonstration) (GS), p. 293.
LISPLFP-1992-Tung #composition #interactive #programming
Interactive Modular Programming in Scheme (SHST), pp. 86–95.
SEKESEKE-1992-Antoniou #composition #knowledge base #logic
Modularity for Logical Knowledge Bases (GA), pp. 87–93.
PPDPALP-1992-Gramlich #composition #termination
Generalized Sufficient Conditions for Modular Termination of Rewriting (BG), pp. 53–68.
POPLPOPL-1992-FarrowMY #attribute grammar #composition #design #implementation
Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation (RF, TJM, DMY), pp. 223–234.
SOSPSOSP-WIP-1991-Druschel92 #architecture #composition #kernel #orthogonal #why
Modularity and Protection are Orthogonal, or “Why µ-kernel Architectures are Flawed” (Abstract) (PD), p. 22.
CCCC-1992-Baum #attribute grammar #composition
Another Kind of Modular Attribute Grammars (BB), pp. 44–50.
CAVCAV-1992-De-LeonG #abstraction #composition #distributed #realtime #verification
Modular Abstractions for Verifying Real-Time Distributed Systems (HDL, OG), pp. 2–15.
PODSPODS-1991-Ross #composition #logic programming #recursion #source code
Modular Acyclicity and Tail Recursion in Logic Programs (KAR), pp. 92–101.
SASWSA-1991-QueinnecP #composition #evaluation #lisp #metaprogramming
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation (CQ, JAP), pp. 1–8.
ICALPICALP-1991-FixFG #composition #verification
Program Composition and Modular Verification (LF, NF, OG), pp. 93–114.
ICMLML-1991-Wixson #composition #learning #scalability
Scaling Reinforcement Learning Techniques via Modularity (LEW), pp. 3368–372.
ECOOPECOOP-1991-MorzentiP #composition #logic #object-oriented #specification
An Object-Oriented Logic Language for Modular System Specification (AM, PSP), pp. 39–58.
LOPSTRLOPSTR-1991-ReadK #case study #composition #development #prolog
Formal Program Development in Modular Prolog: A Case Study (MGR, EAK), pp. 69–93.
PPDPPLILP-1991-Ferenczi #composition #concept #distributed #prolog
Concepts for a Modular and Distributed Prolog Language (SF), pp. 159–170.
ICSEICSE-1991-Schwanke #composition #re-engineering
An Intelligent Tool for Re-Engineering Software Modularity (RWS), pp. 83–92.
RTARTA-1991-NipkowQ #composition #higher-order
Modular Higher-Order E-Unification (TN, ZQ), pp. 200–214.
PODSPODS-1990-Ross #composition #datalog #set #source code
Modular Stratification and Magic Sets for DATALOG Programs with Negation (KAR), pp. 161–171.
FMVDME-1990-FitzgeraldJ #database
Modularizing the Formal Description of a Database System (JSF, CBJ), pp. 189–210.
FMVDME-1990-SampaioM #composition
Modular Extensions to Z (AS, SRdLM), pp. 211–232.
ICSEICSE-1990-GanzingerS #composition #horn clause #order #specification
System Support for Modular Order-Sorted Horn Clause Specifications (HG, RS), pp. 150–159.
ICSEICSE-1990-Parisi-Presicce #approach #composition #design #rule-based
A Rule-Based Approach to Modular System Design (FPP), pp. 202–211.
CAVCAV-1990-ShurekG #composition #framework #verification
The Modular Framework of Computer-Aided Verification (GS, OG), pp. 214–223.
PODSPODS-1989-Spector #architecture #composition #database #distributed
Modular Architectures for Distributed and Database Systems (AZS), pp. 217–224.
SIGMODSIGMOD-1989-AgrawalS #composition #concurrent #database #multi
Modular Synchronization in Multiversion Databases: versionControl and Concurrency Control (DA, SS), pp. 408–417.
ICALPICALP-1989-Parisi-Presicce #composition #design #graph grammar
Modular System Design Applying Graph Grammars Techniques (FPP), pp. 621–636.
ICSEICSE-1989-CarleP #composition #incremental #program transformation #specification
Modular Specification of Incremental Program Transformation Systems (AC, LLP), pp. 178–187.
ICSEICSE-1989-NakagawaF #algebra #approach #composition #process #refinement
Stepwise Refinement Process with Modularity: An Algebraic Approach (ATN, KF), pp. 166–177.
RTARTA-1989-Middeldorp #aspect-oriented #composition #normalisation #term rewriting
Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms (AM), pp. 263–277.
ESOPESOP-1988-Diepen #algebra #composition #implementation #specification
Implementation of Modular Algebraic Specifications (NWPvD), pp. 64–78.
OOPSLAOOPSLA-1988-Wirfs-BrockW #bibliography #composition #smalltalk
An Overview of Modular Smalltalk (AWB, BW), pp. 123–134.
PPDPALP-1988-HansenL #algebra #composition #specification
Modular Algebraic Specifications (HH, ML), pp. 168–179.
ICLPSLP-1987-SannellaW87 #calculus #composition #prolog #source code
A Calculus for the Construction of Modular Prolog Programs (DS, LAW), pp. 368–378.
DACDAC-1986-BruckKKR #algorithm #composition #concurrent #synthesis
Synthesis of concurrent modular controllers from algorithmic descriptions (RB, BK, TK, FJR), pp. 285–292.
POPLPOPL-1986-MacQueen #composition #dependent type #using
Using Dependent Types to Express Modular Structure (DBM), pp. 277–286.
VLDBVLDB-1985-TuchermanFC #composition #database #design
A Tool for Modular Database Design (LT, ALF, MAC), pp. 436–447.
FPCAFPCA-1985-Young85 #architecture #composition #functional
A Functional Language and Modular Architecture for Scientific Computing (MFY), pp. 305–318.
ICSEICSE-1985-CardPM #composition
Criteria for Software Modularization (DNC, GTP, FEM), pp. 372–377.
ICLPSLP-1985-GanzingerH85 #compilation #composition #logic programming
Modular Logic Programming of Compilers (HG, MH), pp. 242–253.
ICSEICSE-1984-ParnasCW #composition
The Modular Structure of Complex Systems (DLP, PCC, DMW), pp. 408–419.
VLDBVLDB-1983-AlbanoCOO #composition #concept #modelling
A Modularization Mechanism for Conceptual Modeling (AA, MC, MEO, RO), pp. 232–240.
ICALPICALP-1983-Ganzinger #compilation #composition #data type #semantics
Modular Compiler Descriptions Based on Abstract Semantic Data Types (Extended Abstract) (HG), pp. 237–249.
DACDAC-1982-ShivaC #composition #simulation #synthesis #using
Modular description/simulation/synthesis using DDL (SGS, JAC), pp. 321–329.
ICALPICALP-1982-BackM #composition #locality
Locality in Modular Systems (RJB, HM), pp. 1–13.
POPLPOPL-1982-HailpernO #composition #concurrent #source code #verification
Modular Verification of Concurrent Programs (BH, SSO), pp. 322–336.
ICSEICSE-1981-CashinJKL #composition #experience
Experience with a Modular Typed Language: PROTEL (PMC, MLJ, RFK, DML), pp. 136–143.
ICSEICSE-1981-WoodfieldDS #composition #comprehension
The Effect of Modularization and Comments on Program Comprehension (SNW, HED, VYS), pp. 215–223.
ICSEICSE-1979-Cristian #composition
A Recovery Mechanism for Modular Software (FC), pp. 42–51.
VLDBVLDB-1978-OzkarahanO #composition #database
Microprocessor Based Modular Database Processors (EAO, KO), pp. 300–311.
AdaDIPL-1976-Jackson #composition #parallel
Parallel processing and modular software construction (KJ), pp. 436–443.
SOSPSOSP-J-1975-HabermannFC76 #composition #operating system #product line
Modularization and Hierarchy in a Family of Operating Systems (ANH, LF, LWC), pp. 266–272.
DACDAC-1972-Schmidt #composition #network
Gate for gate modular replacement of combinational switching networks (DCS), pp. 331–340.
DACDAC-1968-FreemanR #automation #composition #design #hardware #named
GENDA — a generalized design automation system for modular hardware (MFF, MR).

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.