Definition and implementation parts

• 1 January 1982
• book chapter
• Published by Springer Nature
• p. 82-85
• https://doi.org/10.1007/978-3-642-96717-7_25

Abstract

Keywords

• LIST
• DECLARATIONS
• ADDITIONAL RULES
• DEFINITION MODULE
• IMPLEMENTATION PARTS
• DEFINITION PART
• EXPORTED OBJECTS