Article

Free access

Formalization and application of a unifying model for name management

Authors:

Alan Kaplan,

Jack C. WiledenAuthors Info & Claims

SIGSOFT '95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering

Pages 161 - 172

https://doi.org/10.1145/222124.222152

Published: 01 October 1995 Publication History

PDF eReader

References

[1]

Andrews, T. Designing linguistic interfaces to an object database or what do C++, SQL and Hell have in common? In Fourth International Workshop on Database Programming Languages (New York, NY, Aug-Sep 1993), pp. 3-10.

Digital Library

Google Scholar

[2]

Borger, E., Gurevich, Y., and Rosenzweig, D, The bakery algorithm: Yet another specification and verification. In Specification and Validation Methods, E. Borger, Ed. Oxford University Press, 1994.

Digital Library

Google Scholar

[3]

Borger, E., and Rosenzweig, D. A mathematical definition of full Prolog, In Science of Computer Programming. 1994.

Digital Library

Google Scholar

[4]

Comer, D. E., and Peterson, L. L. Understanding naming in distributed systems. Distributed Computing 3, 2 (May 1989), 51-60.

Digital Library

Google Scholar

[5]

Dearle, A., Connor, R., Brown, F., and Morrison, R, Napier88-A database programming language? In Second International Workshop on Database Programming Languages (June 1989), R. Hull, R. Morrison, and D. Stemple, Eds., pp. 213-229.

Digital Library

Google Scholar

[6]

DOD. Reference Manual for the Ada Programming Language. United States Department of Defense, Washington, D. C., Jan. 1983. (ANSI/ MIL-STD-1815A).

Google Scholar

[7]

Feldman, S. Make - a program for maintaining computer programs. Sojtware-Practice and Experience 9, 4 (Apr. 1979), 255-265.

Crossref

Google Scholar

[8]

Fraser, A. On the meaning of names in programming systems. Communications of the ACM 14, 6 (June 1971), 409-416.

Digital Library

Google Scholar

[9]

Gottlob, G., Kappel, G, and Schrefl, M. Semantics of object-oriented data models - The evolving algebra approach. In Next Generation Information System Technology, First International East/West Database Workshop (Kiev, USSR, Oct. 1990), J. Schmidt and A. Stogny, Eds., no. 504 in Lecture Notes In Computer Science, pp. 144-160.

Google Scholar

[10]

Gurevich, Y. Logic and the challenge of computer science. In Current Trends in Theoretical Computer, E. Boerger, Ed. Computer Science Press, 1988, pp. 1-57.

Google Scholar

[11]

Gurevich, Y. Evolving algebras 1993: Lipari guide. In Specification and Validation Methods, E. Borger, Ed. Oxford University Press, 1994.

Digital Library

Google Scholar

[12]

Gurevich, Y., and Morris, J, Algebraic operational semantics and Modula-2. In First Workshop on Computer Science Logic (1988), E. Borger, H. K. Buning, and M. Richter, Eds., no. 329 in Lecture Notes In Computer Science, pp. 81-101.

Digital Library

Google Scholar

[13]

Huggins, J. Kermit: Specification and verification, In Specification and Validation Methods, E. Borger, Ed. Oxford University Press, 1994.

Digital Library

Google Scholar

[14]

Huggins, J., and Mani, R. The evolving algebra interpreter, version 2.0. University of Michigan, 1995.

Google Scholar

[15]

Intermetrics, Inc. Ada 95 Rationale, Cambridge, MA, Jan. 1995.

Google Scholar

[16]

Johnston, J. The contour model of block structured processes. SIGPLAN Notices 6, 2 (June 1971), 55-82.

Digital Library

Google Scholar

[17]

Kaplan, A., and Wileden, J. Conch: Experimenting with enhanced name management for persistent object systems. In Sixth International Workshop on Persistent Object Systems (Tarascon, Provence, France, Sept, 1994),

Digital Library

Google Scholar

[18]

Kaplan, A., and Wileden, J. C. PolySPIN: An architecture for polylingual object-oriented databases, Submitted.

Google Scholar

[19]

Morrison, R., Atkinson, M., Brown, A., and Dearle, A. On the classification of binding mechanisms. Information Processing Letters 34, 1 (Feb. 1990), 51-55.

Digital Library

Google Scholar

[20]

Saltzer, J. Naming and binding of objects. In Operating Systems: An Advanced Course, no. 60 in Lecture Notes in Computer Science. Spring- Verlag, 1978, ch. 3A, pp. 99-208.

Crossref

Google Scholar

[21]

Stallman, R. M., and McGrath, R. GNU Make: A Program For Directing Recompilation, 0.47, for make version 3.72q beta ed. Free Software Foundation, Cambridge, MA, Nov. 1994,

Google Scholar

[22]

Stoy, J. Denotational Semantics: the Scott- Strachey Approach to Programming Language Theory, MIT Press, 1977.

Digital Library

Google Scholar

[23]

Wallace, C, The semantics of the C++ programming language. In Specification and Validation Methods, E. Borger, Ed. Oxford University Press, 1994.

Digital Library

Google Scholar

[24]

Wells, D. L., Blakely,J. A., and Thompson, C. W. Architecture of an open object-oriented management system. Computer 25, 10 (Oct. 1992), 74-82.

Digital Library

Google Scholar

[25]

Wileden, J. C., and Wolf, A. L. Object management technology for environments: Experiences, opportunities and risks. In Proceedings of the International Workshop on Environments (Sept. 1989), no. 742 in Lecture Notes in Computer Science.

Digital Library

Google Scholar

[26]

Wolf, A., Clarke, L., and Wileden, J. A model of visibility control. IEEE Transactions on Software Engineering 14, 4 (Apr. 1938), 512-520,

Digital Library

Google Scholar

[27]

Wolf, A, Clarke, L., and Wileden, J. The AdaPIC tool set: Supporting interface control and analysis throughout the software development process. IEEE Transactions on Software Engineering 15, 3 (Mar. 1989), 250-263.

Digital Library

Google Scholar

[28]

Zdonik, S. B., and Maier, D. Fundamentals of object-oriented databases. In Readings in Object-Oriented Database Systems. Morgan Kaufmann, 1990, pp. 1-32.

Google Scholar

Cited By

View all

Voufo LZalewski MLumsdaine AMagalhäes JRompf T(2014)Scoping rules on a platterProceedings of the 10th ACM SIGPLAN workshop on Generic programming10.1145/2633628.2633633(59-70)Online publication date: 26-Aug-2014
https://dl.acm.org/doi/10.1145/2633628.2633633
Isazadeh AKarimpour J(2008)Viewcharts: Syntax and SemanticsInformatica10.5555/1454341.145434319:3(345-362)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.5555/1454341.1454343
Rosenblum DWolf A(2005)A design framework for internet-scale event observation and notificationSoftware Engineering — ESEC/FSE'9710.1007/3-540-63531-9_24(344-360)Online publication date: 1-Aug-2005
https://doi.org/10.1007/3-540-63531-9_24
Show More Cited By

Index Terms

Formalization and application of a unifying model for name management

Recommendations

Formalization and Application of a Unifying Model for Name Management
Formalization of the Resolution Calculus for First-Order Logic

I present a formalization in Isabelle/HOL of the resolution calculus for first-order logic with formal soundness and completeness proofs. To prove the calculus sound, I use the substitution lemma, and to prove it complete, I use Herbrand interpretations ...
Self-Formalisation of Higher-Order Logic

We present a mechanised semantics for higher-order logic (HOL), and a proof of soundness for the inference system, including the rules for making definitions, implemented by the kernel of the HOL Light theorem prover. Our work extends Harrison's ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIGSOFT '95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering

October 1995

180 pages

ISBN:0897917162

DOI:10.1145/222124

Editor:
Gail E. Kaiser
Columbia Univ., New York, NY

ACM SIGSOFT Software Engineering Notes Volume 20, Issue 4
Oct. 1995
171 pages
ISSN:0163-5948
DOI:10.1145/222132
Editor:
Gail E. Kaiser
Columbia Univ., New York, NY
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOFT95

Sponsor:

SIGSOFT

SOFT95: Foundations of Software Engineering

October 12 - 15, 1995

D.C., Washington, USA

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
334
Total Downloads

Downloads (Last 12 months)80
Downloads (Last 6 weeks)8

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Voufo LZalewski MLumsdaine AMagalhäes JRompf T(2014)Scoping rules on a platterProceedings of the 10th ACM SIGPLAN workshop on Generic programming10.1145/2633628.2633633(59-70)Online publication date: 26-Aug-2014
https://dl.acm.org/doi/10.1145/2633628.2633633
Isazadeh AKarimpour J(2008)Viewcharts: Syntax and SemanticsInformatica10.5555/1454341.145434319:3(345-362)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.5555/1454341.1454343
Rosenblum DWolf A(2005)A design framework for internet-scale event observation and notificationSoftware Engineering — ESEC/FSE'9710.1007/3-540-63531-9_24(344-360)Online publication date: 1-Aug-2005
https://doi.org/10.1007/3-540-63531-9_24
Isazadeh ALamb DShepard T(1999)Behavioural Views for Software Requirements EngineeringRequirements Engineering10.1007/PL000137104:1(19-37)Online publication date: 1-May-1999
https://dl.acm.org/doi/10.1007/PL00013710
Rosenblum DWolf A(1997)A design framework for Internet-scale event observation and notificationACM SIGSOFT Software Engineering Notes10.1145/267896.26792022:6(344-360)Online publication date: 1-Nov-1997
https://dl.acm.org/doi/10.1145/267896.267920
Rosenblum DWolf A(1997)A design framework for Internet-scale event observation and notificationProceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering10.1145/267895.267920(344-360)Online publication date: 1-Nov-1997
https://dl.acm.org/doi/10.1145/267895.267920
Wileden JKaplan A(1996)A convergent systems viewpoint on viewpointsJoint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops10.1145/243327.243675(257-258)Online publication date: 14-Oct-1996
https://dl.acm.org/doi/10.1145/243327.243675

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Formalization and Application of a Unifying Model for Name Management

Formalization of the Resolution Calculus for First-Order Logic

Self-Formalisation of Higher-Order Logic