NDLI: Type Safety in the Context of Method Updates

Content Provider	Springer Nature Link
Author	Tari, Zahir Li, Xue Liu, Ling
Copyright Year	1999
Abstract	This paper presents a framework for checking and maintaining type safety in the presence of method evolution. A method update often affects all components of the method, including the inter face and the implementation. The type safety problem is addressed as two levels of type consistency. The first level relates to the type checking of methods in the context of the class inheritance hierarchy, and concerns the semantics of the polymorphism of methods. The second level considers the implementation parts of methods by capturing and preserving the semantics of the chain of calling relationships among relevant methods. A graph-based approach is used to achieve this two-level type consistency required at the level of class inheritance hierarchy and the level of method invocation. We demonstrate that the two levels of type consistency checking combined provide a better control of the run-time type error problems.
Starting Page	279
Ending Page	298
Page Count	20
File Format	PDF
ISSN	09259902
Journal	Journal of Intelligent Information Systems
Volume Number	13
Issue Number	3
e-ISSN	15737675
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	1999-01-01
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Data Structures, Cryptology and Information Theory Artificial Intelligence (incl. Robotics) Document Preparation and Text Processing Business Information Systems
Content Type	Text
Resource Type	Article
Subject	Artificial Intelligence Computer Networks and Communications Information Systems Software Hardware and Architecture

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Extending Datalog with Declarative Updates

Optimizing Queries with Object Updates

Abductive Knowledge Base Updates for Contextual Reasoning

SCDBR: An Automated Reasoner for Specifications of Database Updates

Transportable Information Agents

Automatic Thematic Extractor

On Migrating Threads

Adaptive Intelligent Agents

Latent Semantic Kernels

Type Safety in the Context of Method Updates

Similar Documents

Extending Datalog with Declarative Updates

Optimizing Queries with Object Updates

Abductive Knowledge Base Updates for Contextual Reasoning

SCDBR: An Automated Reasoner for Specifications of Database Updates

Transportable Information Agents

Automatic Thematic Extractor

On Migrating Threads

Adaptive Intelligent Agents

Latent Semantic Kernels

Type Safety in the Context of Method Updates