Formalization and application of a unifying model for name management

Alan Kaplan, Jack C. Wileden

Research output: Contribution to conferencePaper

5 Scopus citations

Abstract

Name management, how a computing system allows names to be established for objects, permits objects to be accessed using names and controls the availability and meaning of names at any point in time. Context control-related problems often occur during software development. The semantics of a unifying model of name management can be formalized using evolving algebras, an operational semantics based on first-order logic. The model can serve as a basis for both informal and formal reasoning methods that can help in overcoming name management-related problems encountered by software developers.

Original languageEnglish (US)
Pages161-172
Number of pages12
DOIs
StatePublished - 1995
Externally publishedYes
EventProceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering - Washington, DC, USA
Duration: Oct 10 1995Oct 13 1995

Conference

ConferenceProceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering
CityWashington, DC, USA
Period10/10/9510/13/95

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Formalization and application of a unifying model for name management'. Together they form a unique fingerprint.

  • Cite this

    Kaplan, A., & Wileden, J. C. (1995). Formalization and application of a unifying model for name management. 161-172. Paper presented at Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, Washington, DC, USA, . https://doi.org/10.1145/222132.222152