Semantic Scholar uses AI to extract papers important to this topic.
The VISITOR design pattern shows how to separate the structure of an object hierarchy from the behaviour of traversals over that… Expand Object-Oriented Action Semantics is a semantic framework for the defi- nition of programming languages. The framework… Expand We present and evaluate an approach for the run-time conformance checking of Java classes against property-driven algebraic… Expand Abstract syntax trees are a very common data-structure in language related tools. For example, compilers, interpreters… Expand Informally described design patterns are useful for communicating proven solutions for recurring design problems to developers… Expand This paper introduces the notion of higher-order inheritance hierarchies. They are useful because they provide well-known… Expand The Design Patterns book [GHJV94] presents 24 time-tested patterns that consistently appear in well-designed software systems… Expand The Visitor design pattern allows the encapsulation of polymorphic behavior outside the class hierarchy on which it operates. A… Expand For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without… Expand Many problems require recursively specified types of data and a collection of tools that operate on those data. Over time, these… Expand