@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
1 lines • 2.27 kB
HTML
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>References — The Ciao Internals</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton"><span id="sidebar-button-arrow">☰</span></a><div id="sidebar" class="lpdoc-sidebar"><div style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-logo_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><span class="lpdoc-on-right"><a class="lpdoc-navbutton" href="ciao-internals.html">↑</a><a class="lpdoc-navbutton" href="ciaoengine_doc.html">←</a><a class="lpdoc-navbutton" href="ciao-internalssearch.html">→</a><a class="lpdoc-navbutton" href="ciao-internalssearch.html">🔍</a></span><span><a href="ciao-internalsfulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciao-internals.html">The Ciao Internals</a> »<br/> </li><li><a href=""><strong>References</strong></a></li></ul></div><div class="lpdoc-main"><div id=""><h1>References</h1><dl> <dt><strong id="morales09:improlog-tr"><a class="lpdoc-idx-anchor" id="morales09:improlog-tr" href="ciao-internalssearch.html#morales09:improlog-tr">[MCH09]</a></strong><dd> J.F. Morales, M. Carro, and M. V. Hermenegildo. <br/>Description and Optimization of Abstract Machines in a Dialect of Prolog. <br/>Technical Report CLIP4/2009.0, Technical University of Madrid (UPM), School of Computer Science, UPM, October 2009.<p><dt><strong id="jfran-phd"><a class="lpdoc-idx-anchor" id="jfran-phd" href="ciao-internalssearch.html#jfran-phd">[Mor10]</a></strong><dd> J.F. Morales. <br/><em>Advanced Compilation Techniques for Logic Programming</em>. <br/>PhD thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, July 2010.<p></dl></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>