Strategy application, observability, and the choice combinator.

Winter, Victor Lono (University of Nebraska at Omaha)

Sandia National Laboratories

关键词: Modifications;    Java Transformations (Mathematics);    99 General And Miscellaneous//Mathematics, Computing, And Information Science;    Implementation;    Programming;   

DOI  :  10.2172/918743
RP-ID  :  SAND2004-0871
RP-ID  :  AC04-94AL85000
RP-ID  :  918743

美国|英语

来源: UNT Digital Library

【 摘 要 】

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.