Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Cover
Half-Title Page
Title Page
Copyright Page
Contents
Foreword
Preface
Chapter 1. Namespaces: Model and Operations
	1.1. Reusing, dividing, confining
		1.1.1. Analysis of some developer needs
		1.1.2. Meeting developer needs
	1.2. Namespaces
		1.2.1. Namespaces definition
		1.2.2. Extending notions of environment and binding
	1.3. kit development
		1.3.1. Namespace of a kit
		1.3.2. Order of fields introduction
		1.3.3. Typing kits
		1.3.4. kit values
		1.3.5. kit export, confining fields
		1.3.6. kits import
		1.3.7. Stages of kit development
	1.4. Incomplete kits
		1.4.1. Type and value of an incomplete kit
		1.4.2. Completion of an incomplete kit
		1.4.3. Confining an incomplete kit
	1.5. Parameterized kits
		1.5.1. kits parameterized by a type
		1.5.2. kits parameterized by types and values
		1.5.3. Confinement, parametrization, incomplete kits and export
	1.6. Functors of kits
	1.7. kit extension
		1.7.1. Presentation of extension
		1.7.2. Confinement and extension
	1.8. Conclusion
Chapter 2. Modules
	2.1. Modules in Ada
		2.1.1. Developing modules
		2.1.2. Export and confinement
		2.1.3. Nesting modules
		2.1.4. Importing a module
		2.1.5. Flattening an import
		2.1.6. Generic modules
		2.1.7. Modules and separate compilation
	2.2. Modules in OCaml
		2.2.1. Module definition
		2.2.2. Export and confinement
		2.2.3. Confinement of type definitions
		2.2.4. Functors
	2.3. Modularity, namespaces and W-kit
		2.3.1. Declaration interfaces
		2.3.2. W-kits
		2.3.3. Modularity and header files in C
Chapter 3. Class and Object Features
	3.1. Object-oriented features
		3.1.1. Objects
		3.1.2. Classes
	3.2. kits and object features
		3.2.1. Modeling classes
		3.2.2. Modeling objects
		3.2.3. Inheritance, redefinition and late binding
		3.2.4. Incomplete C-kits, parameterized C-kits
		3.2.5. Subclassing, subtyping
		3.2.6. Type languages, classes and objects
Chapter 4. Classes in Selected Languages
	4.1. Classes in Java
		4.1.1. General presentation
		4.1.2. Modules and packages
		4.1.3. Classes
		4.1.4. Marks
		4.1.5. Developing classes
	4.2. Classes in C++
		4.2.1. Header files, namespaces, confinement
		4.2.2. Classes
		4.2.3. Inheritance and confinement
		4.2.4. Overloading in C++
		4.2.5. Parameterized classes
	4.3. Classes in OCaml
		4.3.1. Presentation
		4.3.2. An overview of classes
		4.3.3. Marks, incomplete classes, parametrization
		4.3.4. Objects
		4.3.5. Class signatures: confinement and inheritance
		4.3.6. Multiple inheritance
		4.3.7. Other features
	4.4. Presentation of Python
		4.4.1. Getting started
		4.4.2. An overview of classes, modules and types
		4.4.3. Names and assignment
		4.4.4. Assignment and typechecking
		4.4.5. Overloading
		4.4.6. Modules and packages
		4.4.7. Confinement
		4.4.8. Inheritance
		4.4.9. Incomplete C-kits and abstract classes
		4.4.10. Other features
Appendix: Questions to Guide Learning
List of Notations
References
Index
Other titles from iSTE in Computer Engineering
EULA