Stem encapsul$ (all stems)

66 papers:

ESOP-2014-ZomerGRS #encapsulation

Checking Linearizability of Encapsulated Extended Operations (OZ, GGG, GR, MS), pp. 311–330.

ICSME-2014-BouwersDV #architecture #encapsulation

Quantifying the Encapsulation of Implemented Software Architectures (EB, AvD, JV), pp. 211–220.

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

SAC-OOPS-J-2009-LievensH13 #abstraction #encapsulation #implementation #multi #symmetry

Abstraction over implementation structure with symmetrically encapsulated multimethods (DL, WH), pp. 953–968.

SIGMOD-2012-BoltonIRT #declarative #development #encapsulation #javascript #web

Declarative web application development: encapsulating dynamic JavaScript widgets (abstract only) (RB, DI, CR, KLT), p. 863.

HPDC-2012-MooreK #encapsulation #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 #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.

CBSE-2009-LauO #calculus #component #composition #encapsulation

Control Encapsulation: A Calculus for Exogenous Composition of Software Components (KKL, MO), pp. 121–139.

MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification

Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.

MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification

Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.

SAC-2009-LievensH #encapsulation #multi #symmetry

Symmetric encapsulated multi-methods to abstract over application structure (DL, WH), pp. 1873–1880.

ICLP-2009-Moura #effectiveness #encapsulation #prolog #reuse

From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse (PM), p. 23.

CBSE-2007-LauT #component #encapsulation

Data Encapsulation in Software Components (KKL, FMT), pp. 1–16.

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

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

OOPSLA-2007-MaF #alias #encapsulation #java

Inferring aliasing and encapsulation properties for java (KKM, JSF), pp. 423–440.

SAC-OOPS-J-2006-BeugnardS07 #encapsulation

Method Overloading and Overriding Cause Distribution Transparency and Encapsulation Flaws (AB, SS), pp. 31–45.

CBSE-2006-LauT #component #encapsulation #towards

Towards Encapsulating Data in Component-Based Software Systems (KKL, FMT), pp. 376–384.

POPL-2006-LuP #encapsulation #representation

Protecting representation with effect encapsulation (YL, JP), pp. 359–371.

SAC-2006-Beugnard #assembly #component #empirical #encapsulation

Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components (AB), pp. 1424–1428.

WICSA-2005-BassIKMW #encapsulation #quality

Encapsulating Quality Attribute Knowledge (LB, JI, MK, PM, KCW), pp. 193–194.

DocEng-2005-MacdonaldBB #component #encapsulation #using

Encapsulating and manipulating component object graphics (COGs) using SVG (AJM, DFB, SRB), pp. 61–63.

FASE-2005-Naumann #encapsulation

Observational Purity and Encapsulation (DAN), pp. 190–204.

PLDI-2005-KrishnaswamiA #encapsulation #higher-order

Permission-based ownership: encapsulating state in higher-order typed languages (NRK, JA), pp. 96–106.

ECOOP-2005-BanerjeeN #encapsulation

State Based Ownership, Reentrance, and Encapsulation (AB, DAN), pp. 387–411.

ECOOP-2004-ScharliDNW #composition #encapsulation #policy

Composable Encapsulation Policies (NS, SD, ON, RW), pp. 26–50.

OOPSLA-2004-ScharliBD #encapsulation #object-oriented

Object-oriented encapsulation for dynamically typed languages (NS, APB, SD), pp. 130–149.

POPL-2003-BoyapatiLS #encapsulation

Ownership types for object encapsulation (CB, BL, LS), pp. 213–223.

AdaEurope-2002-DoudouGG #detection #encapsulation

Encapsulating Failure Detection: From Crash to Byzantine Failures (AD, BG, RG), pp. 24–50.

OOPSLA-2002-ClarkeD #encapsulation

Ownership, encapsulation and the disjointness of type and effect (DGC, SD), pp. 292–310.

TOOLS-USA-2002-BackerDS #education #eiffel #encapsulation #web #web service

An Encapsulated Eiffel Education Environment, based on Web Services (MDB, GD, MS), pp. 97–106.

ASE-2001-ArdourelH #encapsulation #graph #tool support

AGATE, Access Graph-Based Tools for Handling Encapsulation (GA, MH), pp. 311–314.

WCRE-2001-MiecznikowskiH #encapsulation #java #staged #using

Decompiling Java Using Staged Encapsulation (JM, LJH), pp. 368–374.

FLOPS-2001-Kagawa #encapsulation #monad #stack

Monadic Encapsulation with Stack of Regions (KK), pp. 264–279.

SVIS-2001-Noble #abstraction #alias #encapsulation #visualisation

Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership (JN), pp. 58–72.

ECOOP-2001-BibersteinGP #encapsulation

Sealing, Encapsulation, and Mutability (MB, JYG, SP), pp. 28–52.

OOPSLA-2001-GrothoffPV #encapsulation

Encapsulating Objects with Confined Types (CG, JP, JV), pp. 241–253.

TOOLS-EUROPE-2000-Noble #encapsulation

Iterators and Encapsulation (JN), pp. 431–442.

FLOPS-1999-Lux #encapsulation #functional #implementation #lazy evaluation #logic

Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.

ICFP-1999-SemmelrothS #encapsulation #ml #monad

Monadic Encapsulation in ML (MS, AS), pp. 8–17.

HPDC-1999-ReneP #corba #encapsulation #parallel #using

MPI Code Encapsulating using Parallel CORBA Object (CR, TP), pp. 3–10.

ASE-1998-ReyesR #ada #encapsulation #testing

Specification-based Testing of Ada Units with Low Encapsulation (AAR, DJR), pp. 22–31.

DAC-1998-SuttonD #approach #framework

Framework Encapsulations: A New Approach to CAD Tool Interoperability (PRS, SWD), pp. 134–139.

ICSM-1998-Tonella #diagrams #encapsulation #memory management #using

Using the O-A Diagram to Encapsulate Dynamic Memory Access (PT), pp. 326–335.

ALP-PLILP-1998-LiptonM #constraints #encapsulation #logic programming

Encapsulating Data in Logic Programming via Categorial Constraints (JL, RM), pp. 391–410.

ASE-1997-GirardKS #approach #data type #detection

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations (JFG, RK, GS), pp. 82–89.

CSEET-1997-BudgenB #education #empirical #encapsulation #re-engineering

Encapsulating Empirical Practices within the Software Engineering Curriculum (DB, PB), pp. 111–119.

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

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

ECOOP-1997-BicarreguiLM #approach #encapsulation

Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation (JB, KL, TSEM), pp. 324–343.

TOOLS-USA-1997-Ege #design #encapsulation

Class Design: Advanced Encapsulation Techniques (RKE), p. 376.

WCRE-1996-Sneed #encapsulation #legacy

Encapsulating Legacy Software for Use in Client/Server Systems (HMS), p. 104–?.

OOPSLA-1995-Riehle #encapsulation #how #why

How and Why to Encapsulate Class Trees (DR), pp. 251–264.

PLILP-1994-BugliesiJ #encapsulation #logic #object-oriented

A Logic for Encapsulation in Object Oriented Languages (MB, HMJ), pp. 215–229.

FSE-1994-BowdidgeG #automation #data type #encapsulation

Automated Support for Encapsulating Abstract Data Types (RWB, WGG), pp. 97–110.

ILPS-1994-SchulteS #concurrent #constraints #encapsulation #higher-order #programming

Encapsulated Search for Higher-order Concurrent Constraint Programming (CS, GS), pp. 505–520.

INTERCHI-1993-VanderdoncktB #automation #encapsulation #interactive

Encapsulating knowledge for intelligent automatic interaction objects selection (JV, FB), pp. 424–429.

CIKM-1993-Xie #encapsulation #optimisation #query

Optimization of Object Queries Containing Encapsulated Methods (ZX), pp. 451–460.

ECOOP-1993-BlackI #encapsulation

Encapsulating Plurality (APB, MPI), pp. 57–79.

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

TOOLS-USA-1993-RowleyC #constraints #database #detection #encapsulation #maintenance #named #object-oriented

Detectors: Encapsulating Constraint Maintenance in Object-Oriented Databases (MR, WWC), pp. 439–452.

SIGMOD-1990-Graefe #encapsulation #parallel #query

Encapsulation of Parallelism in the Volcano Query Processing System (GG), pp. 102–111.

CHI-1989-Myers #behaviour #encapsulation #interactive

Encapsulating interactive behaviors (BAM), pp. 319–324.

OOPSLA-1986-Pascoe #named #paradigm

Encapsulators: A New Software Paradigm in Smalltalk-80 (GAP), pp. 341–346.

OOPSLA-1986-Snyder #encapsulation #inheritance #object-oriented #programming language

Encapsulation and Inheritance in Object-Oriented Programming Languages (AS), pp. 38–45.

POPL-1978-DemersDS #data type #encapsulation #morphism #polymorphism

Data Types as Values: Polymorphism, Type-Checking, Encapsulation (AJD, JED, GS), pp. 23–30.

DIPL-1976-DemersDTW #data type #encapsulation

Encapsulated data types and generic (AJD, JED, RTT, JHW), pp. 171–214.