G.D. PLOTKIN, A Structural Approact to Operatioal Semmtics, Lectures Notes, Aarhus University (95).  Home/Search   Document Not in Database   Summary   Related Articles

....input sequence. The denotational semantics is presented in [24] it is not detailed here since it is useless for compiling algorithms. No one would compute billiard ball trajectories in Quantum Mechanics We present in detail two mathematical semantics, given by Plotkin style rewrite rules [38]: the behavioral semantics and the computational semantics. Given an input I to a program P, both determine the output O and a new program P suited to treat the remaining inputs. The global temporal treatment of statements is therefore replaced by a local computation of each reaction. The behavior ....

....it determines the output event generated by the program reaction and a new program able to handle subsequent input events. The duration semantics is replaced by a one shot semantics involving program rewritings, in the spirit of natural deduction semantics based on structural deduction rules [38]. Usual natural deduction semantics are executable : their rules can be directly used for building interpreters. The behavioral semantics presented here doesn t have this property, since the treatment of the sharing law involves an uneffective fixpoint operation in the local signal declaration ....

[Article contains additional citation context not shown here]

G.D. PLOTKIN, A Structural Approact to Operatioal Semmtics, Lectures Notes, Aarhus University (95).

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