A. Kishon and P. Hudak. Semantics directed program execution monitoring. Journal of Functional Programming, 5(4):501547, 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... success has been achieved and the refinement of these methods is an ongoing e#ort [11, 37, 55] O#ine partial evaluation is wellknown for its power to substantially reduce interpretive overhead, e.g. 10, 12, 33, 34] and has been used successfully to optimize two levels of interpretation, e.g. [35]. Recent work [13] applies o#ine partial evaluation to interpreters of domain specific languages written in C. These applications may also be viewed as working examples of translation modifiers. All three specializer projections have been supported by computer experiments, e.g. 23, 24, 46] ....

.... standard interpreter, but rather to combine a standard interpreter with di#erent semantics modifiers (however, both uses of interpreters may be combined) Reflective languages and continuation semantics have been suggested for modifying and controlling computations at di#erent meta levels, e.g. [7, 14, 35, 56]) more should be known about their relation to semantics modifiers. 15. Conclusion and Future Work In this paper we investigated semantics modifiers starting from theoretical considerations to an experimental assessment. We specified the class of semantics modifiers, proved the modifier ....

A. Kishon and P. Hudak, "Semantics directed program execution monitoring," Journal of Functional Programming 5(4) (1995) 501--547.

....tools. For a given dynamic analysis tool, one just need to make sure that the level of granularity of the semantics is sufficiently fine. However, compositional denotational semantics are maybe more easy to use to make proofs. 5.2 Other systems based on denotational semantics Kishon and al. [19, 20] use a denotational and operational continuation semantics to formally define monitors for functional programming languages. The kind of 124 monitors they define are profilers, debuggers, and statistic collectors. From the operational semantics, a formal description of the monitor, and a program, ....

A. Kishon and P. Hudak. Semantics directed program execution monitoring. Journal of Functional Programming, 5(4), 1995.

....towers. Our results suggest a technique for the implementation of a certain class of programming language dialects by composing a hierarchy of non standard interpreters. 1 Introduction The definition of programming language semantics from simpler, more elementary parts is an intriguing question [6, 11, 17, 18]. This paper reports on new results concerning the combination of semantics via non standard interpreters. Instead of using the familiar tower of interpreters [13] for implementing the standard semantics of a programming language, we generalize this idea to implement the non standard semantics of ....

....interpreters [15] concerned the definition of one programming language using another which, in our terms, relies on the robustness of Id semantics. Monadic interpreters have been studied recently to support features of a programming language, such as profiling, tracing, and error messages (e.g. [11, 18]) These works are mostly concerned with modifying operational aspects of a particular language, rather than modifying extensional semantics properties of a class of languages. We studied language independent conditions for analyzing semantics changes and provided a solid mathematical basis for ....

A. Kishon, P. Hudak. Semantics directed program execution monitoring. Journal of Functional Programming, 5(4):501--547, 1995.

....Instead it is assumed that this information can be obtained from the run time representation of values, which is often impossible. We think that it is an advantage to explicitly include this information in the trace since it makes it clear that the issue must be addressed. 29 Kishon Hudak [6] take an approach similar to Kamin s, but more general and systematic. Starting from a denotational continuation semantics of a language, they derive a monitoring semantics by composing the standard semantics with one or more monitor specifications. As an example, by composing a semantics for a ....

Amir Kishon and Paul Hudak. Semantics directed program execution monitoring. Journal of Functional Programming, 5(4):501--547, October 1995.

....is something different and therefore logically incorrect. For the actual meaning of the program to be equivalent to the intended meaning, the erroneous guard in insert could be changed to x = y = y : insert x ys) and the third guard should be removed) An EDT for the evaluation of insort [2,1,3] is given in figure 5. Erroneous nodes are highlighted by a dark rectangle. Of the erroneous nodes, two topmost buggy nodes are identified by underlines within the node. An example debugging session applied to the EDT generated by insort [2,1,3] is given in figure 6. The responses of the oracle ....

....be removed) An EDT for the evaluation of insort [2,1,3] is given in figure 5. Erroneous nodes are highlighted by a dark rectangle. Of the erroneous nodes, two topmost buggy nodes are identified by underlines within the node. An example debugging session applied to the EDT generated by insort [2,1,3] is given in figure 6. The responses of the oracle are either y (for yes) to specify the application was correct or n (for no) to specify the application was incorrect. Notice that the questions asked by the debugger correspond to a partial depth first traversal of the EDT, such that the ....

[Article contains additional citation context not shown here]

Kishon A and P. Hudak. Semantics directed program execution monitoring. Journal of Functional Programming, 5(4):501--574, 1995.

....of values, which often is not the case for existing language implementations. We think that it is an advantage to explicitly include this information in the trace since it makes it clear that the issue must be addressed in the context of existing language implementations. Kishon Hudak [6] take a similar but more general and systematic approach. Starting from a denotational continuation semantics of a language, they derive a monitoring semantics by composing the standard semantics with one or more monitor specifications. As an example, by composing a semantics for a lazy language ....

Amir Kishon and Paul Hudak. Semantics directed program execution monitoring. Journal of Functional Programming, 5(4):501--547, October 1995.

....that should no problem be found in one subtree, another can be explored. 5 Related Work There has been some research into functional debuggers but it is not intention our to review that work here as our focus is on the proposal presented in this paper. The interested reader is referred to [3] [7], 9] 10] 14] A debugger for the ML functional language [13] also allows the programmer to work backwards through the program. It does this by taking snapshots of the state of the program at various points (e.g. before function application) Therefore it is possible for the programmer to work ....

A Kishon and P Hudak. Semantics directed program execution monitoring. jpf, 5(4):501--547, Oct 1995.

No context found.

A. Kishon and P. Hudak. Semantics directed program execution monitoring. Journal of Functional Programming, 5(4):501547, 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC