BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
encapsulation
Google encapsulation

Tag #encapsulation

68 papers:

ECOOPECOOP-2019-WattMKG #first-order #logic
A Program Logic for First-Order Encapsulated WebAssembly (CW, PM, NRK, PG), p. 30.
POPLPOPL-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.
POPLPOPL-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.
ICSMEICSME-2014-BouwersDV #architecture
Quantifying the Encapsulation of Implemented Software Architectures (EB, AvD, JV), pp. 211–220.
ESOPESOP-2014-ZomerGRS
Checking Linearizability of Encapsulated Extended Operations (OZ, GGG, GR, MS), pp. 311–330.
PPDPPPDP-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.
SACSAC-OOPS-J-2009-LievensH13 #abstraction #implementation #multi #symmetry
Abstraction over implementation structure with symmetrically encapsulated multimethods (DL, WH), pp. 953–968.
SIGMODSIGMOD-2012-BoltonIRT #declarative #development #javascript #web
Declarative web application development: encapsulating dynamic JavaScript widgets (RB, DI, CR, KLT), p. 863.
HPDCHPDC-2012-MooreK #framework #logic #performance
A resiliency model for high performance infrastructure based on logical encapsulation (JJM, CK), pp. 283–294.
SCAMSCAM-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.
CBSECBSE-2009-LauO #calculus #component #composition
Control Encapsulation: A Calculus for Exogenous Composition of Software Components (KKL, MO), pp. 121–139.
MODELSMoDELS-2009-KraemerH #automation #development #incremental #process #uml #verification
Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
MODELSMoDELS-2009-KraemerH #automation #development #incremental #process #uml #verification
Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
SACSAC-2009-LievensH #multi #symmetry
Symmetric encapsulated multi-methods to abstract over application structure (DL, WH), pp. 1873–1880.
ICLPICLP-2009-Moura #effectiveness #prolog #reuse
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse (PM), p. 23.
CBSECBSE-2007-LauT #component
Data Encapsulation in Software Components (KKL, FMT), pp. 1–16.
OOPSLAOOPSLA-2007-MaF #alias #java
Inferring aliasing and encapsulation properties for java (KKM, JSF), pp. 423–440.
SACSAC-OOPS-J-2006-BeugnardS07
Method Overloading and Overriding Cause Distribution Transparency and Encapsulation Flaws (AB, SS), pp. 31–45.
ESOPESOP-2007-RinetzkyPRSY #analysis #composition #source code
Modular Shape Analysis for Dynamically Encapsulated Programs (NR, APH, GR, MS, EY), pp. 220–236.
CBSECBSE-2006-LauT #component #towards
Towards Encapsulating Data in Component-Based Software Systems (KKL, FMT), pp. 376–384.
POPLPOPL-2006-LuP #representation
Protecting representation with effect encapsulation (YL, JP), pp. 359–371.
SACSAC-2006-Beugnard #assembly #component #empirical
Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components (AB), pp. 1424–1428.
WICSAWICSA-2005-BassIKMW #quality
Encapsulating Quality Attribute Knowledge (LB, JI, MK, PM, KCW), pp. 193–194.
DocEngDocEng-2005-MacdonaldBB #component #using
Encapsulating and manipulating component object graphics (COGs) using SVG (AJM, DFB, SRB), pp. 61–63.
ECOOPECOOP-2005-BanerjeeN
State Based Ownership, Reentrance, and Encapsulation (AB, DAN), pp. 387–411.
PLDIPLDI-2005-KrishnaswamiA #higher-order
Permission-based ownership: encapsulating state in higher-order typed languages (NRK, JA), pp. 96–106.
FASEFASE-2005-Naumann
Observational Purity and Encapsulation (DAN), pp. 190–204.
ECOOPECOOP-2004-ScharliDNW #composition #policy
Composable Encapsulation Policies (NS, SD, ON, RW), pp. 26–50.
OOPSLAOOPSLA-2004-ScharliBD #object-oriented
Object-oriented encapsulation for dynamically typed languages (NS, APB, SD), pp. 130–149.
POPLPOPL-2003-BoyapatiLS
Ownership types for object encapsulation (CB, BL, LS), pp. 213–223.
OOPSLAOOPSLA-2002-ClarkeD
Ownership, encapsulation and the disjointness of type and effect (DGC, SD), pp. 292–310.
TOOLSTOOLS-USA-2002-BackerDS #education #eiffel #web #web service
An Encapsulated Eiffel Education Environment, based on Web Services (MDB, GD, MS), pp. 97–106.
AdaEuropeAdaEurope-2002-DoudouGG #detection
Encapsulating Failure Detection: From Crash to Byzantine Failures (AD, BG, RG), pp. 24–50.
WCREWCRE-2001-MiecznikowskiH #java #staged #using
Decompiling Java Using Staged Encapsulation (JM, LJH), pp. 368–374.
FLOPSFLOPS-2001-Kagawa #monad #stack
Monadic Encapsulation with Stack of Regions (KK), pp. 264–279.
VISSOFTSVIS-2001-Noble #abstraction #alias #visualisation
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership (JN), pp. 58–72.
ECOOPECOOP-2001-BibersteinGP
Sealing, Encapsulation, and Mutability (MB, JYG, SP), pp. 28–52.
OOPSLAOOPSLA-2001-GrothoffPV
Encapsulating Objects with Confined Types (CG, JP, JV), pp. 241–253.
ASEASE-2001-ArdourelH #graph #tool support
AGATE, Access Graph-Based Tools for Handling Encapsulation (GA, MH), pp. 311–314.
TOOLSTOOLS-EUROPE-2000-Noble
Iterators and Encapsulation (JN), pp. 431–442.
FLOPSFLOPS-1999-Lux #functional #implementation #lazy evaluation #logic
Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.
ICFPICFP-1999-SemmelrothS #ml #monad
Monadic Encapsulation in ML (MS, AS), pp. 8–17.
HPDCHPDC-1999-ReneP #corba #parallel #using
MPI Code Encapsulating using Parallel CORBA Object (CR, TP), pp. 3–10.
TPDLECDL-1998-MarazakisPP #framework
A Framework for the Encapsulation of Value-Added Services in Digital Objects (MM, DP, SAP), pp. 75–94.
ICSMEICSM-1998-Tonella #diagrams #memory management #using
Using the O-A Diagram to Encapsulate Dynamic Memory Access (PT), pp. 326–335.
PPDPALP-PLILP-1998-LiptonM #constraints #logic programming
Encapsulating Data in Logic Programming via Categorial Constraints (JL, RM), pp. 391–410.
ASEASE-1998-ReyesR #ada #testing
Specification-based Testing of Ada Units with Low Encapsulation (AAR, DJR), pp. 22–31.
TPDLECDL-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.
CSEETCSEET-1997-BudgenB #education #empirical #re-engineering
Encapsulating Empirical Practices within the Software Engineering Curriculum (DB, PB), pp. 111–119.
WCREWCRE-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.
EDOCEDOC-1997-Kindel #black box #interface #multi #named #what
COM: what makes it work, black-box encapsulation through multiple, immutable interfaces (CK), pp. 68–77.
ECOOPECOOP-1997-BicarreguiLM #approach
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation (JB, KL, TSEM), pp. 324–343.
TOOLSTOOLS-USA-1997-Ege #design
Class Design: Advanced Encapsulation Techniques (RKE), p. 376.
WCREWCRE-1996-Sneed #legacy
Encapsulating Legacy Software for Use in Client/Server Systems (HMS), p. 104–?.
OOPSLAOOPSLA-1995-Riehle #how #why
How and Why to Encapsulate Class Trees (DR), pp. 251–264.
PPDPPLILP-1994-BugliesiJ #logic #object-oriented
A Logic for Encapsulation in Object Oriented Languages (MB, HMJ), pp. 215–229.
FSEFSE-1994-BowdidgeG #automation #data type
Automated Support for Encapsulating Abstract Data Types (RWB, WGG), pp. 97–110.
ICLPILPS-1994-SchulteS #concurrent #constraints #higher-order #programming
Encapsulated Search for Higher-order Concurrent Constraint Programming (CS, GS), pp. 505–520.
CHIINTERCHI-1993-VanderdoncktB #automation #interactive
Encapsulating knowledge for intelligent automatic interaction objects selection (JV, FB), pp. 424–429.
CIKMCIKM-1993-Xie #optimisation #query
Optimization of Object Queries Containing Encapsulated Methods (ZX), pp. 451–460.
ECOOPECOOP-1993-BlackI
Encapsulating Plurality (APB, MPI), pp. 57–79.
OOPSLAOOPSLA-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.
TOOLSTOOLS-USA-1993-RowleyC #constraints #database #detection #maintenance #named #object-oriented
Detectors: Encapsulating Constraint Maintenance in Object-Oriented Databases (MR, WWC), pp. 439–452.
SIGMODSIGMOD-1990-Graefe #parallel #query
Encapsulation of Parallelism in the Volcano Query Processing System (GG), pp. 102–111.
CHICHI-1989-Myers #behaviour #interactive
Encapsulating interactive behaviors (BAM), pp. 319–324.
OOPSLAOOPSLA-1986-Snyder #inheritance #object-oriented #programming language
Encapsulation and Inheritance in Object-Oriented Programming Languages (AS), pp. 38–45.
POPLPOPL-1978-DemersDS #data type #morphism #polymorphism
Data Types as Values: Polymorphism, Type-Checking, Encapsulation (AJD, JED, GS), pp. 23–30.
AdaDIPL-1976-DemersDTW #data type
Encapsulated data types and generic (AJD, JED, RTT, JHW), pp. 171–214.

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