Tag #encapsulation
68 papers:
ECOOP-2019-WattMKG #first-order #logic- A Program Logic for First-Order Encapsulated WebAssembly (CW, PM, NRK, PG), p. 30.
POPL-2019-SkorstengaardDB #control flow #linear #named #stack #using- StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities (LS, DD, LB), p. 28.
- POPL-2018-TimanySKB #logic #monad #proving
- A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST (AT, LS, MKJ, LB), p. 28.
ICSME-2014-BouwersDV #architecture- Quantifying the Encapsulation of Implemented Software Architectures (EB, AvD, JV), pp. 211–220.
ESOP-2014-ZomerGRS - Checking Linearizability of Encapsulated Extended Operations (OZ, GGG, GR, MS), pp. 311–330.
PPDP-2013-ChristiansenHRS #functional #logic programming #semantics #source code- A semantics for weakly encapsulated search in functional logic programs (JC, MH, FR, DS), pp. 49–60.
SAC-OOPS-J-2009-LievensH13 #abstraction #implementation #multi #symmetry- Abstraction over implementation structure with symmetrically encapsulated multimethods (DL, WH), pp. 953–968.
SIGMOD-2012-BoltonIRT #declarative #development #javascript #web- Declarative web application development: encapsulating dynamic JavaScript widgets (RB, DI, CR, KLT), p. 863.
HPDC-2012-MooreK #framework #logic #performance- A resiliency model for high performance infrastructure based on logical encapsulation (JJM, CK), pp. 283–294.
SCAM-2010-KatsV #aspect-oriented #case study #framework #logic #platform #programming #using- Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability (LCLK, EV), pp. 147–156.
CBSE-2009-LauO #calculus #component #composition- Control Encapsulation: A Calculus for Exogenous Composition of Software Components (KKL, MO), pp. 121–139.
MoDELS-2009-KraemerH #automation #development #incremental #process #uml #verification- Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
- MoDELS-2009-KraemerH #automation #development #incremental #process #uml #verification
- Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
- SAC-2009-LievensH #multi #symmetry
- Symmetric encapsulated multi-methods to abstract over application structure (DL, WH), pp. 1873–1880.
ICLP-2009-Moura #effectiveness #prolog #reuse- From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse (PM), p. 23.
- CBSE-2007-LauT #component
- Data Encapsulation in Software Components (KKL, FMT), pp. 1–16.
OOPSLA-2007-MaF #alias #java- Inferring aliasing and encapsulation properties for java (KKM, JSF), pp. 423–440.
- SAC-OOPS-J-2006-BeugnardS07
- Method Overloading and Overriding Cause Distribution Transparency and Encapsulation Flaws (AB, SS), pp. 31–45.
- ESOP-2007-RinetzkyPRSY #analysis #composition #source code
- Modular Shape Analysis for Dynamically Encapsulated Programs (NR, APH, GR, MS, EY), pp. 220–236.
- CBSE-2006-LauT #component #towards
- Towards Encapsulating Data in Component-Based Software Systems (KKL, FMT), pp. 376–384.
- POPL-2006-LuP #representation
- Protecting representation with effect encapsulation (YL, JP), pp. 359–371.
- SAC-2006-Beugnard #assembly #component #empirical
- Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components (AB), pp. 1424–1428.
WICSA-2005-BassIKMW #quality- Encapsulating Quality Attribute Knowledge (LB, JI, MK, PM, KCW), pp. 193–194.
DocEng-2005-MacdonaldBB #component #using- Encapsulating and manipulating component object graphics (COGs) using SVG (AJM, DFB, SRB), pp. 61–63.
- ECOOP-2005-BanerjeeN
- State Based Ownership, Reentrance, and Encapsulation (AB, DAN), pp. 387–411.
PLDI-2005-KrishnaswamiA #higher-order- Permission-based ownership: encapsulating state in higher-order typed languages (NRK, JA), pp. 96–106.
FASE-2005-Naumann - Observational Purity and Encapsulation (DAN), pp. 190–204.
- ECOOP-2004-ScharliDNW #composition #policy
- Composable Encapsulation Policies (NS, SD, ON, RW), pp. 26–50.
- OOPSLA-2004-ScharliBD #object-oriented
- Object-oriented encapsulation for dynamically typed languages (NS, APB, SD), pp. 130–149.
- POPL-2003-BoyapatiLS
- Ownership types for object encapsulation (CB, BL, LS), pp. 213–223.
- OOPSLA-2002-ClarkeD
- Ownership, encapsulation and the disjointness of type and effect (DGC, SD), pp. 292–310.
TOOLS-USA-2002-BackerDS #education #eiffel #web #web service- An Encapsulated Eiffel Education Environment, based on Web Services (MDB, GD, MS), pp. 97–106.
AdaEurope-2002-DoudouGG #detection- Encapsulating Failure Detection: From Crash to Byzantine Failures (AD, BG, RG), pp. 24–50.
WCRE-2001-MiecznikowskiH #java #staged #using- Decompiling Java Using Staged Encapsulation (JM, LJH), pp. 368–374.
FLOPS-2001-Kagawa #monad #stack- Monadic Encapsulation with Stack of Regions (KK), pp. 264–279.
SVIS-2001-Noble #abstraction #alias #visualisation- Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership (JN), pp. 58–72.
- ECOOP-2001-BibersteinGP
- Sealing, Encapsulation, and Mutability (MB, JYG, SP), pp. 28–52.
- OOPSLA-2001-GrothoffPV
- Encapsulating Objects with Confined Types (CG, JP, JV), pp. 241–253.
ASE-2001-ArdourelH #graph #tool support- AGATE, Access Graph-Based Tools for Handling Encapsulation (GA, MH), pp. 311–314.
- TOOLS-EUROPE-2000-Noble
- Iterators and Encapsulation (JN), pp. 431–442.
- FLOPS-1999-Lux #functional #implementation #lazy evaluation #logic
- Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.
ICFP-1999-SemmelrothS #ml #monad- Monadic Encapsulation in ML (MS, AS), pp. 8–17.
- HPDC-1999-ReneP #corba #parallel #using
- MPI Code Encapsulating using Parallel CORBA Object (CR, TP), pp. 3–10.
ECDL-1998-MarazakisPP #framework- A Framework for the Encapsulation of Value-Added Services in Digital Objects (MM, DP, SAP), pp. 75–94.
- ICSM-1998-Tonella #diagrams #memory management #using
- Using the O-A Diagram to Encapsulate Dynamic Memory Access (PT), pp. 326–335.
- ALP-PLILP-1998-LiptonM #constraints #logic programming
- Encapsulating Data in Logic Programming via Categorial Constraints (JL, RM), pp. 391–410.
- ASE-1998-ReyesR #ada #testing
- Specification-based Testing of Ada Units with Low Encapsulation (AAR, DJR), pp. 22–31.
- ECDL-1997-DartoisSSTMF #approach #documentation #multi #on the fly #set
- Building a Multi-lingual Electronic Text Collection of Folk Tales as a Set of Encapsulated Document Objects: An Approach for Casual Users to Browse Multi-lingual Documents on the Fly (MD, AM, TF, TS, SS, KT), pp. 215–231.
CSEET-1997-BudgenB #education #empirical #re-engineering- Encapsulating Empirical Practices within the Software Engineering Curriculum (DB, PB), pp. 111–119.
- WCRE-1997-GirardKS #architecture #comparison #comprehension #data type #detection
- Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding (JFG, RK, GS), pp. 66–75.
EDOC-1997-Kindel #black box #interface #multi #named #what- COM: what makes it work, black-box encapsulation through multiple, immutable interfaces (CK), pp. 68–77.
- ECOOP-1997-BicarreguiLM #approach
- Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation (JB, KL, TSEM), pp. 324–343.
- TOOLS-USA-1997-Ege #design
- Class Design: Advanced Encapsulation Techniques (RKE), p. 376.
- WCRE-1996-Sneed #legacy
- Encapsulating Legacy Software for Use in Client/Server Systems (HMS), p. 104–?.
- OOPSLA-1995-Riehle #how #why
- How and Why to Encapsulate Class Trees (DR), pp. 251–264.
- PLILP-1994-BugliesiJ #logic #object-oriented
- A Logic for Encapsulation in Object Oriented Languages (MB, HMJ), pp. 215–229.
FSE-1994-BowdidgeG #automation #data type- Automated Support for Encapsulating Abstract Data Types (RWB, WGG), pp. 97–110.
- ILPS-1994-SchulteS #concurrent #constraints #higher-order #programming
- Encapsulated Search for Higher-order Concurrent Constraint Programming (CS, GS), pp. 505–520.
INTERCHI-1993-VanderdoncktB #automation #interactive- Encapsulating knowledge for intelligent automatic interaction objects selection (JV, FB), pp. 424–429.
CIKM-1993-Xie #optimisation #query- Optimization of Object Queries Containing Encapsulated Methods (ZX), pp. 451–460.
- ECOOP-1993-BlackI
- Encapsulating Plurality (APB, MPI), pp. 57–79.
- OOPSLA-1993-MatsuokaTY #concurrent #object-oriented #performance #using
- Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages (SM, KT, AY), pp. 109–126.
- TOOLS-USA-1993-RowleyC #constraints #database #detection #maintenance #named #object-oriented
- Detectors: Encapsulating Constraint Maintenance in Object-Oriented Databases (MR, WWC), pp. 439–452.
- SIGMOD-1990-Graefe #parallel #query
- Encapsulation of Parallelism in the Volcano Query Processing System (GG), pp. 102–111.
- CHI-1989-Myers #behaviour #interactive
- Encapsulating interactive behaviors (BAM), pp. 319–324.
- OOPSLA-1986-Snyder #inheritance #object-oriented #programming language
- Encapsulation and Inheritance in Object-Oriented Programming Languages (AS), pp. 38–45.
- POPL-1978-DemersDS #data type #morphism #polymorphism
- Data Types as Values: Polymorphism, Type-Checking, Encapsulation (AJD, JED, GS), pp. 23–30.
DIPL-1976-DemersDTW #data type- Encapsulated data types and generic (AJD, JED, RTT, JHW), pp. 171–214.
