Stem modular$ (all stems)

587 papers:

ECSA-2015-HansenM #automation #community #composition #detection #using

(Automated) Software Modularization Using Community Detection (KMH, KM), pp. 95–102.

CASE-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.

CASE-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.

CASE-2015-SchafaschekQC #clustering #composition #scheduling #tool support

Local modular supervisory control applied to the scheduling of cluster tools (GS, MHdQ, JERC), pp. 1381–1388.

CASE-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.

DATE-2015-KimAS #bound #composition #scheduling

Schedulability bound for integrated modular avionics partitions (JEK, TFA, LS), pp. 37–42.

DATE-2015-SteinhorstL #composition #identification

Topology identification for smart cells in modular batteries (SS, ML), pp. 1249–1252.

SIGMOD-2015-MavroforakisCOK #composition #encryption #revisited

Modular Order-Preserving Encryption, Revisited (CM, NC, AO, GK, RC), pp. 763–777.

ESOP-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.

TACAS-2015-CassezMPS #composition #contest #named #refinement

Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.

TACAS-2015-HaranCELQR #composition #contest #verification

SMACK+Corral: A Modular Verifier — (Competition Contribution) (AH, MC, ME, AL, SQ, ZR), pp. 451–454.

SAS-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.

STOC-2015-DinurHK #composition #fault #query

Polynomially Low Error PCPs with polyloglog n Queries via Modular Composition (ID, PH, GK), pp. 267–276.

FM-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.

CHI-2015-OmirouMSS #3d #composition #named #visualisation

LeviPath: Modular Acoustic Levitation for 3D Path Visualisations (TO, AM, SAS, SS), pp. 309–312.

ICEIS-v2-2015-BayaADM #approach #composition #product line #scalability

Dynamic Large Scale Product Lines through Modularization Approach (AB, BEA, ID, ZM), pp. 439–444.

SIGIR-2015-HarelY #clustering #identification #query

Modularity-Based Query Clustering for Identifying Users Sharing a Common Condition (MGOH, EYT), pp. 819–822.

MoDELS-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.

ECOOP-2015-BostromM #composition #finite #source code #verification

Modular Verification of Finite Blocking in Non-terminating Programs (PB, PM), pp. 639–663.

ECOOP-2015-JacobsBK #composition #termination #verification

Modular Termination Verification (BJ, DB, RK), pp. 664–688.

OOPSLA-2015-DaraisMH #composition #program analysis #reuse

Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.

GPCE-2015-InostrozaS #algebra #composition #using

Modular interpreters for the masses: implicit context propagation using object algebras (PI, TvdS), pp. 171–180.

POPL-2015-Agten0P #c #composition #verification

Sound Modular Verification of C Code Executing in an Unverified Context (PA, BJ, FP), pp. 581–594.

POPL-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.

SAC-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.

SAC-2015-FukudaL #library

A library to modularly control asynchronous executions (HF, PL), pp. 1648–1650.

ESEC-FSE-2015-ParkEZNH #approximate #composition #named #programming

FlexJava: language support for safe and modular approximate programming (JP, HE, XZ, MN, WH), pp. 745–757.

ICSE-v1-2015-YandrapallySS #automation #composition #testing #user interface

Automated Modularization of GUI Test Cases (RY, GS, SS), pp. 44–54.

SLE-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.

SLE-2015-RitschelE #composition #program transformation

Modular capture avoidance for program transformations (NR, SE), pp. 59–70.

SOSP-2015-XieSLAK0 #composition #concurrent

High-performance ACID via modular concurrency control (CX, CS, CL, LA, MK, YW), pp. 279–294.

CAV-2015-HawblitzelPQT #automation #composition #concurrent #reasoning #refinement #source code

Automated and Modular Refinement Reasoning for Concurrent Programs (CH, EP, SQ, ST), pp. 449–465.

CAV-2015-VijayaraghavanC #composition #deduction #design #hardware #multi #verification

Modular Deductive Verification of Multiprocessor Hardware Designs (MV, AC, A, ND), pp. 109–127.

CBSE-2014-DelavalGRP #composition #coordination #multi

Modular coordination of multiple autonomic managers (GD, SMKG, ÉR, NDP), pp. 3–12.

CBSE-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.

QoSA-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.

DATE-2014-BurlyaevFG

Verification-guided voter minimization in triple-modular redundant circuits (DB, PF, AG), pp. 1–6.

SIGMOD-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.

FASE-2014-AnjorinSLS #graph grammar #refinement #using

Modularizing Triple Graph Grammars Using Rule Refinement (AA, KS, ML, AS), pp. 340–354.

FASE-2014-LanduytJ #architecture #requirements

Modularizing Early Architectural Assumptions in Scenario-Based Requirements (DVL, WJ), pp. 170–184.

PEPM-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.

PLDI-2014-NiuT #composition #control flow

Modular control-flow integrity (BN, GT), p. 58.

FM-2014-ZeydaSCS #composition #higher-order #object-oriented

A Modular Theory of Object Orientation in Higher-Order UTP (FZ, TLVLS, AC, AS), pp. 627–642.

CHI-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.

HCI-AIMT-2014-PotidisS #composition #named #user interface

Spyractable: A Tangible User Interface Modular Synthesizer (SP, TS), pp. 600–611.

HCI-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.

CAiSE-2014-GralhaG0 #composition #identification #modelling #requirements

Identifying Modularity Improvement Opportunities in Goal-Oriented Requirements Models (CG, MG, JA), pp. 91–104.

ICEIS-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.

ICEIS-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.

ICML-c2-2014-AziziAG #composition #learning #network

Learning Modular Structures from Network Data and Node Variables (EA, EA, JEG), pp. 1440–1448.

ECMFA-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.

MoDELS-2014-Pazzi #behaviour #composition #modelling

Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.

MoDELS-2014-Pazzi #behaviour #composition #modelling

Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.

PPDP-J-2012-SchrijversDTD14 #composition #named

Tor: Modular search with hookable disjunction (TS, BD, MT, BD), pp. 101–120.

GPCE-2014-MalakutiA #behaviour #composition #representation

Emergent gummy modules: modular representation of emergent behavior (SM, MA), pp. 15–24.

PADL-2014-LierlerT #composition

Abstract Modular Inference Systems and Solvers (YL, MT), pp. 49–64.

POPL-2014-Birkedal #composition #concurrent #higher-order #imperative #reasoning #source code

Modular reasoning about concurrent higher-order imperative programs (LB), pp. 1–2.

POPL-2014-CoughlinC #analysis #composition #invariant

Fissile type analysis: modular checking of almost everywhere invariants (DC, BYEC), pp. 73–86.

POPL-2014-ItzhakyBILNS #composition #effectiveness #reasoning

Modular reasoning about heap paths via effectively propositional formulas (SI, AB, NI, OL, AN, MS), pp. 385–396.

POPL-2014-SergeyVJ #analysis #composition #higher-order #theory and practice

Modular, higher-order cardinality analysis in theory and practice (IS, DV, SLPJ), pp. 335–348.

SAC-2014-AlmenteroLL #composition #requirements #towards

Towards software modularization from requirements (EA, JCSdPL, CJPdL), pp. 1007–1012.

SAC-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.

LDTA-J-2011-JohnstoneSB #composition #grammarware #specification

Modular grammar specification (AJ, ES, MvdB), pp. 23–43.

SLE-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.

SAT-2014-MartinsML #composition #named #satisfiability

Open-WBO: A Modular MaxSAT Solver, (RM, VMM, IL), pp. 438–445.

VMCAI-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.

VMCAI-2014-Mine #abstract interpretation #analysis #relational #thread

Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.

VMCAI-2014-SinghSXKS #composition #modelling #sketching #synthesis #using

Modular Synthesis of Sketches Using Models (RS, RS, ZX, RK, ASL), pp. 395–414.

QoSA-2013-DajsurenBSR #assessment #composition #modelling

Simulink models are also software: modularity assessment (YD, MvdB, AS, SAR), pp. 99–106.

CASE-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.

CASE-2013-SeoYK #assembly #composition

Assembly planning for planar structures of a brick wall pattern with rectangular modular robots (JS, MY, VK), pp. 1016–1021.

CASE-2013-TranH13a #composition #predict

Plug-and-play predictive control of modular nonlinear systems with coupling delays (TT, QPH), pp. 699–704.

DAC-2013-KauerNSLCH #architecture #composition #concurrent

Modular system-level architecture for concurrent cell balancing (MK, SN, SS, ML, SC, LH), p. 10.

DATE-2013-WolfD #composition #integration

Modular SoC integration with subsystems: the audio subsystem case (PvdW, RD), pp. 157–162.

DATE-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.

CSEET-2013-Georgas #composition #design #education #learning #towards

Toward infusing modular and reflective design learning throughout the curriculum (JCG), pp. 274–278.

ESOP-2013-SvendsenBP #composition #concurrent #data type #reasoning

Modular Reasoning about Separation of Concurrent Data Structures (KS, LB, MJP), pp. 169–188.

FoSSaCS-2013-ChurchillM #bisimulation #composition

Modular Bisimulation Theory for Computations and Values (MC, PDM), pp. 97–112.

ICSM-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.

PLDI-2013-BlackshearL #composition #framework #semantics #specification

Almost-correct specifications: a modular semantic framework for assigning confidence to warnings (SB, SKL), pp. 209–218.

PLDI-2013-LiangF #composition #verification

Modular verification of linearizability with non-fixed linearization points (HL, XF), pp. 459–470.

CEFP-2013-0001FS #composition

Zipper-Based Modular and Deforested Computations (PM, JPF, JS), pp. 407–427.

ICFP-2013-DelawareKSO #composition #monad

Modular monadic meta-theory (BD, SK, TS, BCdSO), pp. 319–330.

ICFP-2013-LorenzenE #automation #composition #verification

Modular and automated type-soundness verification for language extensions (FL, SE), pp. 331–342.

KDD-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.

ECOOP-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.

ECOOP-2013-ServettoMPN #composition

The Billion-Dollar Fix — Safe Modular Circular Initialisation with Placeholders and Placeholder Types (MS, JM, AP, JN), pp. 205–229.

ECOOP-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.

LOPSTR-2013-PoulsenM #composition #generative #semantics

Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.

SAC-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.

SAC-2013-BakreBE #approach #interactive #uml

Aspect interaction chart — a UML approach for modularizing aspect interaction conflicts (SB, AB, TE), pp. 1254–1259.

SAC-2013-BrinkeMBBA #composition #design #energy

A design method for modular energy-aware software (StB, SM, CB, LB, MA), pp. 1180–1182.

SAC-2013-Serafino #clustering #composition #graph

Speeding up graph clustering via modular decomposition based compression (PS), pp. 156–163.

SAC-2013-Sobieski0 #maude #sql #term rewriting #using

Using maude rewriting system to modularize and extend SQL (SS, BZ), pp. 853–858.

ICSE-2013-InverardiT #automation #composition #protocol #synthesis

Automatic synthesis of modular connectors via composition of protocol mediation patterns (PI, MT), pp. 3–12.

CADE-2013-GangeSSS #composition #constraints #difference

Solving Difference Constraints over Modular Arithmetic (GG, HS, PJS, PS), pp. 215–230.

CADE-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.

ICST-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.

SAT-2013-CimattiGSS #approach #composition #modulo theories #satisfiability

A Modular Approach to MaxSAT Modulo Theories (AC, AG, BJS, RS), pp. 150–165.

CBSE-2012-AnneAVP #composition #named

Jasmin: an alternative for secure modularity inside the digital home (MA, KA, DHdV, JP), pp. 145–150.

DATE-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.

CSMR-2012-CohenDA #composition #maintenance

Invertible Program Restructurings for Continuing Modular Maintenance (JC, RD, AA), pp. 347–352.

CSMR-2012-OlszakJ #composition #concept #how #legacy #question

Modularization of Legacy Features by Relocation and Reconceptualization: How Much is Enough? (AO, BNJ), pp. 171–180.

ICSM-2012-KobayashiKKYM #clustering #composition #dependence #using

Feature-gathering dependency-based software clustering using Dedication and Modularity (KK, MK, KK, KY, AM), pp. 462–471.

SAS-2012-GoubaultPV #composition #static analysis

Modular Static Analysis with Zonotopes (EG, SP, FV), pp. 24–40.

SAS-2012-MadhavanRV #analysis #composition #higher-order #source code

Modular Heap Analysis for Higher-Order Programs (RM, GR, KV), pp. 370–387.

ICEIS-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.

KEOD-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.

MoDELS-2012-BesovaWWB #composition #multi

Weaving-Based Configuration and Modular Transformation of Multi-layer Systems (GB, SW, HW, SB), pp. 776–792.

MoDELS-2012-BesovaWWB #composition #multi

Weaving-Based Configuration and Modular Transformation of Multi-layer Systems (GB, SW, HW, SB), pp. 776–792.

ECOOP-2012-BonoKM #composition #named

Magda: A New Language for Modularity (VB, JK, MM), pp. 560–588.

Onward-2012-Heinlein #composition #named #programming language #static typing

MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.

Onward-2012-LohSC #abstraction #composition

Managed data: modular strategies for data abstraction (AL, TvdS, WRC), pp. 179–194.

OOPSLA-2012-LogozzoB #automation #composition #program repair

Modular and verified automatic program repair (FL, TB), pp. 133–146.

POPL-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.

SAC-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.

SAC-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.

FSE-2012-WalkerRS #composition #problem #question

Do crosscutting concerns cause modularity problems? (RJW, SR, JS), p. 49.

ICSE-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.

ICSE-2012-VoelterP #composition

Language modularity with the MPS language workbench (MV, VP), pp. 1449–1450.

SLE-2012-KaminskiW #analysis #attribute grammar #composition

Modular Well-Definedness Analysis for Attribute Grammars (TK, EVW), pp. 352–371.

LCTES-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.

IJCAR-2012-BruttomessoGR #composition #quantifier

From Strong Amalgamability to Modularity of Quantifier-Free Interpolation (RB, SG, SR), pp. 118–133.

LICS-2012-AvronKZ #calculus #composition #logic

Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (AA, BK, AZ), pp. 85–94.

CBSE-2011-AbateCTZ #composition #named

MPM: a modular package manager (PA, RDC, RT, SZ), pp. 179–188.

CBSE-2011-Gregersen #composition

Implications of modular systems on dynamic updating (ARG), pp. 169–178.

ASE-2011-RobinsonNS #data access #flexibility #named

GitBAC: Flexible access control for non-modular concerns (MR, JN, MS), pp. 500–503.

CASE-2011-TranHN #automation #composition

Semi-automatic control of modular systems with intermittent data losses (TT, QPH, HTN), pp. 625–630.

DAC-2011-Saha #architecture #composition #named #reuse #scalability

CIRUS: a scalable modular architecture for reusable drivers (BS), pp. 260–261.

FASE-2011-Przybylek #aspect-oriented #composition

Where the Truth Lies: AOP and Its Impact on Software Modularity (AP), pp. 447–461.

CSMR-2011-Przybylek #aspect-oriented #composition #programming

Impact of Aspect-Oriented Programming on Software Modularity (AP), pp. 369–372.

PASTE-2011-MilevaZ #composition

Assessing modularity via usage changes (YMM, AZ), pp. 37–40.

WCRE-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.

WCRE-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.

PLDI-2011-BeckmanN #composition #probability #scalability #specification #type system

Probabilistic, modular and scalable inference of typestate specifications (NEB, AVN), pp. 211–221.

PLDI-2011-DilligDAS #composition #precise #source code #summary

Precise and compact modular procedure summaries for heap manipulating programs (ID, TD, AA, MS), pp. 567–577.

ICALP-v2-2011-CardelliLM #composition #logic #markov

Modular Markovian Logic (LC, KGL, RM), pp. 380–391.

SEFM-2011-MuscheviciPC #composition #modelling #product line

Modular Modelling of Software Product Lines with Feature Nets (RM, JP, DC), pp. 318–333.

SEFM-2011-SoleimanifardGH #composition #named #safety #verification

ProMoVer: Modular Verification of Temporal Safety Properties (SS, DG, MH), pp. 366–381.

ICFP-2011-GotsmanY #composition #kernel #verification

Modular verification of preemptive OS kernels (AG, HY), pp. 404–417.

ICFP-2011-ShiversT #composition #functional

Modular rollback through control logging: a pair of twin functional pearls (OS, AJT), pp. 58–68.

DHM-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.

DHM-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.

RecSys-2011-EkstrandLKR11a #composition #framework #named #recommendation

LensKit: a modular recommender framework (MDE, ML, JK, JR), pp. 349–350.

ECOOP-2011-OstermannGKR #composition #information management

Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity (KO, PGG, CK, TR), pp. 155–178.

OOPSLA-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.

LOPSTR-2011-MoralesHH #composition #logic

Modular Extensions for Modular (Logic) Languages (JFM, MVH, RH), pp. 139–154.

PPDP-2011-VirsedaM #composition #constraints #declarative #higher-order #programming #semantics

A modular semantics for higher-order declarative programming with constraints (RdVV, FPM), pp. 41–52.

POPL-2011-DoddsJP #composition #parallel #reasoning

Modular reasoning for deterministic parallelism (MD, SJ, MJP), pp. 259–270.

POPL-2011-JacobsP #composition #concurrent #fine-grained #specification

Expressive modular fine-grained concurrency specification (BJ, FP), pp. 271–282.

POPL-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.

SAC-2011-UlbrichKHSS #adaptation #composition #framework #named

I4Copter: an adaptable and modular quadrotor platform (PU, RK, CH, RS, WSP), pp. 380–386.

ESEC-FSE-2011-BeckD #composition #congruence #on the

On the congruence of modularity and code coupling (FB, SD), pp. 354–364.

ESEC-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.

GTTSE-2011-Voelter #composition #ide

Language and IDE Modularization and Composition with MPS (MV), pp. 383–430.

ICSE-2011-WongCKD #composition #detection

Detecting software modularity violations (SW, YC, MK, MD), pp. 411–420.

SLE-2011-JoncheereS #composition #using #workflow

Uniform Modularization of Workflow Concerns Using Unify (NJ, RVDS), pp. 77–96.

CC-2011-Pearce #composition #java #named

JPure: A Modular Purity System for Java (DJP), pp. 104–123.

CAV-2011-JohnC #algorithm #composition #equation #linear #quantifier

A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations (AKJ, SC), pp. 486–503.

CAV-2011-Lahiri #analysis #composition #smt

SMT-Based Modular Analysis of Sequential Systems Code (SKL), pp. 21–27.

ICLP-2011-Krennwallner #composition #logic programming #source code

Promoting Modular Nonmonotonic Logic Programs (TK), pp. 274–279.

RTA-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.

RTA-2011-SternagelT #composition #semantics

Modular and Certified Semantic Labeling and Unlabeling (CS, RT), pp. 329–344.

QoSA-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.

CASE-2010-FerrariniD #composition #design #metamodelling

A modular and hierarchical meta-model for the control design of manufacturing systems (LF, AD), pp. 150–155.

DATE-2010-VadlamaniZBT #adaptation #composition #fault #manycore #using

Multicore soft error rate stabilization using adaptive dual modular redundancy (RV, JZ, WPB, RT), pp. 27–32.

HT-2010-Murata #composition #network

Modularity for heterogeneous networks (TM), pp. 129–134.

VLDB-2010-KossmannKLMMP #composition #named

Cloudy: A Modular Cloud Storage System (DK, TK, SL, SM, RM, FP), pp. 1533–1536.

ESOP-2010-WickersonDP #composition #reasoning

Explicit Stabilisation for Modular Rely-Guarantee Reasoning (JW, MD, MJP), pp. 610–629.

FASE-2010-KelsenM #composition

A Modular Model Composition Technique (PK, QM), pp. 173–187.

CSMR-2010-RoubtsovSB #composition #dependence #detection #injection #java #smell

Detecting Modularity “Smells” in Dependencies Injected with Java Annotations (SAR, AS, MvdB), pp. 244–247.

ICSM-2010-RamaP #composition

Software modularization operators (GMR, NP), pp. 1–10.

SCAM-2010-LiT #composition #erlang #maintenance #refactoring

Refactoring Support for Modularity Maintenance in Erlang (HL, SJT), pp. 157–166.

WCRE-2010-BavotaLMO #metric #semantics

Software Re-Modularization Based on Structural and Semantic Metrics (GB, ADL, AM, RO), pp. 195–204.

SAS-2010-MalkisPR #abstraction #refinement #thread

Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.

ICEIS-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.

ICML-2010-GrubbB #composition #learning #network

Boosted Backpropagation Learning for Training Deep Modular Networks (AG, JAB), pp. 407–414.

KDD-2010-AdaB #composition #generative

The new iris data: modular data generators (IA, MRB), pp. 413–422.

KR-2010-ParsiaS #composition #empirical #ontology

The Modular Structure of an Ontology: An Empirical Study (BP, TS).

OOPSLA-2010-ChibaIZ #compilation #composition

Mostly modular compilation of crosscutting concerns by contextual predicate dispatch (SC, AI, SZ), pp. 539–554.

OOPSLA-2010-KloseO #composition #logic #metaprogramming

Modular logic metaprogramming (KK, KO), pp. 484–503.

OOPSLA-2010-RajanKR #composition #concurrent #design pattern

Concurrency by modularity: design patterns, a case in point (HR, SMK, WR), pp. 790–805.

OOPSLA-2010-RobersonB #composition #model checking #performance

Efficient modular glass box software model checking (MR, CB), pp. 4–21.

GPCE-2010-BordignonSS #composition #generative #modelling

Model-based kinematics generation for modular mechatronic toolkits (MB, UPS, KS), pp. 157–166.

GPCE-2010-HoferO #component #composition #domain-specific language #scala

Modular domain-specific language components in scala (CH, KO), pp. 83–92.

GPCE-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.

POPL-2010-BhargavanFG #composition #protocol #security #type system #verification

Modular verification of security protocol code by typing (KB, CF, ADG), pp. 445–456.

POPL-2010-GayVRGC #composition #distributed #object-oriented #programming

Modular session types for distributed object-oriented programming (SJG, VTV, AR, NG, AZC), pp. 299–312.

SAC-2010-AlencarCLSSAM #composition #modelling #towards

Towards modular i* models (FMRA, JC, ML, ES, CTLLS, JA, AMDM), pp. 292–297.

SAC-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.

SAC-2010-EbraertDMJ #feature model

Intensional changes: modularizing crosscutting features (PE, TD, TM, DJ), pp. 2176–2182.

SAC-2010-HurnausP #automation #composition #contract #programming #verification

Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.

SAC-2010-MustaphaZAG #composition #ontology #semantics #using

Enhancing semantic search using case-based modular ontology (NBM, HBZ, MAA, HHBG), pp. 1438–1439.

ICSE-2010-ShonleY #composition

Compose & conquer: modularity for end-users (MS, TTY), pp. 191–194.

LCTES-2010-DelavalMR #composition #contract #synthesis

Contracts for modular discrete controller synthesis (GD, HM, ÉR), pp. 57–66.

LICS-2010-EndrullisHK #combinator #composition #fixpoint

Modular Construction of Fixed Point Combinators and Clocked Bohm Trees (JE, DH, JWK), pp. 111–119.

RTA-2010-AppelOS #composition #higher-order

Higher-Order (Non-)Modularity (CA, VvO, JGS), pp. 17–32.

RTA-2010-HillsR #approach #composition #logic #program analysis #semantics

A Rewriting Logic Semantics Approach to Modular Program Analysis (MH, GR), pp. 151–160.

RTA-2010-ZanklK #analysis #complexity #composition

Modular Complexity Analysis via Relative Complexity (HZ, MK), pp. 385–400.

WICSA-ECSA-2009-SethiCWGS #architecture #composition

From retrospect to prospect: Assessing modularity and stability from software architecture (KS, YC, SW, AG, CS), pp. 269–272.

CASE-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.

CASE-2009-SaketiKNVK #automation #composition

Automated modular bacterial filtering system with embeddable microfluidic chips (PS, JMK, KN, LV, PJK), pp. 212–216.

DAC-2009-PellauerACE #composition #problem

Soft connections: addressing the hardware-design modularity problem (MP, MA, DC, JSE), pp. 276–281.

DATE-2009-GolshanB #composition #design

SEU-aware resource binding for modular redundancy based designs on FPGAs (SG, EB), pp. 1124–1129.

DATE-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.

HT-2009-Murata #network

Modularities for bipartite networks (TM), pp. 245–250.

ESOP-2009-Jaskelioff #composition #monad

Modular Monad Transformers (MJ), pp. 64–79.

ESOP-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.

ICSM-2009-PaudelD #fault

Modularizing error recovery (JP, CD), pp. 507–510.

WCRE-1999-RatiuMJ99a #composition #logic #source code

The Logical Modularity of Programs (DR, RM, JJ), pp. 123–127.

FM-2009-JohnsenKY #composition #concurrent #distributed #evolution

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects (EBJ, MK, ICY), pp. 596–611.

ICFP-2009-McCarthy #automation #composition #continuation #rest #web

Automatically RESTful web applications: marking modular serializable continuations (JAM), pp. 299–310.

KEOD-2009-GoczylaWW #approach #knowledge base #named #semantics

S-modules — Approach to Capture Semantics of Modularized DL Knowledge Bases (KG, AW, WW), pp. 117–122.

KEOD-2009-HashemiG #composition #design #ontology #repository

Ontology Design through Modular Repositories (AH, MG), pp. 192–199.

MLDM-2009-StahlBA #classification #composition #framework #induction #named #parallel

PMCRI: A Parallel Modular Classification Rule Induction Framework (FTS, MAB, MA), pp. 148–162.

SEKE-2009-ConejeroHJCR #analysis #composition #product line

Early Analysis of Modularity in Software Product Lines (JMC, JH, EJ, PJC, RR), pp. 721–736.

SEKE-2009-FiondellaG #composition #resource management

Resource Allocation for a Modular Software System (LF, SSG), pp. 480–486.

ECOOP-2009-LagorioSZ #calculus #composition

Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes (GL, MS, EZ), pp. 244–268.

ECOOP-2009-Oliveira #component #composition #visitor

Modular Visitor Components (BCdSO), pp. 269–293.

OOPSLA-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.

PPDP-2009-EastlundF #composition #induction

Making induction manifest in modular ACL2 (CE, MF), pp. 105–116.

POPL-2009-LublinermanST #code generation #composition #diagrams

Modular code generation from synchronous block diagrams: modularity vs. code size (RL, CS, ST), pp. 78–89.

POPL-2009-Monniaux #abstraction #automation #composition #constraints #linear

Automatic modular abstractions for linear constraints (DM), pp. 140–151.

REFSQ-2009-LiRFM #clustering #composition #design #question #requirements

Does Requirements Clustering Lead to Modular Design? (ZL, QAR, RF, NHM), pp. 233–239.

SAC-2009-HecklM #composition #process

Operational control of service processes: modularization as precondition (DH, JM), pp. 239–244.

SAC-2009-KangCRRV #adaptation #composition #implementation #probability #simulation

Modular implementation of adaptive decisions in stochastic simulations (PK, YC, NR, CJR, SV), pp. 995–1001.

SAC-2009-SchippersHH #implementation

An implementation substrate for languages composing modularized crosscutting concerns (HS, MH, RH), pp. 1944–1951.

ICSE-2009-GeayPTRD #analysis #composition #precise #string

Modular string-sensitive permission analysis with demand-driven precision (EG, MP, TT, BGR, JD), pp. 177–187.

SLE-2009-WendeTZ #approach #composition #towards

A Role-Based Approach towards Modular Language Engineering (CW, NT, SZ), pp. 254–273.

SOSP-2009-MammarellaHK #composition

Modular data storage with Anvil (MM, SH, EK), pp. 147–160.

ICLP-2009-Dao-TranEFK #composition #logic programming #revisited

Modular Nonmonotonic Logic Programming Revisited (MDT, TE, MF, TK), pp. 145–159.

ICLP-2009-Inclezan #composition

Modular Action Language ALM (DI), pp. 542–543.

RTA-2009-Kahrs #composition #convergence

Modularity of Convergence in Infinitary Rewriting (SK), pp. 179–193.

RTA-2009-SchernhammerG #composition #named #termination

VMTL — A Modular Termination Laboratory (FS, BG), pp. 285–294.

TLCA-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.

VMCAI-2009-Sagiv #analysis #thread

Thread-Modular Shape Analysis (MS), p. 3.

CASE-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.

DAC-2008-HuangYX #composition #on the #reliability #testing

On reliable modular testing with vulnerable test access mechanisms (LH, FY, QX), pp. 834–839.

DATE-2008-LublinermanT #code generation #composition #diagrams #reuse

Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams (RL, ST), pp. 1504–1509.

DATE-2008-SinanogluM #analysis #composition #reduction #testing

Analysis of The Test Data Volume Reduction Benefit of Modular SOC Testing (OS, EJM), pp. 182–187.

DocEng-2008-AlkhateebL #composition #documentation #generative #towards #using

Towards extending and using SPARQL for modular document generation (FA, SL), pp. 164–172.

CSMR-2008-BrytonA #refactoring

Modularity-Oriented Refactoring (SB, FBeA), pp. 294–297.

ICSM-2008-KellensSDJD #aspect-oriented #case study #experience

Experiences in modularizing business rules into aspects (AK, KDS, TD, VJ, HD), pp. 448–451.

SCAM-2008-Gomez-ZamalloaAP #composition #decompiler #low level #partial evaluation

Modular Decompilation of Low-Level Code by Partial Evaluation (MGZ, EA, GP), pp. 239–248.

PEPM-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.

STOC-2008-DeKSS #composition #integer #multi #performance #using

Fast integer multiplication using modular arithmetic (AD, PPK, CS, RS), pp. 499–506.

STOC-2008-Umans #composition #performance #polynomial

Fast polynomial factorization and modular composition in small characteristic (CU), pp. 481–490.

ICALP-A-2008-TedderCHP #composition #linear #permutation #recursion

Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations (MT, DGC, MH, CP), pp. 634–645.

ICEIS-SAIC-2008-RyuLC #collaboration #composition

Modularization of Web-Based Collaboration Systems for Manufacturing Innovation (KR, SL, HC), pp. 174–177.

CIKM-2008-ZhangM #composition #kernel

Classifying networked entities with modularity kernels (DZ, RM), pp. 113–122.

KR-2008-AnalytiAD #composition #framework #semantics #web

A Principled Framework for Modular Web Rule Bases and Its Semantics (AA, GA, CVD), pp. 390–400.

SEKE-2008-LiuLTH #composition #empirical #object-oriented

An Empirical Study on Modularization of Object Oriented Software (JL, BL, CKT, KH), pp. 830–835.

OOPSLA-2008-SchippersJHH #semantics

Delegation-based semantics for modularizing crosscutting concerns (HS, DJ, MH, RH), pp. 525–542.

TOOLS-EUROPE-2008-KrahnRV #composition #development #domain-specific language #named

MontiCore: Modular Development of Textual Domain Specific Languages (HK, BR, SV), pp. 297–315.

TOOLS-EUROPE-2008-KuhlemannARL #composition #design pattern #multi #paradigm

A Multiparadigm Study of Crosscutting Modularity in Design Patterns (MK, SA, MR, RELH), pp. 121–140.

GPCE-2008-KimKB #composition #feature model #interactive #on the

On the modularity of feature interactions (CHPK, CK, DSB), pp. 23–34.

LOPSTR-2008-AlpuenteEMO #algorithm #composition #equation

A Modular Equational Generalization Algorithm (MA, SE, JM, PO), pp. 24–39.

POPL-2008-ChinDNQ #composition #logic #object-oriented #verification

Enhancing modular OO verification with separation logic (WNC, CD, HHN, SQ), pp. 87–99.

SAC-2008-FreixasJS #composition #geometry

Elements for a modular dynamic geometry system (MF, RJA, ASR), pp. 1816–1820.

SAC-2008-KaegiD #composition #java #web

Modular Java web applications (SRK, DD), pp. 688–693.

FSE-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.

ICSE-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.

ICSE-2008-HuynhCSS #automation #composition #consistency

Automatic modularity conformance checking (SH, YC, YS, KJS), pp. 411–420.

LCTES-2008-BiernackiCHP #code generation #composition #data flow

Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.

CAV-2008-JainCG #composition #equation #linear #performance

Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.

ICLP-2008-TruszczynskiW #composition #logic programming #source code

Relativized Hyperequivalence of Logic Programs for Modular Programming (MT, SW), pp. 576–590.

IJCAR-2008-Oostrom #composition #confluence

Modularity of Confluence (VvO), pp. 348–363.

RTA-2008-AlpuenteEI #composition #termination

Modular Termination of Basic Narrowing (MA, SE, JI), pp. 1–16.

TestCom-FATES-2008-GrozLPS #analysis #composition #reachability #testing #verification

Modular System Verification by Inference, Testing and Reachability Analysis (RG, KL, AP, MS), pp. 216–233.

VMCAI-2008-Moy #composition

Sufficient Preconditions for Modular Assertion Checking (YM), pp. 188–202.

ECSA-2007-CorderoS #architecture #composition #perspective

Analyzing Styles of the Modular Software Architecture View (RNLC, IRS), pp. 275–278.

ECSA-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.

ASE-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.

ASE-2007-Song #adaptation #composition

Adaptation hiding modularity (YS), pp. 551–554.

ASE-2007-TkachukR #composition #generative #model checking #slicing

Combining environment generation and slicing for modular software model checking (OT, SPR), pp. 401–404.

ASE-2007-WeaverKFA #composition #programming

Modular and generic programming with interpreterlib (PW, GK, NF, PA), pp. 473–476.

CASE-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.

DATE-2007-SauerGD #composition #framework #interactive

Interactive presentation: Hard- and software modularity of the NOVA MPSoC platform (CS, MG, SD), pp. 1102–1107.

ICDAR-2007-JayaramanSC #approach #composition #recognition

Modular Approach to Recognition of Strokes in Telugu Script (AJ, CCS, VSC), pp. 501–505.

ESOP-2007-DreyerB #composition #source code

Principal Type Schemes for Modular Programs (DD, MB), pp. 441–457.

ESOP-2007-RinetzkyPRSY #analysis #composition #encapsulation #source code

Modular Shape Analysis for Dynamically Encapsulated Programs (NR, APH, GR, MS, EY), pp. 220–236.

TACAS-2007-GoldmanK #composition #named #verification

MAVEN: Modular Aspect Verification (MG, SK), pp. 308–322.

ICSM-2007-ArchuletaTF #architecture #composition #performance #sequence

A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search (JSA, ET, WcF), pp. 144–153.

PASTE-2007-Brown #analysis #composition #integration #named

AWE: improving software analysis through modular integration of static and dynamic analyses (REB), pp. 69–74.

PLDI-2007-GotsmanBCS #analysis #thread

Thread-modular shape analysis (AG, JB, BC, MS), pp. 266–277.

SAS-2007-CalcagnoPV #composition #concurrent #fine-grained #safety

Modular Safety Checking for Fine-Grained Concurrency (CC, MJP, VV), pp. 233–248.

SAS-2007-MalkisPR #precise #thread #verification

Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.

ICALP-2007-SchroderP #algorithm #composition #logic

Modular Algorithms for Heterogeneous Modal Logics (LS, DP), pp. 459–471.

ILC-2007-HerzeelGCD #e-commerce #lisp #using

Modularizing crosscuts in an e-commerce application in Lisp using HALO (CH, KG, PC, TD), p. 11.

HCI-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.

HIMI-MTT-2007-ParkSKJ #composition #user interface

A Modular User Interface of Robots (JHP, THS, KHK, JWJ), pp. 912–921.

OCSC-2007-VilhjalmssonMS #animation #composition #social #towards

Social Puppets: Towards Modular Social Animation for Agents and Avatars (HHV, CM, PS), pp. 192–201.

KDD-2007-ShigaTM #approach #clustering #composition #network

A spectral clustering approach to optimally combining numericalvectors with a modular network (MS, IT, HM), pp. 647–656.

KDD-2007-TeoSVL #composition #scalability

A scalable modular convex solver for regularized risk minimization (CHT, AJS, SVNV, QVL), pp. 727–736.

SEKE-2007-LiangS #aspect-oriented #composition #detection #specification

Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection (HL, JS), pp. 77–80.

OOPSLA-2007-BierhoffA #alias #composition #type system

Modular typestate checking of aliased objects (KB, JA), pp. 301–320.

OOPSLA-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.

TOOLS-EUROPE-2007-BonoK

Modularizing constructors (VB, JDMK), pp. 297–397.

TOOLS-EUROPE-2007-HenrikssonJZA #composition #named #reuse

Reuseware — Adding Modularity to Your Language of Choice (JH, JJ, SZ, UA), pp. 127–146.

TOOLS-EUROPE-2007-HerrmannM #composition

Integrating Object Teams and OSGi: Joint Efforts for Superior Modularity (SH, MM), pp. 105–125.

POPL-2007-DreyerHCK #composition

Modular type classes (DD, RH, MMTC, GK), pp. 63–70.

POPL-2007-ParkinsonBO #composition #stack #verification

Modular verification of a non-blocking stack (MJP, RB, PWO), pp. 297–302.

SAC-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.

SAC-2007-AllenHLRS #composition #inheritance #multi

Modular multiple dispatch with multiple inheritance (EEA, JJH, VL, SR, GLSJ), pp. 1117–1121.

SAC-2007-SoaresB #aspect-oriented #composition #concurrent #reuse #towards

Towards reusable and modular aspect-oriented concurrency control (SS, PB), pp. 1293–1294.

ESEC-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.

LDTA-J-2003-Wyk #aspect-oriented #composition #implementation #programming

Implementing aspect-oriented programming constructs as modular language extensions (EVW), pp. 38–61.

CAV-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.

CSL-2007-MillerS #composition #linear #logic #proving

From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic (DM, AS), pp. 405–419.

ICLP-2007-Oikarinen #composition #programming #set

Modular Answer Set Programming (EO), pp. 462–463.

ISSTA-2007-HughesB #composition #interface #model checking

Interface grammars for modular software model checking (GH, TB), pp. 39–49.

VMCAI-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.

ASE-2006-CaiS #analysis #composition #design #logic #modelling

Modularity Analysis of Logical Design Models (YC, KJS), pp. 91–102.

DATE-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.

SCAM-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.

PLDI-2006-FengSVXN #abstraction #assembly #composition #verification

Modular verification of assembly code with stack-based control abstractions (XF, ZS, AV, SX, ZN), pp. 401–414.

PLDI-2006-Grimm #composition #syntax

Better extensibility through modular syntax (RG), pp. 38–51.

FM-2006-BotaschanjanGHKST #distributed #towards #verification

Towards Modularized Verification of Distributed Time-Triggered Systems (JB, AG, AH, LK, MS, DT), pp. 163–178.

ICFP-2006-Chlipala #composition #development #proving #verification

Modular development of certified program verifiers with a proof assistant (AC), pp. 160–171.

ICFP-2006-ZiarekSJ #abstraction #composition #concurrent #functional #named #source code

Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.

KR-2006-GrauPSK #composition #ontology #web

Modularity and Web Ontologies (BCG, BP, ES, AK), pp. 198–209.

ECOOP-2006-AjmaniLS #composition #distributed

Modular Software Upgrades for Distributed Systems (SA, BL, LS), pp. 452–476.

POPL-2006-MeunierFF #analysis #composition #contract

Modular set-based analysis from contracts (PM, RBF, MF), pp. 218–231.

SAC-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.

SAC-2006-MeerWA #bound #composition #interactive #performance

Efficient interactive configuration of unbounded modular systems (ERvdM, AW, HRA), pp. 409–414.

ICSE-2006-HackettDWY #composition #in the large

Modular checking for buffer overflows in the large (BH, MD, DW, ZY), pp. 232–241.

SPLC-2006-Batory #composition #product line

Feature Modularity in Software Product Lines (DSB), p. 230.

OSDI-2006-EeFKMTCSS #composition #network

A Modular Network Layer for Sensornets (CTE, RF, SK, DM, AT, DEC, SS, IS), pp. 249–262.

ICLP-2006-BaralDT #composition #metaprogramming #set

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming (CB, JD, HT), pp. 376–390.

IJCAR-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.

ISSTA-2006-DennisCJ #composition #satisfiability #verification

Modular verification of code with SAT (GD, FSHC, DJ), pp. 109–120.

LICS-2006-ChaubardPS #composition #first-order

First Order Formulas with Modular Predicates (LC, JÉP, HS), pp. 211–220.

LICS-2006-MacielP #bound #composition #proving

Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives (AM, TP), pp. 189–200.

RTA-2006-Jouannaud #composition

Modular Church-Rosser Modulo (JPJ), pp. 96–107.

ASE-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.

DAC-2005-SauerGS #composition #embedded #framework #implementation

Modular domain-specific implementation and exploration framework for embedded software platforms (CS, MG, SS), pp. 254–259.

DATE-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.

DATE-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.

WRLA-2004-BragaM05 #composition #semantics

Modular Rewriting Semantics in Practice (CB, JM), pp. 393–416.

ESOP-2005-Muller-OlmS #analysis #composition

Analysis of Modular Arithmetic (MMO, HS), pp. 46–60.

TACAS-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.

ICALP-2005-ChattopadhyayH #bound #composition #symmetry

Lower Bounds for Circuits with Few Modular and Symmetric Gates (AC, KAH), pp. 994–1005.

FM-2005-LeinoM #composition #invariant #verification

Modular Verification of Static Class Invariants (KRML, PM), pp. 26–42.

ICFP-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.

ECOOP-2005-Aldrich #composition #reasoning

Open Modules: Modular Reasoning About Advice (JA), pp. 144–168.

ECOOP-2005-Lopez-HerrejonBC #composition

Evaluating Support for Features in Advanced Modularization Technologies (RELH, DSB, WRC), pp. 169–194.

ECOOP-2005-OstermannMB #composition

Expressive Pointcuts for Increased Modularity (KO, MM, CB), pp. 214–240.

ECOOP-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.

GPCE-2005-LawallDMM #composition #domain-specific language

Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language (JLL, HD, GM, AFLM), pp. 78–93.

LOPSTR-2005-CorreasPHB #analysis #composition #source code

Experiments in Context-Sensitive Analysis of Modular Programs (JC, GP, MVH, FB), pp. 163–178.

SAC-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.

GTTSE-2005-EkmanH #analysis #composition #jastadd #java #using

Modular Name Analysis for Java Using JastAdd (TE, GH), pp. 422–436.

ICSE-2005-KiczalesM #aspect-oriented #composition #programming #reasoning

Aspect-oriented programming and modular reasoning (GK, MM), pp. 49–58.

CSL-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.

RTA-2005-AbbottGL #composition

Abstract Modularity (MA, NG, CL), pp. 46–60.

DAC-2004-RosenbandA #composition #scheduling

Modular scheduling of guarded atomic actions (DLR, A), pp. 55–60.

DATE-DF-2004-CilardoMRS #composition #configuration management #hardware

Carry-Save Montgomery Modular Exponentiation on Reconfigurable Hardware (AC, AM, LR, GPS), pp. 206–211.

DATE-v1-2004-SehgalC #architecture #composition #performance #testing #using

Efficient Modular Testing of SOCs Using Dual-Speed TAM Architectures (AS, KC), pp. 422–427.

DocEng-2004-ChuangL #composition #on the

On modular transformation of structural content (TRC, JLL), pp. 201–210.

DocEng-2004-SilvaRSM #composition #concept #xml

NCL 2.0: integrating new concepts to XML modular languages (HVOS, RFR, LFGS, DCMS), pp. 188–197.

ESOP-2004-Shmatikov #analysis #composition #decidability #encryption #protocol

Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation (VS), pp. 355–369.

CSMR-2004-Al-EkramK #composition #concept #slicing #source code #using

Source Code Modularization Using Lattice of Concept Slices (RAE, KK), pp. 195–203.

ICSM-2004-JanssensMHV #approach #composition #configuration management

A Modular Approach Enforcing Safe Reconfiguration of Producer-Consumer Applications (NJ, SM, TH, PV), pp. 274–283.

SAS-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.

IFM-2004-ThanhK #composition #modelling #object-oriented #petri net

Object-Oriented Modelling with High-Level Modular Petri Nets (CBT, HK), pp. 287–306.

ICEIS-v5-2004-CarricoDGT #composition

Modular Production of Rich Digital Talking Books (LC, CD, NG, AJS, IT), pp. 158–163.

ICPR-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.

GPCE-2004-Mosses #composition

Modular Language Descriptions (PDM), p. 489.

PDCL-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.

FSE-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.

FSE-2004-KrishnamurthiFG #verification

Verifying aspect advice modularly (SK, KF, MG), pp. 137–146.

ICSE-2004-LingenH #composition #configuration management #framework #policy

An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition (RvdL, AvdH), pp. 573–582.

ICSE-2004-Rajan #integration

One More Step in the Direction of Modularized Integration Concerns (HR), pp. 36–38.

IJCAR-2004-GanzingerSW #composition #proving #similarity

Modular Proof Systems for Partial Functions with Weak Equality (HG, VSS, UW), pp. 168–182.

IJCAR-2004-ThiemannGS #composition #dependence #proving #termination #using

Improved Modular Termination Proofs Using Dependency Pairs (RT, JG, PSK), pp. 75–90.

RTA-2004-Simonsen #composition #confluence #on the #term rewriting

On the Modularity of Confluence in Infinitary Term Rewriting (JGS), pp. 185–199.

ICDAR-2003-TakahashiN #learning #recognition

A class-modular GLVQ ensemble with outlier learning for handwritten digit recognition (KT, DN), pp. 268–272.

FASE-2003-JinELJ #analysis #composition #data flow #network #process

Modular Analysis of Dataflow Process Networks (YJ, RE, CL, JWJ), pp. 184–199.

TACAS-2003-AlurTM #composition #game studies #graph #recursion

Modular Strategies for Recursive Game Graphs (RA, SLT, PM), pp. 363–378.

SAS-2003-BessonJ #analysis #composition #datalog

Modular Class Analysis with DATALOG (FB, TPJ), pp. 19–36.

SAS-2003-Logozzo #analysis #composition #object-oriented

Class-Level Modular Analysis for Object Oriented Languages (FL), pp. 37–54.

FME-2003-MarinescuR #composition #design #framework

A Formal Framework for Modular Synchronous System Design (MCVM, MCR), pp. 482–502.

VISSOFT-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.

OOPSLA-2003-BoyapatiLSMR #composition #lazy evaluation #persistent

Lazy modular upgrades in persistent object stores (CB, BL, LS, CHM, SR), pp. 403–417.

OOPSLA-2003-MillsteinRC #composition #multi

Relaxed MultiJava: balancing extensibility and modular typechecking (TDM, MR, CC), pp. 224–240.

ESEC-FSE-2003-RobbyDH #framework #model checking #named

Bogor: an extensible and highly-modular software model checking framework (R, MBD, JH), pp. 267–276.

ESEC-FSE-2003-TkachukD #adaptation #analysis #composition #model checking

Adapting side effects analysis for modular program model checking (OT, MBD), pp. 188–197.

ICSE-2003-ChakiCGJV #c #component #composition #verification

Modular Verification of Software Components in C (SC, EMC, AG, SJ, HV), pp. 385–395.

LDTA-2003-Wyk #aspect-oriented #composition

Aspects as Modular Language Extensions (EVW), pp. 555–574.

CAV-2003-AlurTM #composition #game studies #graph #infinity #recursion

Modular Strategies for Infinite Games on Recursive Graphs (RA, SLT, PM), pp. 67–79.

CAV-2003-HenzingerJMQ #abstraction #refinement #thread

Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.

CSL-2003-Reus #composition #logic #semantics

Modular Semantics and Logics of Classes (BR), pp. 456–469.

RTA-2003-KapurNW #algorithm #composition #protocol

An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation (DK, PN, LW), pp. 165–179.

ASE-2002-Crhova #composition #distributed #model checking

Distributed Modular Model Checking (JC), p. 312.

ASE-2002-LiKF #composition #interface #verification

Interfaces for Modular Feature Verification (HCL, SK, KF), pp. 195–204.

ESOP-2002-FlanaganFQ #source code #thread #verification

Thread-Modular Verification for Shared-Memory Programs (CF, SNF, SQ), pp. 262–277.

ESOP-2002-WandW #analysis #composition #proving

A Modular, Extensible Proof Method for Small-Step Flow Analyses (MW, GBW), pp. 213–227.

SAS-2002-Probst #analysis #composition #control flow #library

Modular Control Flow Analysis for Libraries (CWP), pp. 165–179.

ICFP-2002-MillsteinBC #composition #data type

Modular typechecking for hierarchically extensible datatypes and functions (TDM, CB, CC), pp. 110–122.

AdaEurope-2002-ParkinsonG #composition #development #using

High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT (PP, FG), pp. 163–178.

CAiSE-2002-NorrieP #approach #composition #modelling

A Modelling Approach to the Realisation of Modular Information Spaces (MCN, AP), pp. 245–261.

ICPR-v3-2002-BarraezGDPR #composition #network

Modular Neural Networks for Seismic Tomography (DB, SGS, BD, MP, ER), pp. 407–410.

KR-2002-TessarisHG #algorithm #composition

Evaluating a Modular Abox Algorithm (ST, IH, GG), pp. 227–238.

UML-2002-SchattkowskyL #agile #composition #development #uml #using #web

Rapid Development of Modular Dynamic Web Sites Using UML (TS, ML), pp. 336–350.

ECOOP-2002-RinatS #composition #internet #programming

Modular Internet Programming with Cells (RR, SFS), pp. 257–280.

GPCE-2002-ChinH #composition #towards

Towards a Modular Program Derivation via Fusion and Tupling (WNC, ZH), pp. 140–155.

LOPSTR-2002-BragaHMM #composition #logic

Mapping Modular SOS to Rewriting Logic (CdOB, EHH, JM, PDM), pp. 262–277.

PPDP-2002-GramlichL #composition #termination

Modular termination of context-sensitive rewriting (BG, SL), pp. 50–61.

SAC-2002-FiegeMG #approach #composition

A modular approach to build structured event-based systems (LF, GM, FCG), pp. 385–392.

ASPLOS-2002-KohlerMC #composition #optimisation #programming language

Programming language optimizations for modular router configurations (EK, RM, BC), pp. 251–263.

CC-2002-CousotC #composition #program analysis

Modular Static Program Analysis (PC, RC), pp. 159–178.

CC-2002-WykMBK #attribute grammar #composition #design

Forwarding in Attribute Grammars for Modular Language Design (EVW, OdM, KB, PK), pp. 128–142.

CAV-2002-FlanaganQS #composition #parallel #source code #thread

A Modular Checker for Multithreaded Programs (CF, SQ, SAS), pp. 180–194.

RTA-2002-KennawayKP #composition #static analysis #λ-calculus

Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus (RK, ZK, AP), pp. 51–65.

CBSE-2001-Weide #component #composition #testing

Modular Regression Testing: Connections to Component-Based Software (BWW), p. 11.

ICDAR-2001-OhLS #recognition

A Class-Modularity for Character Recognition (ISO, JSL, CYS), pp. 64–68.

ICDAR-2001-OliveiraSBS #composition

A Modular System to Recognize Numerical Amounts on Brazilian Bank Checks (LESdO, RS, FB, CYS), pp. 389–395.

ESOP-2001-CuoqP #composition

Modular Causality in a Synchronous Stream Language (PC, MP), pp. 237–251.

FoSSaCS-2001-DurandM #call-by #composition #on the

On the Modularity of Deciding Call-by-Need (ID, AM), pp. 199–213.

CSMR-2001-AbreuG #composition #question

Coupling and Cohesion as Modularization Drivers: Are We Being Over-Persuaded? (FBeA, MG), pp. 47–57.

STOC-2001-Elkies #composition

Excellent codes from modular curves (NDE), pp. 200–208.

FME-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.

CHI-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.

CIKM-2001-Couchot #analysis #composition #set #termination

Termination Analysis of Active Rules Modular Sets (AC), pp. 326–333.

OOPSLA-2001-DugganT #composition #framework #inheritance #mixin

Modular Mixin-Based Inheritance for Application Frameworks (DD, CCT), pp. 223–240.

TOOLS-USA-2001-McKeeFS #composition #concept #object-oriented

Object-Oriented Concepts for Modular Robotics Systems (GTM, JAF, PSS), pp. 229–239.

ESEC-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.

ESEC-FSE-2001-FislerK #composition #design #verification

Modular verification of collaboration-based software designs (KF, SK), pp. 152–163.

ESEC-FSE-2001-SullivanGCH #composition #design

The structure and value of modularity in software design (KJS, WGG, YC, BH), pp. 99–108.

LDTA-2001-GayoDLR #composition #monad #named #prototype #semantics #using

LPS: A Language Prototyping System Using Modular Monadic Semantics (JELG, MCLD, JMCL, ACdR), pp. 110–131.

IJCAR-2001-EglyS #composition #proving #source code

Deriving Modular Programs from Short Proofs (UE, SS), pp. 561–577.

DAC-2000-HuangC #composition #constraints

Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques (CYH, KTC), pp. 118–123.

FASE-2000-BellegardeJK #composition #refinement

Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.

CSMR-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.

PLDI-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.

IFM-2000-MassonMJ #composition #verification

Modular Verification for a Class of PLTL Properties (PAM, HM, JJ), pp. 398–419.

ICML-2000-AndersonDP #behaviour #composition #network #student

Behavioral Cloning of Student Pilots with Modular Neural Networks (CWA, BAD, DAP), pp. 25–32.

UML-2000-HussmannDF #architecture #composition #ocl #tool support

Modular Architecture for a Toolset Supporting OCL (HH, BD, FF), pp. 278–293.

OOPSLA-2000-CliftonLCM #composition #java #multi #named #symmetry

MultiJava: modular open classes and symmetric multiple dispatch for Java (CC, GTL, CC, TDM), pp. 130–145.

TOOLS-USA-2000-SinghW #composition #design #distributed #object-oriented #protocol

Modular Object-Oriented Design of Distributed Protocols (GS, JW), pp. 329–338.

LOPSTR-2000-ColvinHS #composition #logic programming #refinement

Modular Logic Program Refinement (RC, IJH, PAS).

LOPSTR-2000-VanhoofB #analysis #composition #higher-order #towards

Towards a modular binding-time analysis for higher-order Mercury (WV, MB).

LOPSTR-J-2000-ColvinHS #composition #logic programming #refinement

A Technique for Modular Logic Program Refinement (RC, IJH, PAS), pp. 38–56.

PPDP-2000-HamonP #composition #data flow #source code

Modular resetting of synchronous data-flow programs (GH, MP), pp. 289–300.

POPL-2000-AlurG #composition #refinement

Modular Refinement of Hierarchic Reactive Machines (RA, RG), pp. 390–402.

FSE-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.

ICSE-2000-LieberherrLM #composition #object-oriented #reuse #tutorial

Building modular object-oriented systems with reusable collaborations (tutorial session) (KJL, DHL, MM), p. 821.

ICSE-2000-LopesK #aspectj #composition #design #source code #tutorial #using

Improving design and source code modularity using AspectJ (tutorial session) (CVL, GK), p. 825.

CADE-2000-Kammuller #composition #reasoning

Modular Reasoning in Isabelle (FK), pp. 99–114.

ASE-1999-Saidi #analysis #composition #concurrent #incremental

Modular and Incremental Analysis of Concurrent Software Systems (HS), pp. 92–101.

TACAS-1999-BuchholzK #analysis #composition #distributed #tool support

Modular State Level Analysis of Distributed Systems Techniques and Tool Support (PB, PK), pp. 420–434.

WCRE-1999-Jermaine #using

Computing Program Modularizations Using the k-Cut Method (CJ), pp. 224–234.

FM-v2-1999-HainquePBN #compilation #composition #named #tool support

Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.

IFM-1999-BussowG #composition #framework #integration #tool support

A Modular Framework for the Integration of Heterogeneous Notations and Tools (RB, WG), pp. 211–230.

IFM-1999-JulliandMM #composition #verification

Modular Verification of Dynamic Properties for Reactive Systems (JJ, PAM, HM), pp. 89–108.

IFM-1999-PolHJ #behaviour #composition #specification

Modular Formal Specification of Data and Behaviour (JvdP, JH, EDdJ), pp. 109–128.

AGTIVE-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.

ECOOP-1999-MillsteinC #composition #multi #static typing

Modular Statically Typed Multimethods (TDM, CC), pp. 279–303.

OOPSLA-1999-Duggan #composition #java #reverse engineering #type system

Modular Type-Based Reverse Engineering of Parameterized Types in Java Code (DD), pp. 97–113.

TOOLS-USA-1999-Lopes #aspect-oriented #composition #design #evolution

Modularization Revisited: Aspects in the Design and Evolution of Software Systems (CVL), p. 452.

PPDP-1999-VerbaetenSS #composition #prolog #proving #termination

Modular Termination Proofs for Prolog with Tabling (SV, KFS, DDS), pp. 342–359.

POPL-1999-GlewM #assembly #composition #type safety

Type-Safe Linking and Modular Assembly Language (NG, JGM), pp. 250–261.

SOSP-1999-MorrisKJK #composition

The Click modular router (RM, EK, JJ, MFK), pp. 217–231.

LICS-1999-BaziramwaboMT #composition #logic

Modular Temporal Logic (AB, PM, DT), pp. 344–351.

ASE-1998-MorzentiPM #analysis #automation #composition #specification

A Tool for Automated System Analysis based on Modular Specifications (AM, PSP, SM), pp. 2–11.

TACAS-1998-LasterG #composition #model checking

Modular Model Checking of Software (KL, OG), pp. 20–35.

WRLA-1998-Bruni #composition #concurrent #logic

A logic for modular descriptions of asynchronous and synchronized concurrent systems (RB), pp. 161–172.

WRLA-1998-Mosses #composition #logic #semantics

Semantics, modularity, and rewriting logic (PDM), pp. 404–421.

STOC-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.

ICALP-1998-PowerR #approach #composition #semantics

A Modular Approach to Denotational Semantics (JP, GR), pp. 351–362.

ICFP-1998-FindlerF #composition #mixin #object-oriented #programming

Modular Object-Oriented Programming with Units and Mixins (RBF, MF), pp. 94–104.

AdaEurope-1998-Gonzalez-BarahonaQCB #ada #approach #communication #composition

Building Modular Communication Systems in Ada: The Simple_Com Approach (JMGB, PdlHQ, JCG, FJB), pp. 225–237.

ICML-1998-RyanP #architecture #composition #learning #named

RL-TOPS: An Architecture for Modularity and Re-Use in Reinforcement Learning (MRKR, MDP), pp. 481–487.

ICPR-1998-ZhangFY #classification #composition #modelling #recognition

A modular classification scheme with elastic net models for handwritten digit recognition (BZ, MF, HY), pp. 1859–1861.

FSE-1998-FongC #architecture #composition #mobile #proving #verification

Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code (PWLF, RDC), pp. 222–230.

CC-1998-LeinoN #static analysis

An Extended Static Checker for Modular-3 (KRML, GN), pp. 302–305.

CAV-1998-AlurHMQRT #composition #model checking #named

MOCHA: Modularity in Model Checking (RA, TAH, FYCM, SQ, SKR, ST), pp. 521–525.

RTA-1998-ArtsG #composition #dependence #termination #using

Modularity of Termination Using Dependency pairs (TA, JG), pp. 226–240.

ASE-1997-Dwyer #analysis #composition #concurrent

Modular Flow Analysis for Concurrent Software (MBD), pp. 264–273.

ICALP-1997-CosmoG #composition #higher-order #on the #λ-calculus

On Modular Properties of Higher Order Extensional λ Calculi (RDC, NG), pp. 237–247.

FME-1997-MichelW #composition #framework #specification #verification

A Framework for Modular Formal Specification and Verification (PM, VW), pp. 533–552.

ICFP-1997-Banerjee #analysis #composition #type system

A Modular, Polyvariant, and Type-Based Closure Analysis (AB), pp. 1–10.

HCI-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.

POPL-1997-Cardelli #composition

Program Fragments, Linking, and Modularization (LC), pp. 266–277.

ICSE-1997-LindigS #composition #concept analysis #legacy

Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis (CL, GS), pp. 349–359.

ICLP-1997-AjiliK #composition #constraints #framework #unification

A Modular Framework for the Combination of Unification and Built-In Constraints (FA, CK), pp. 331–345.

ICLP-1997-MolinaP #composition #functional #logic programming

Modularity in Functional-Logic Programming (JMMB, EP), pp. 183–197.

ESOP-1996-LiangH #compilation #composition #semantics

Modular Denotational Semantics for Compiler Construction (SL, PH), pp. 219–234.

TACAS-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.

SAS-1996-MullerGS #automation #composition #prolog #proving #source code #termination

Automated Modular Termination Proofs for Real Prolog Programs (MM, TG, KS), pp. 220–237.

STOC-1996-AspnesW #algorithm #composition #distributed

Modular Competitiveness for Distributed Algorithms (JA, OW), pp. 237–246.

STOC-1996-Fu #composition #proving

Modular Coloring Formulas Are Hard for Cutting Planes Proofs (XF), pp. 595–602.

FME-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.

ICPR-1996-NairA #architecture #composition #recognition

Hierarchical, modular architectures for object recognition by parts (DN, JKA), pp. 601–606.

ALP-1996-AnconaZ #algebra #approach #composition #mixin

An Algebraic Approach to Mixins and Modularity (DA, EZ), pp. 179–193.

POPL-1996-Jones #composition #using

Using Parameterized Signatures to Express Modular Structure (MPJ), pp. 68–78.

CC-1996-KadhimW #composition #development #named #syntax #tool support

Maptool — Supporting Modular Syntax Development (BMK, WMW), pp. 268–280.

CAV-1996-RuessSS #composition #verification

Modular Verification of SRT Division (HR, NS, MKS), pp. 123–134.

JICSLP-1996-ZukowskiF #database #evaluation #flexibility #query

Adding Flexibility to Query Evaluation for Modularly Stratified Databases (UZ, BF), pp. 304–318.

RTA-1996-Rao #composition #graph grammar #termination

Modularity of Termination in Term Graph Rewriting (MRKKR), pp. 230–244.

VLDB-1995-BargaP #composition #implementation #modelling #transaction

A Practical and Modular Implementation of Extended Transaction Models (RSB, CP), pp. 206–217.

DLT-1995-DrosteK #composition #quantifier

Trace Languages Definable with Modular Quantifiers (MD, DK), pp. 386–395.

OOPSLA-1995-StataG #composition #reasoning #subclass

Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.

POPL-1995-LiangHJ #composition #monad

Monad Transformers and Modular Interpreters (SL, PH, MPJ), pp. 333–343.

FSE-1995-FiadeiroM #composition #reuse

Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality (JLF, TSEM), pp. 72–80.

FSE-1995-HoffmanS #abstraction #composition #development

State Abstraction and Modular Software Development (DH, PAS), pp. 53–61.

ICLP-1995-EtalleG #composition #source code

A Transformation System for Modular CLP Programs (SE, MG), pp. 681–695.

LICS-1995-Vardi #complexity #composition #model checking #on the

On the Complexity of Modular Model Checking (MYV), pp. 101–111.

RTA-1995-Marchiori #composition #revisited

Modularity of Completeness Revisited (MM), pp. 2–10.

DAC-1994-PuriG #approach #clustering #composition #synthesis

A Modular Partitioning Approach for Asynchronous Circuit Synthesis (RP, JG), pp. 63–69.

EDAC-1994-AlexiouSK #composition #design #implementation #sorting

Design and Implementation of a High-Performance, Modular, Sorting Engine (GA, DS, NK), pp. 2–8.

VLDB-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.

ESOP-1994-CiceroneP #composition #design #interface

Strategies in Modular System Design by Interface Rewriting (SC, FPP), pp. 165–179.

ICSM-1994-MatwinA #analysis #automation #composition #reuse

Reuse of Modular Software with Automated Comment Analysis (SM, AA), pp. 222–231.

FME-1994-BackS #composition

From Action Systems to Modular Systems (RJB, KS), pp. 1–25.

TAGT-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.

AdaEurope-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.

ICML-1994-ThamP #architecture #composition

A Modular Q-Learning Architecture for Manipulator Task Decomposition (CKT, RWP), pp. 309–317.

ALP-1994-Gramlich #composition #confluence #on the #term rewriting #termination

On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems (BG), pp. 186–203.

FSE-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.

CADE-1994-MullerW #composition #higher-order #theory and practice

Theory and Practice of Minimal Modular Higher-Order E-Unification (OM, FW), pp. 650–664.

ICLP-1994-LammaM #composition #logic programming

Modularity in Logic Programming (EL, PM), pp. 15–17.

ILPS-1994-Giacobazzi #abduction #analysis #composition #logic programming #source code

Abductive Analysis of Modular Logic Programs (RG), pp. 377–391.

ISSTA-1994-Marcus #composition #correctness #testing #verification

The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract) (LM), p. 197.

LICS-1994-BarbaneraFG #algebra #composition #confluence #normalisation

Modularity of Strong Normalization and Confluence in the algebraic-λ-Cube (FB, MF, HG), pp. 406–415.

SIGMOD-1993-FordBB #composition #object-oriented

Open OODB: A Modular Object-Oriented DBMS (SF, JAB, TJB), pp. 552–553.

SIGMOD-1993-Velez #composition

Modularity and Tuning Mechanisms in the O2 System (FV), p. 440.

WCRE-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.

PEPM-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.

ICALP-1993-BarbaneraF #composition #confluence #term rewriting #termination

Modularity of Termination and Confluence in Combinations of Rewrite Systems with λω (FB, MF), pp. 657–668.

POPL-1993-CodishDG #analysis #composition #logic programming #source code

Compositional Analysis of Modular Logic Programs (MC, SKD, RG), pp. 451–464.

FSE-1993-CarringtonDHW #composition #design #specification

Deriving Modular Designs from Formal Specifications (DAC, DJD, IJH, JW), pp. 89–98.

HPDC-1993-MaR #composition #multi #named #queue

MULTIPAR: An Output Queue ATM Modular Switch with Multiple Phases and Replicated Planes (JM, KR), pp. 152–159.

CAV-1993-Krishnakumar #composition #finite #reachability #state machine

Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems (ASK), pp. 110–122.

HT-ECHT-1992-Simonetti #composition #navigation

SI.MO.N. — A Modular Navigation System (Demonstration) (GS), p. 293.

LFP-1992-Tung #composition #interactive #programming

Interactive Modular Programming in Scheme (SHST), pp. 86–95.

SEKE-1992-Antoniou #composition #knowledge base #logic

Modularity for Logical Knowledge Bases (GA), pp. 87–93.

ALP-1992-Gramlich #composition #termination

Generalized Sufficient Conditions for Modular Termination of Rewriting (BG), pp. 53–68.

POPL-1992-FarrowMY #attribute grammar #composition #design #implementation

Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation (RF, TJM, DMY), pp. 223–234.

SOSP-WIP-1991-Druschel92 #architecture #composition #kernel #orthogonal #why

Modularity and Protection are Orthogonal, or “Why µ-kernel Architectures are Flawed” (Abstract) (PD), p. 22.

CC-1992-Baum #attribute grammar #composition

Another Kind of Modular Attribute Grammars (BB), pp. 44–50.

CAV-1992-De-LeonG #abstraction #composition #distributed #realtime #verification

Modular Abstractions for Verifying Real-Time Distributed Systems (HDL, OG), pp. 2–15.

PODS-1991-Ross #composition #logic programming #recursion #source code

Modular Acyclicity and Tail Recursion in Logic Programs (KAR), pp. 92–101.

WSA-1991-QueinnecP #composition #evaluation #lisp #metaprogramming

A Proposal for a Modular Lisp with Macros and Dynamic Evaluation (CQ, JAP), pp. 1–8.

ICALP-1991-FixFG #composition #verification

Program Composition and Modular Verification (LF, NF, OG), pp. 93–114.

ML-1991-Wixson #composition #learning #scalability

Scaling Reinforcement Learning Techniques via Modularity (LEW), pp. 3368–372.

ECOOP-1991-MorzentiP #composition #logic #object-oriented #specification

An Object-Oriented Logic Language for Modular System Specification (AM, PSP), pp. 39–58.

LOPSTR-1991-ReadK #case study #composition #development #prolog

Formal Program Development in Modular Prolog: A Case Study (MGR, EAK), pp. 69–93.

PLILP-1991-Ferenczi #composition #concept #distributed #prolog

Concepts for a Modular and Distributed Prolog Language (SF), pp. 159–170.

ICSE-1991-Schwanke #composition #re-engineering

An Intelligent Tool for Re-Engineering Software Modularity (RWS), pp. 83–92.

RTA-1991-NipkowQ #composition #higher-order

Modular Higher-Order E-Unification (TN, ZQ), pp. 200–214.

PODS-1990-Ross #composition #datalog #set #source code

Modular Stratification and Magic Sets for DATALOG Programs with Negation (KAR), pp. 161–171.

VDME-1990-FitzgeraldJ #database

Modularizing the Formal Description of a Database System (JSF, CBJ), pp. 189–210.

VDME-1990-SampaioM #composition

Modular Extensions to Z (AS, SRdLM), pp. 211–232.

ICSE-1990-GanzingerS #composition #horn clause #order #specification

System Support for Modular Order-Sorted Horn Clause Specifications (HG, RS), pp. 150–159.

ICSE-1990-Parisi-Presicce #approach #composition #design #rule-based

A Rule-Based Approach to Modular System Design (FPP), pp. 202–211.

CAV-1990-ShurekG #composition #framework #verification

The Modular Framework of Computer-Aided Verification (GS, OG), pp. 214–223.

PODS-1989-Spector #architecture #composition #database #distributed

Modular Architectures for Distributed and Database Systems (AZS), pp. 217–224.

SIGMOD-1989-AgrawalS #composition #concurrent #database #multi

Modular Synchronization in Multiversion Databases: versionControl and Concurrency Control (DA, SS), pp. 408–417.

ICALP-1989-Parisi-Presicce #composition #design #graph grammar

Modular System Design Applying Graph Grammars Techniques (FPP), pp. 621–636.

ICSE-1989-CarleP #composition #incremental #program transformation #specification

Modular Specification of Incremental Program Transformation Systems (AC, LLP), pp. 178–187.

ICSE-1989-NakagawaF #algebra #approach #composition #process #refinement

Stepwise Refinement Process with Modularity: An Algebraic Approach (ATN, KF), pp. 166–177.

RTA-1989-Middeldorp #aspect-oriented #composition #normalisation #term rewriting

Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms (AM), pp. 263–277.

ESOP-1988-Diepen #algebra #composition #implementation #specification

Implementation of Modular Algebraic Specifications (NWPvD), pp. 64–78.

OOPSLA-1988-Wirfs-BrockW #bibliography #composition #smalltalk

An Overview of Modular Smalltalk (AWB, BW), pp. 123–134.

ALP-1988-HansenL #algebra #composition #specification

Modular Algebraic Specifications (HH, ML), pp. 168–179.

SLP-1987-SannellaW87 #calculus #composition #prolog #source code

A Calculus for the Construction of Modular Prolog Programs (DS, LAW), pp. 368–378.

DAC-1986-BruckKKR #algorithm #composition #concurrent #synthesis

Synthesis of concurrent modular controllers from algorithmic descriptions (RB, BK, TK, FJR), pp. 285–292.

POPL-1986-MacQueen #composition #dependent type #using

Using Dependent Types to Express Modular Structure (DBM), pp. 277–286.

VLDB-1985-TuchermanFC #composition #database #design

A Tool for Modular Database Design (LT, ALF, MAC), pp. 436–447.

FPCA-1985-Young85 #architecture #composition #functional

A Functional Language and Modular Architecture for Scientific Computing (MFY), pp. 305–318.

ICSE-1985-CardPM #composition

Criteria for Software Modularization (DNC, GTP, FEM), pp. 372–377.

SLP-1985-GanzingerH85 #compilation #composition #logic programming

Modular Logic Programming of Compilers (HG, MH), pp. 242–253.

ICSE-1984-ParnasCW #composition

The Modular Structure of Complex Systems (DLP, PCC, DMW), pp. 408–419.

VLDB-1983-AlbanoCOO #composition #concept #modelling

A Modularization Mechanism for Conceptual Modeling (AA, MC, MEO, RO), pp. 232–240.

ICALP-1983-Ganzinger #compilation #composition #data type #semantics

Modular Compiler Descriptions Based on Abstract Semantic Data Types (Extended Abstract) (HG), pp. 237–249.

DAC-1982-ShivaC #composition #simulation #synthesis #using

Modular description/simulation/synthesis using DDL (SGS, JAC), pp. 321–329.

ICALP-1982-BackM #composition #locality

Locality in Modular Systems (RJB, HM), pp. 1–13.

POPL-1982-HailpernO #composition #concurrent #source code #verification

Modular Verification of Concurrent Programs (BH, SSO), pp. 322–336.

ICSE-1981-CashinJKL #composition #experience

Experience with a Modular Typed Language: PROTEL (PMC, MLJ, RFK, DML), pp. 136–143.

ICSE-1981-WoodfieldDS #composition #comprehension

The Effect of Modularization and Comments on Program Comprehension (SNW, HED, VYS), pp. 215–223.

ICSE-1979-Cristian #composition

A Recovery Mechanism for Modular Software (FC), pp. 42–51.

VLDB-1978-OzkarahanO #composition #database

Microprocessor Based Modular Database Processors (EAO, KO), pp. 300–311.

DIPL-1976-Jackson #composition #parallel

Parallel processing and modular software construction (KJ), pp. 436–443.

SOSP-J-1975-HabermannFC76 #composition #operating system #product line

Modularization and Hierarchy in a Family of Operating Systems (ANH, LF, LWC), pp. 266–272.

DAC-1972-Schmidt #composition #network

Gate for gate modular replacement of combinational switching networks (DCS), pp. 331–340.

DAC-1968-FreemanR #automation #composition #design #hardware #named

GENDA — a generalized design automation system for modular hardware (MFF, MR).