A Semantic Framework for Understanding the Behavior of Modules and Classes in Programming Languages

A Semantic Framework for Understanding the Behavior of Modules and Classes in Programming Languages

Recent trends in programming language design and implementation are aimed at integrating the two most important constructs to combat complexity: modules and classes. Both constructs provide encapsulation, a cornerstone of reliable programming. These constructs differ in their approach to building hi...

Full description

Saved in:
Bibliographic Details
Main Authors: DODANI, Mahesh, GAN, Benjamin Kok Siew
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 1994
Subjects:
Programming Languages
Formal Definitions and Theory
Theory of Computation
Specifying and Verifying and Reasoning about Programs
Semantics of Programming Languages
Formal Languages
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/2242
https://ink.library.smu.edu.sg/context/sis_research/article/3242/viewcontent/JMLC94.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/2242
https://ink.library.smu.edu.sg/context/sis_research/article/3242/viewcontent/JMLC94.pdf

Similar Items