This paper describes a general abstraction mechanism called a constraint pattern, with which an objectoriented language can be built. In such a language, constraint patterns play the roles of code and data abstractio...
详细信息
ISBN:
(纸本)0897915399
This paper describes a general abstraction mechanism called a constraint pattern, with which an objectoriented language can be built. In such a language, constraint patterns play the roles of code and data abstractions, and subsume classes, instance variables, methods and control structures. Constraint patterns, a conceptual blend and extension of BETA's patterns and Bertrand's augmented term rewriting rules, use equation solving for constraint satisfaction, method generation, and compilation. Basing a language on this abstraction makes simple equational constraints available as a fundamental language feature, integrated with the semantics.
Pointers or references can be identified as the root cause of many fundamental problems in current programminglanguages, typically resulting in unspecified object dependencies and missing hierarchical encapsulation. ...
详细信息
ISBN:
(纸本)9781595938657
Pointers or references can be identified as the root cause of many fundamental problems in current programminglanguages, typically resulting in unspecified object dependencies and missing hierarchical encapsulation. We therefore propose to abandon references from the language and to use expressive program relations instead. For this purpose, we have developed a programming language which is only based on hierarchical composition and interface connections.
暂无评论