Mercurial > hg > Papers > 2015 > atton-lola

changeset 2:c21ad8ebcb04

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add mindmap
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 17 Apr 2015 12:31:34 +0900
parents 7275328d2637
children fa335025f1d7
files mindmap/lola-2015.mm
diffstat 1 files changed, 65 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mindmap/lola-2015.mm	Fri Apr 17 12:31:34 2015 +0900
@@ -0,0 +1,65 @@
+<map version="1.0.1">
+<!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
+<node CREATED="1429239569530" ID="ID_276252106" MODIFIED="1429239575691" TEXT="lola-2015">
+<node CREATED="1429239730392" ID="ID_1808407622" MODIFIED="1429239752340" POSITION="right" TEXT="CbC">
+<node CREATED="1429239734654" ID="ID_318037791" MODIFIED="1429239757107" TEXT="Operational Semantics"/>
+<node CREATED="1429239766353" ID="ID_910214179" MODIFIED="1429239770643" TEXT="features">
+<node CREATED="1429239770644" ID="ID_1062938310" MODIFIED="1429239778236" TEXT="concurrency">
+<node CREATED="1429239792143" ID="ID_1137396840" MODIFIED="1429239811498" TEXT="automatically scheduled parallel execution"/>
+</node>
+<node CREATED="1429239779948" ID="ID_893943274" MODIFIED="1429239788266" TEXT="deg/ceg">
+<node CREATED="1429239850784" ID="ID_1812360863" MODIFIED="1429239859248" TEXT="unit of calculation">
+<node CREATED="1429239919815" ID="ID_816318168" MODIFIED="1429239925301" TEXT="predictable calculate"/>
+</node>
+</node>
+<node CREATED="1429239815928" ID="ID_1134937930" MODIFIED="1429239820994" TEXT="meta computation">
+<node CREATED="1429239820995" ID="ID_1686016767" MODIFIED="1429239822873" TEXT="goto"/>
+<node CREATED="1429239823281" ID="ID_238956269" MODIFIED="1429239838224" TEXT="exception handling"/>
+<node CREATED="1429239838710" ID="ID_1607309471" MODIFIED="1429239840504" TEXT="Monad">
+<node CREATED="1429240168979" ID="ID_1565082435" MODIFIED="1429240179010" TEXT="backends of correspondence of normal/meta computation"/>
+</node>
+<node CREATED="1429239843153" ID="ID_612722887" MODIFIED="1429239849136" TEXT="Meta deg"/>
+<node CREATED="1429239862132" ID="ID_1684139524" MODIFIED="1429239864681" TEXT="version control">
+<node CREATED="1429239864682" ID="ID_1419235778" MODIFIED="1429239866847" TEXT="delta"/>
+</node>
+</node>
+</node>
+<node CREATED="1429239875574" ID="ID_1955267850" MODIFIED="1429239877231" TEXT="implements">
+<node CREATED="1429239877231" ID="ID_1018155992" MODIFIED="1429239887975" TEXT="C like syntax">
+<node CREATED="1429239887976" ID="ID_115347280" MODIFIED="1429239893806" TEXT="chenged?"/>
+</node>
+<node CREATED="1429239895852" ID="ID_1546490466" MODIFIED="1429239899918" TEXT="tail call elimination"/>
+<node CREATED="1429240188675" ID="ID_191389205" MODIFIED="1429240189899" TEXT="clang">
+<node CREATED="1429240189900" ID="ID_257112829" MODIFIED="1429240190892" TEXT="llvm"/>
+</node>
+</node>
+</node>
+<node CREATED="1429239737347" ID="ID_1571060337" MODIFIED="1429239739042" POSITION="left" TEXT="Delta Monad">
+<node CREATED="1429240062670" ID="ID_1188451100" MODIFIED="1429240065073" TEXT="features">
+<node CREATED="1429240065074" ID="ID_1110631022" MODIFIED="1429240082507" TEXT="execute all version of programs">
+<node CREATED="1429240847865" ID="ID_357282157" MODIFIED="1429240857538" TEXT="constraints">
+<node CREATED="1429240850194" ID="ID_1985666664" MODIFIED="1429240919179" TEXT="only modification not  changes  a type"/>
+<node CREATED="1429240921707" ID="ID_1517424928" MODIFIED="1429240929545" TEXT="functional programming"/>
+</node>
+</node>
+<node CREATED="1429240090579" ID="ID_1342250233" MODIFIED="1429240628592" TEXT="compare property from only codes">
+<node CREATED="1429240115383" ID="ID_1786233444" MODIFIED="1429240119710" TEXT="without tests"/>
+</node>
+<node CREATED="1429240122186" ID="ID_1149955114" MODIFIED="1429240134644" TEXT="formalized definition of versioning"/>
+</node>
+<node CREATED="1429240137407" ID="ID_864578740" MODIFIED="1429240139102" TEXT="implements">
+<node CREATED="1429240139103" ID="ID_799280952" MODIFIED="1429240147317" TEXT="Monad"/>
+<node CREATED="1429240217176" ID="ID_1640220072" MODIFIED="1429240220392" TEXT="in Haskell">
+<node CREATED="1429240220393" ID="ID_1828558485" MODIFIED="1429240235538" TEXT="list like structure"/>
+</node>
+</node>
+<node CREATED="1429240238810" ID="ID_979448712" MODIFIED="1429240590710" TEXT="future works">
+<node CREATED="1429240243577" ID="ID_227341693" MODIFIED="1429240263806" TEXT="version control includeing branching">
+<node CREATED="1429240263807" ID="ID_315393879" MODIFIED="1429240267889" TEXT="tree like structure"/>
+<node CREATED="1429240269767" ID="ID_107766158" MODIFIED="1429240275592" TEXT="graph"/>
+</node>
+<node CREATED="1429240277186" ID="ID_678030912" MODIFIED="1429240285808" TEXT="changes with type"/>
+</node>
+</node>
+</node>
+</map>