Strategy application, observability, and the choice combinator.

Technical Report · Mon Mar 01 04:00:00 EST 2004

DOI:https://doi.org/10.2172/918743· OSTI ID:918743

Winter, Victor Lono ^[1]

---

1. University of Nebraska at Omaha

In many strategic systems, the choice combinator provides a powerful mechanism for controlling the application of rules and strategies to terms. The ability of the choice combinator to exercise control over rewriting is based on the premise that the success and failure of strategy application can be observed. In this paper we present a higher-order strategic framework with the ability to dynamically construct strategies containing the choice combinator. To this framework, a combinator called hide is introduced that prevents the successful application of a strategy from being observed by the choice combinator. We then explore the impact of this new combinator on a real-world problem involving a restricted implementation of the Java Virtual Machine.

• Research Organization: Sandia National Laboratories
• Sponsoring Organization: USDOE
• DOE Contract Number: AC04-94AL85000
• OSTI ID: 918743
• Report Number(s): SAND2004-0871
• Country of Publication: United States
• Language: English

Related Subjects

97 MATHEMATICS AND COMPUTING
99 GENERAL AND MISCELLANEOUS
COMPUTER CODES
IMPLEMENTATION
JAVA
MODIFICATIONS
PROGRAMMING
Programming (Electronic computers)
Transformations (Mathematics)