BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
object (14)
type (11)
base (8)
softwar (8)
abstract (8)

Stem encapsul$ (all stems)

66 papers:

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