Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
otm [2011/03/28 21:42] aspectscript |
otm [2011/08/03 05:30] (current) aspectscript |
||
---|---|---|---|
Line 15: | Line 15: | ||
**Sequences**. In addition, sequences are first-class values and are specified using plain JavaScript functions, bringing the full benefits of the base language, in particular, the combination of higher-order functions and objects. To the best of our knowledge, there is no proposal that allows developers to define sequences expressively and to customize crucial semantics of a TM. | **Sequences**. In addition, sequences are first-class values and are specified using plain JavaScript functions, bringing the full benefits of the base language, in particular, the combination of higher-order functions and objects. To the best of our knowledge, there is no proposal that allows developers to define sequences expressively and to customize crucial semantics of a TM. | ||
- | |||
- | |||
- | |||
- | **Causality**. Although OTM is an open implementation of existing TMs, OTM can be used to address distributed system issues that are present in Web applications that use [[http:// | ||
(Under construcction) Do you want to try the Boutique Web application example? Please, visit the [[otm/ | (Under construcction) Do you want to try the Boutique Web application example? Please, visit the [[otm/ | ||
Line 50: | Line 46: | ||
<pre id=" | <pre id=" | ||
//== helper code == | //== helper code == | ||
- | var SEs = OTM.Sequences; | + | var SQs = OTM.Sequences; |
var jpsDiv = document.getElementById(" | var jpsDiv = document.getElementById(" | ||
var a = function(){ | var a = function(){ | ||
Line 64: | Line 60: | ||
sequence: SQs.seq(SQs.call(a), | sequence: SQs.seq(SQs.call(a), | ||
advice: function (jp){ | advice: function (jp){ | ||
- | jpsDiv.innerHTML += " | + | jpsDiv.innerHTML += "[*MATCH:ab after:" |
} | } | ||
}; | }; | ||
Line 76: | Line 72: | ||
<div style=" | <div style=" | ||
<pre id=" | <pre id=" | ||
- | < | + | < |
<div id=" | <div id=" | ||
</ | </ |