<?
include_once 'declare.php';

$title = "JavaScript Research and Technologies";

$linkGroups = array(
  "Sandboxes" => array(
    "Caja" => array(
      "Project home" => "http://code.google.com/p/google-caja/",
      "References" => array(
        "A good introduction/tutorial" => "https://developers.google.com/caja/docs/gettingstarted/",
      ),
    ),
    "Adsafe" => "http://www.adsafe.org/",
    "JSand" => "https://lirias.kuleuven.be/bitstream/123456789/360451/3/Agten+-+JSand.pdf",
  ),
  "Program Analysis" => array(
    "JAM" => "http://policy-weaving.cs.wisc.edu/jam.php",
    "JSAI" => "http://cs.ucsb.edu/~vineeth/arxiv/jsai.zip",
    "Wala" => "http://wala.sourceforge.net/wiki/index.php/Main_Page",
    "Kudzu" => "http://webblaze.cs.berkeley.edu/2010/kudzu/",
    "jsfst" => "http://www.ep.liu.se/ecp/085/041/ecp1385041.pdf",
  ),
  "Language Subsets" => array(
    "Strict Mode" => array(
      "Spec." => "http://www.ecma-international.org/ecma-262/5.1/",
      "References" => array(
        "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Functions_and_function_scope/Strict_mode",
        "http://dmitrysoshnikov.com/ecmascript/es5-chapter-2-strict-mode/",
      ),
    ),
    "asm.js: Mozilla's super-optimized JS subset" => "http://asmjs.org/",
    "FBJS (deprecated): Facebook's restricted JavaScript dialect" => "http://developers.facebook.com/docs/fbjs/",
    "Jacaranda" => "http://jacaranda.org/",
  ),
  "Type Systems" => array(
    "TypeScript" => "http://www.typescriptlang.org/",
    "Gradual typing for TypeScript" => "http://research.microsoft.com/apps/video/default.aspx?id=226836",
    "TypedJS" => "https://npmjs.org/package/typedjs",
    "TAJS" => "http://www.brics.dk/TAJS/",
    "Dependent JavaScript" => "http://cseweb.ucsd.edu/~rchugh/research/nested/djs.pdf",
    "F# to JavaScript with type providers" => "http://funscript.info/",
  ),
  "Aspect Weaving" => array(
    "AspectScript" => "http://www.pleiad.cl/aspectscript/start",
    "AOJS (Japanese)" => "http://www.washi.cs.waseda.ac.jp/ja/SSR2009.html",
    "Cerny.js" => "http://cerny-online.com/cerny.js/",
    "Twill" => "https://www.npmjs.org/package/twill",
  ),
  "Semantics" => array(
    "JSSec: a small-step semantic specification of JavaScript, developed by Maffeis<br/>Formal specification" => "",
    "S. Maffeis, J. Mitchell and A. Taly, ``Isolating JavaScript with Filters, Rewriting and Wrappers''" => "http://www.doc.ic.ac.uk/~maffeis/esorics09.pdf",
    "JSCert: a big-step semantic specification of JavaScript" => "http://jscert.org/index.html",
    "LambdaJS" => "https://github.com/brownplt/LambdaJS",
  ),
  "Reference and Tutorials" => array(
    "SpiderMonkey architecture overview" => "https://developer.mozilla.org/en-US/docs/SpiderMonkey/Internals",
    "SpiderMonkey integration guide" => "https://developer.mozilla.org/en-US/docs/SpiderMonkey/JSAPI_User_Guide",
    "S5 Eval Semantics" => "http://blog.brownplt.org/2012/10/21/js-eval.html",
  ),
);

include_once "linkTemplate.php";
?>