Search results for "encapsulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Nathanael Schärli, Andrew P. Black, Stéphane Ducasse	Object-oriented encapsulation for dynamically typed languages.	OOPSLA	2004	DBLP DOI BibTeX RDF	encapsulation policies, information hiding, smalltalk, encapsulation, dynamic typing
3	R. Paul Wiegand, Gautham Anil, Ivan I. Garibay, Ozlem O. Garibay, Annie S. Wu	On the performance effects of unbiased module encapsulation.	GECCO	2009	DBLP DOI BibTeX RDF	module encapsulation, search space bias, runtime analysis
3	Takahiro Matsuda 0002, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai	An Efficient Encapsulation Scheme from Near Collision Resistant Pseudorandom Generators and Its Application to IBE-to-PKE Transformations.	CT-RSA	2009	DBLP DOI BibTeX RDF	IND-CCA security, encapsulation, public key encryption, identity-based encryption, pseudorandom generator
3	Jong Hwan Park, Ki Tak Kim, Dong Hoon Lee	Cryptanalysis and improvement of a multi-receiver identity-based key encapsulation at INDOCRYPT 06.	ASIACCS	2008	DBLP DOI BibTeX RDF	multi-receiver identity-based key encapsulation
3	David A. Naumann	On assertion-based encapsulation for object invariants and simulations.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Object invariants, Encapsulation and abstraction, Separation and alias control
3	Lei Wu, Xiangxu Meng, Shijun Liu	Service-oriented encapsulation of manufacturing resources.	IEEE SCC	2007	DBLP DOI BibTeX RDF	service-oriented, encapsulation, Web Service Resource Framework (WSRF)
3	Kin-Keung Ma, Jeffrey S. Foster	Inferring aliasing and encapsulation properties for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness
3	Yuan He, Tao Yu, Bin Shen	Research on WSRF-Based Resource Management Model and Encapsulation in Manufacturing Grid.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Resource encapsulation, Web service, Resource management, WSRF, Manufacturing Grid (MG)
3	Yi Lu 0003, John Potter	Protecting representation with effect encapsulation.	POPL	2006	DBLP DOI BibTeX RDF	object encapsulation, representation exposure, types, ownership types, effect systems
3	Antoine Beugnard	Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components.	SAC	2006	DBLP DOI BibTeX RDF	objet oriented language interoperability, software component, encapsulation
3	Jung Ha Hong, Oleg Gusak, Khosrow Sohraby, Neal Oliver	Performance Analysis of Packet Encapsulation and Aggregation.	MASCOTS	2006	DBLP DOI BibTeX RDF	batch service queues, quasi birth-death Markov chain, probability generating function, aggregation, Encapsulation
3	Manuel Barbosa, Pooya Farshim	Efficient Identity-Based Key Encapsulation to Multiple Parties.	IMA Int. Conf.	2005	DBLP DOI BibTeX RDF	Key Encapsulation Mechanism (KEM), Provable Security, Identity Based Cryptography, Hybrid Encryption
3	Martijn Stam	A Key Encapsulation Mechanism for NTRU.	IMA Int. Conf.	2005	DBLP DOI BibTeX RDF	Key Encapsulation, Random Oracle Model, NTRU, Plaintext Awareness
3	Michael R. Wick, Daniel E. Stevenson, Andrew T. Phillips	Seven design rules for teaching students sound encapsulation and abstraction of object properties and member data.	SIGCSE	2004	DBLP DOI BibTeX RDF	accessors, abstraction, mutators, encapsulation
3	Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira	Ownership types for object encapsulation.	POPL	2003	DBLP DOI BibTeX RDF	object encapsulation, ownership types, software upgrades
3	David G. Clarke, Sophia Drossopoulou	Ownership, encapsulation and the disjointness of type and effect.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasing, encapsulation, ownership types, type-and-effects systems
3	Rebecca Matson	Re-forming information: a case study in teaching content encapsulation.	SIGDOC	2001	DBLP DOI BibTeX RDF	encapsulated content, information encapsulation, information design
3	Jerome Miecznikowski, Laurie J. Hendren	Decompiling Java Using Staged Encapsulation. (PDF / PS)	WCRE	2001	DBLP DOI BibTeX RDF	Java Decompile Soot Dava Staged Encapsulation Sable
3	Robert W. Bowdidge, William G. Griswold	How Software Engineering Tools Organize Programmer Behavior During the Task of Data Encapsulation.	Empirical Software Engineering	1997	DBLP DOI BibTeX RDF	empirical study, software tools, restructuring, data encapsulation
3	Charles Kindel	COM: what makes it work, black-box encapsulation through multiple, immutable interfaces. (PDF / PS)	EDOC	1997	DBLP DOI BibTeX RDF	commercial reality, black box-encapsulation, interface immutability, programming, multiple interfaces, component system, component object model, location transparency
3	Houari A. Sahraoui, Walcélio L. Melo, Hakim Lounis, F. Dumont	Applying Concept Formation Methods to Object Identification in Procedural Code. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	concept formation methods, procedural code, legacy software systems, computer-supported approach, procedural software systems, modularity, flexibility, information hiding, reusability, maintainability, encapsulation, expandability, object-oriented technology, object identification, data encapsulation
3	Sahng-Mann Han	Is OO Working as It Promised? (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	OO software development paradigm, operator polymorphism, reusable component libraries, software development time, business organisations, software engineering, data structures, object-oriented programming, software maintenance, software development, abstraction, requirements, inheritance, inheritance, reusability, object-oriented methods, encapsulation, business data processing, object-oriented paradigm, code size, data encapsulation, software applications
3	Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth	The Effects of Layering and Encapsulation on Software Development Cost and Quality.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Empirical study, software development, software reuse, software components, abstract data types, encapsulation
3	Hyun C. Kim, V. S. S. Nair	Application layer software fault tolerance for distributed object-oriented systems. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	application layer software fault tolerance, object failures, active object replication schemes, common interface, object-oriented programming, distributed processing, software fault tolerance, encapsulation, replicated objects, data encapsulation, distributed object-oriented systems, hardware failures
2	Tony Gorschek, Ewan D. Tempero, Lefteris Angelis	A large-scale empirical study of practitioners' use of object-oriented concepts.	ICSE	2010	DBLP DOI BibTeX RDF	inheritance depth, number of methods, survey, encapsulation
2	Paulo Moura	From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.	ICLP	2009	DBLP DOI BibTeX RDF
2	Michel Abdalla, Dario Catalano, Dario Fiore	Verifiable Random Functions from Identity-Based Key Encapsulation.	EUROCRYPT	2009	DBLP DOI BibTeX RDF
2	Kung-Kiu Lau, Mario Ornaghi	Control Encapsulation: A Calculus for Exogenous Composition of Software Components.	CBSE	2009	DBLP DOI BibTeX RDF
2	Fagen Li, Masaaki Shirase, Tsuyoshi Takagi	Efficient Signcryption Key Encapsulation without Random Oracles.	Inscrypt	2008	DBLP DOI BibTeX RDF	Hybrid signcryption, KEM, tag-KEM, standard model
2	Yong Cao, Qingxin Zhu	Improved Metrics for Encapsulation Based on Information Hiding.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Faezeh Ensan, Weichang Du	An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF
2	Ralph Acker, Christian Roth, Rudolf Bayer	Parallel Query Processing in Databases on Multicore Architectures.	ICA3PP	2008	DBLP DOI BibTeX RDF	relational dbms, intra-operator, inter-operator, scheduling, optimization, encapsulation, parallel query processing
2	Tamar Benaya, Ela Zur	Understanding Object Oriented Programming Concepts in an Advanced Programming Course.	ISSEP	2008	DBLP DOI BibTeX RDF	Object Oriented Programming, Inheritance, Polymorphism, Encapsulation
2	Philipp Bouillon, Eric Großkinsky, Friedrich Steimann	Controlling Accessibility in Agile Projects with the Access Modifier Modifier.	TOOLS	2008	DBLP DOI BibTeX RDF	Design, Refactoring, Tool support, Encapsulation, Agile software development
2	Masayuki Abe, Rosario Gennaro, Kaoru Kurosawa	Tag-KEM/DEM: A New Framework for Hybrid Encryption.	J. Cryptology	2008	DBLP DOI BibTeX RDF	Tag-KEM, Key encapsulation, Threshold encryption, Hybrid encryption
2	Chee-Hong Teh, Tat Chee Wan, Rahmat Budiarto, Way-Chuang Ang	Unidirectional Lightweight Encapsulation with Header Compression for IP Based Satellite Communication over DVB-S.	AINTEC	2007	DBLP DOI BibTeX RDF
2	Qiong Huang, Duncan S. Wong	Generic Certificateless Key Encapsulation Mechanism.	ACISP	2007	DBLP DOI BibTeX RDF
2	Raphael C.-W. Phan, Serge Vaudenay	Security-Preserving Asymmetric Protocol Encapsulation.	ICISC	2007	DBLP DOI BibTeX RDF
2	Yongdong Wu, Feng Bao, Robert H. Deng, Marc Mouffron, Frederic Rousseau	Enhanced Security by OS-Oriented Encapsulation in TPM-Enabled DRM.	Inscrypt	2007	DBLP DOI BibTeX RDF
2	Eike Kiltz	Chosen-Ciphertext Secure Key-Encapsulation Based on Gap Hashed Diffie-Hellman.	Public Key Cryptography	2007	DBLP DOI BibTeX RDF
2	Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers	Universe Types for Topology and Encapsulation.	FMCO	2007	DBLP DOI BibTeX RDF
2	Tatsuaki Okamoto	Authenticated Key Exchange and Key Encapsulation in the Standard Model.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
2	Dennis Hofheinz, Eike Kiltz	Secure Hybrid Encryption from Weakened Key Encapsulation.	CRYPTO	2007	DBLP DOI BibTeX RDF
2	Kung-Kiu Lau, Faris M. Taweel	Data Encapsulation in Software Components.	CBSE	2007	DBLP DOI BibTeX RDF
2	Stefan Wappler, Ina Schieferdecker	Improving evolutionary class testing in the presence of non-public methods.	ASE	2007	DBLP DOI BibTeX RDF	object-orientation, unit testing, encapsulation, evolutionary testing
2	Lei Wu, Xiangxu Meng, Shijun Liu	A Service-Oriented, Scalable Approach to Grid-Enabling of Manufacturing Resources.	CDVE	2007	DBLP DOI BibTeX RDF	manufacturing resource, grid, service-oriented, encapsulation, Web Service Resource Framework (WSRF)
2	Eike Kiltz, David Galindo	Direct Chosen-Ciphertext Secure Identity-Based Key Encapsulation Without Random Oracles.	ACISP	2006	DBLP DOI BibTeX RDF
2	Shinyoung Lim, Abdelsalam Helal	Encapsulation and Entity-Based Approach of Interconnection Between Sensor Platform and Middleware of Pervasive Computing.	UCS	2006	DBLP DOI BibTeX RDF
2	David Galindo, Eike Kiltz	Chosen-Ciphertext Secure Threshold Identity-Based Key Encapsulation Without Random Oracles.	SCN	2006	DBLP DOI BibTeX RDF
2	Neil Ongkingco, Pavel Avgustinov, Julian Tibble, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam	Adding open modules to AspectJ.	AOSD	2006	DBLP DOI BibTeX RDF	aspect-oriented programming, modularity, encapsulation
2	Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August	A framework for unrestricted whole-program optimization.	PLDI	2006	DBLP DOI BibTeX RDF	interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation
2	Peter Tabeling, Rasmus Hofmann	A Prototypical Platform for Architecture Oriented Development.	ECBS	2006	DBLP DOI BibTeX RDF	FundamentalModeling Concepts, Software architecture, transactions, inheritance, polymorphism, encapsulation, data consistency, STAGE, FMC
2	Manuel Barbosa, Pooya Farshim	Secure Cryptographic Workflow in the Standard Model.	INDOCRYPT	2006	DBLP DOI BibTeX RDF	Cryptographic Workflow, Key Encapsulation, Secret Sharing, Identity-Based Encryption
2	Andrew Waugh	The design of the VERS encapsulated object experience with an archival information package.	Int. J. on Digital Libraries	2006	DBLP DOI BibTeX RDF	Digital preservation, Encapsulation, OAIS
2	Andreas Roth	Specification and Verification of Encapsulation in Java Programs.	FMOODS	2005	DBLP DOI BibTeX RDF
2	Wolfgang De Meuter, Éric Tanter, Stijn Mostinckx, Tom Van Cutsem, Jessie Dedecker	Flexible object encapsulation for ambient-oriented programming.	DLS	2005	DBLP DOI BibTeX RDF
2	Bernhard Jung, Paolo Petta	Agent Encapsulation in a Cognitive Vision MAS.	CEEMAS	2005	DBLP DOI BibTeX RDF
2	Anindya Banerjee, David A. Naumann	State Based Ownership, Reentrance, and Encapsulation.	ECOOP	2005	DBLP DOI BibTeX RDF
2	Yu David Liu, Scott F. Smith	Interaction-based programming with classages.	OOPSLA	2005	DBLP DOI BibTeX RDF	classages, interaction, interface, encapsulation, relationship, confinement
2	Ivan I. Garibay, Ozlem O. Garibay, Annie S. Wu	Effects of Module Encapsulation in Repetitively Modular Genotypes on the Search Space.	GECCO	2004	DBLP DOI BibTeX RDF
2	Nigel P. Smart	Efficient Key Encapsulation to Multiple Parties.	SCN	2004	DBLP DOI BibTeX RDF
2	David A. Naumann	Assertion-Based Encapsulation, Object Invariants and Simulations.	FMCO	2004	DBLP DOI BibTeX RDF
2	Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts	Composable Encapsulation Policies.	ECOOP	2004	DBLP DOI BibTeX RDF
2	Donald Gordon, James Noble, Robert Biddle	ConstrainedJava.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	constraints, aliasing, encapsulation
2	Chik How Tan, Xun Yi, Chee Kheong Siew	A CCA2 Secure Key Encapsulation Scheme Based on 3rd Order Shift Registers.	ACISP	2003	DBLP DOI BibTeX RDF	adaptive chosen-ciphertext attack, Public key cryptosystem, shift registers
2	Jan Bredereke	On Feature Orientation and on Requirements Encapsulation Using Families of Requirements.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
2	Mark A. Holliday	Animation of computer networking concepts.	ACM Journal of Educational Resources in Computing	2003	DBLP DOI BibTeX RDF	Selective Repeat, hypertext transfer protocol., media access, fragmentation, encapsulation, error control, Java applets, Protocol stack, CSMA/CD, name resolution
2	Peter R. King, Jocelyne Nanard, Marc Nanard	Multimedia document engineering in MCF.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	modularity encapsulation, design, multimedia, reuse, abstraction, scenario, role, engineering
2	Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard	Ownership types for safe programming: preventing data races and deadlocks.	OOPSLA	2002	DBLP DOI BibTeX RDF	deadlocks, encapsulation, data races, ownership types
2	Jakob Jonsson, Burton S. Kaliski Jr.	On the Security of RSA Encryption in TLS.	CRYPTO	2002	DBLP DOI BibTeX RDF	key encapsulation, RSA encryption, TLS
2	Gilles Ardourel, Marianne Huchard	AGATE, Access Graph-Based Tools for Handling Encapsulation.	ASE	2001	DBLP DOI BibTeX RDF
2	Simon C. Roberts, Daniel Howard, John R. Koza	Evolving Modules in Genetic Programming by Subtree Encapsulation.	EuroGP	2001	DBLP DOI BibTeX RDF
2	Marina Biberstein, Joseph Gil, Sara Porat	Sealing, Encapsulation, and Mutability.	ECOOP	2001	DBLP DOI BibTeX RDF
2	Toufik Ahmed, Guillaume Buridant, Ahmed Mehaoua	Encapsulation and Marking of MPEG-4 Video Over IP Differentiated Services.	ISCC	2001	DBLP DOI BibTeX RDF
2	Paolo Tonella	Concept Analysis for Module Restructuring.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	modularization, reengineering, abstract data type, legacy systems, encapsulation, restructuring, Concept analysis
2	Yeongho Kim, Suk-Ho Kang, Dongsoo Kim, Joonsoo Bae, Kyung-Joon Ju	WW-FLOW: Web-Based Workflow Management with Runtime Encapsulation.	IEEE Internet Computing	2000	DBLP DOI BibTeX RDF
2	James Noble	Iterators and Encapsulation.	TOOLS	2000	DBLP DOI BibTeX RDF
2	Jun Sawada, Warren A. Hunt Jr.	Hardware Modeling Using Function Encapsulation.	FMCAD	2000	DBLP DOI BibTeX RDF
2	Anneke Kleppe, Jos Warmer	Making UML Activity Diagrams Object-Oriented.	TOOLS	2000	DBLP DOI BibTeX RDF	UML metamodel, UML semantics, UML, constraints, information hiding, delegation, encapsulation, responsibility, activity diagram, pre- and postconditions, flow diagrams
2	Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden	Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems.	APSEC	1999	DBLP DOI BibTeX RDF	Agent, Distributed, Multi-Agent, Interaction Protocol, ACL
2	James Noble, David G. Clarke, John Potter	Object Ownership for Dynamic Alias Protection.	TOOLS	1999	DBLP DOI BibTeX RDF	object-orientation, aliasing, encapsulation, ownership
2	Manolis Marazakis, Dimitris Papadakis, Stavros A. Papadakis	A Framework for the Encapsulation of Value-Added Services in Digital Objects.	ECDL	1998	DBLP DOI BibTeX RDF
2	Mengchi Liu	Incorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages.	DEXA	1998	DBLP DOI BibTeX RDF
2	Jean-Francois Girard, Rainer Koschke, Georg Schied	Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding. (PDF / PS)	WCRE	1997	DBLP DOI BibTeX RDF
2	Juan Bicarregui, Kevin Lano, T. S. E. Maibaum	Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.	ECOOP	1997	DBLP DOI BibTeX RDF
2	Amir A. Khwaja	Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	design rule checker, design rule checking systems, electronic design automation tools, semiconductor technology, DRC systems, DRC module, IC package design tool, object oriented modeling technique, abstraction, inheritance, extensibility, object oriented modeling, encapsulation, circuit CAD, dynamic binding, EDA tool
2	Ahmed Mehaoua, Raouf Boutaba, Guy Pujolle	An adaptive and selective cell drop policy with dynamic data partitioning for best effort video over ATM. (PDF / PS)	LCN	1997	DBLP DOI BibTeX RDF	selective cell drop policy, dynamic data partitioning, best effort video, ATM best effort services, MPEG based video delivery framework, unspecified bit rate, video oriented cell discarding scheme, switch buffer occupancy, video cell payload types, dynamic frame level priority data partition mechanism, MPEG data structure, enhanced ATM Adaptation Layer type 5, slice based MPEG2 encapsulation strategy, video delivery framework, real MPEG video data, asynchronous transfer mode, available bit rate
2	Bobby Krupczak, Kenneth L. Calvert, Mostafa H. Ammar	Protocol Portability through Module Encapsulation.	ICNP	1996	DBLP DOI BibTeX RDF
2	Chooi-Tian Lee, Jack W. Harris	Principle and Technique for Encapsulation of User Control and Data Information in Separate Frames. (PDF / PS)	LCN	1996	DBLP DOI BibTeX RDF	real-time interactive multimedia services, data/media integration, separate frames, ATM protocol, application communication services, network communication services, user-data information, network-level, FAL protocol, traffic policing, frame adaptation layer protocol, World Wide Web, network protocols, encapsulation, secure communication, traffic shaping, telecommunication services, reliable communication, user control, communication services
2	Xuandong Li, Guoliang Zheng	A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages.	APSEC	1996	DBLP DOI BibTeX RDF	software maintenance, software reuse, inheritance, encapsulation, object-oriented programming languages
2	Naftaly H. Minsky	Towards Alias-Free Pointers.	ECOOP	1996	DBLP DOI BibTeX RDF	pointer-induced aliasing, hiding, programming with threads, storage management, encapsulation
2	Michele Bugliesi, Hasan M. Jamil	A Logic for Encapsulation in Object Oriented Languages.	PLILP	1994	DBLP DOI BibTeX RDF
2	Christian S. Collberg	Distributed High-Level Module Binding for Flexible Encapsulation and Fast Inter-Modular Optimization.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
2	Alfons Kemper, Christoph Kilger, Guido Moerkotte	Function Materialization in Object Bases: Design, Realization, and Evaluation.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	function materialization, performance tuning measures, rematerialization, fine-grained control, data type implementor, classification, query processing, query processing, optimisation, object-oriented databases, database theory, information hiding, operational semantics, object-oriented languages, updates, encapsulation, access methods, indexing methods, GOM, optimization technique, object-oriented data models, relational database systems, object identity, data encapsulation, database programming languages, view materialization, object bases
2	Bruce A. Cota, Robert G. Sargent	A Modification of the Process Interaction World View.	ACM Trans. Model. Comput. Simul.	1992	DBLP DOI BibTeX RDF	process interaction, process world view, process-oriented simulation, modularity, encapsulation, parallel discrete event simulation, event-driven simulation, discrete event modeling
2	Goetz Graefe	Encapsulation of Parallelism in the Volcano Query Processing System.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
2	Michael V. Mannino, Injun Choi, Don S. Batory	The Object-Oriented Functional Data Language.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
2	José Luiz Fiadeiro, T. S. E. Maibaum	Describing, Structuring and Implementing Objects.	REX Workshop	1990	DBLP DOI BibTeX RDF	object specification, specification morphism, interpretation between theories, action logic, concurrency, locality, encapsulation, deontic logic
2	Hans-Dieter Ehrich, Amílcar Sernadas	Algebraic Implementation of Objects over Objects.	REX Workshop	1989	DBLP DOI BibTeX RDF	object morphisms, process morphisms, semantic fundamentals, algebraic implementation, refinement, processes, objects, extension, encapsulation, object-oriented systems, reification
2	Alan J. Demers, James E. Donahue, Glenn Skinner	Data Types as Values: Polymorphism, Type-Checking, Encapsulation.	POPL	1978	DBLP DOI BibTeX RDF