Formalization and application of a unifying model for name management

Alan Kaplan; Jack C. Wileden

doi:10.1145/222132.222152

Formalization and application of a unifying model for name management

Alan Kaplan, Jack C. Wileden

Research output: Contribution to conference › Paper › peer-review

6 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 language	English (US)
Pages	161-172
Number of pages	12
DOIs	https://doi.org/10.1145/222132.222152
State	Published - 1995
Externally published	Yes
Event	Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering - Washington, DC, USA Duration: Oct 10 1995 → Oct 13 1995

Conference

Conference	Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering
City	Washington, DC, USA
Period	10/10/95 → 10/13/95

All Science Journal Classification (ASJC) codes

General Computer Science

Access to Document

10.1145/222132.222152

Cite this

@conference{f155cef20934429dafef7ee533334271,

title = "Formalization and application of a unifying model for name management",

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.",

author = "Alan Kaplan and Wileden, {Jack C.}",

year = "1995",

doi = "10.1145/222132.222152",

language = "English (US)",

pages = "161--172",

note = "Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering ; Conference date: 10-10-1995 Through 13-10-1995",

}

TY - CONF

T1 - Formalization and application of a unifying model for name management

AU - Kaplan, Alan

AU - Wileden, Jack C.

PY - 1995

Y1 - 1995

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

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

UR - http://www.scopus.com/inward/record.url?scp=0029452681&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029452681&partnerID=8YFLogxK

U2 - 10.1145/222132.222152

DO - 10.1145/222132.222152

M3 - Paper

AN - SCOPUS:0029452681

SP - 161

EP - 172

T2 - Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering

Y2 - 10 October 1995 through 13 October 1995

ER -

Formalization and application of a unifying model for name management

Abstract

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this