Mercurial > hg > Papers > 2017 > atton-master

comparison mindmap.mm @ 0:56fe9667efa8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add mindmap
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Jan 2017 15:03:14 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:56fe9667efa8
1 <map version="1.0.1">
2 <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
3 <node CREATED="1482221910478" ID="ID_1754217905" MODIFIED="1482221935755" TEXT="&#x4fee;&#x8ad6;">
4 <node CREATED="1482221935759" ID="ID_43471633" MODIFIED="1482221939673" POSITION="right" TEXT="&#x30bf;&#x30a4;&#x30c8;&#x30eb;">
5 <node CREATED="1482221939675" ID="ID_1296789347" MODIFIED="1482221950529" TEXT="Type System of Continuation based C"/>
6 <node CREATED="1482222651209" ID="ID_461835641" MODIFIED="1482222661597" TEXT="verification methods of Continuation based"/>
7 </node>
8 <node CREATED="1482221990937" FOLDED="true" ID="ID_1386275252" MODIFIED="1482223391657" POSITION="left" TEXT="CbC">
9 <node CREATED="1482221993693" ID="ID_715381022" MODIFIED="1482221997710" TEXT="GearsOS">
10 <node CREATED="1482222011168" ID="ID_730492008" MODIFIED="1482222013581" TEXT="CodeGear"/>
11 <node CREATED="1482222013828" ID="ID_376534265" MODIFIED="1482222015436" TEXT="DataGear"/>
12 </node>
13 <node CREATED="1482222007269" ID="ID_799040958" MODIFIED="1482222282037" TEXT="target">
14 <node CREATED="1482222282038" ID="ID_1200540305" MODIFIED="1482222291997" TEXT="embedded systems">
15 <node CREATED="1482222291998" ID="ID_1155059144" MODIFIED="1482222301101" TEXT="as architecture independent assembler"/>
16 </node>
17 </node>
18 <node CREATED="1482222016940" ID="ID_580020090" MODIFIED="1482222019983" TEXT="Meta Computations">
19 <node CREATED="1482222020617" ID="ID_889133880" MODIFIED="1482222021834" TEXT="goto"/>
20 <node CREATED="1482222022059" ID="ID_399619212" MODIFIED="1482222030432" TEXT="memory allocation"/>
21 <node CREATED="1482222030824" ID="ID_1991044142" MODIFIED="1482222035273" TEXT="verification">
22 <node CREATED="1482222036316" ID="ID_580529409" MODIFIED="1482222037661" TEXT="model check">
23 <node CREATED="1482222453168" ID="ID_1183894986" MODIFIED="1482222456387" TEXT="using itself"/>
24 <node CREATED="1482222458636" ID="ID_847927718" MODIFIED="1482222467074" TEXT="convert to verifiable language">
25 <node CREATED="1482222467075" ID="ID_498881041" MODIFIED="1482222469271" TEXT="cbmc"/>
26 </node>
27 </node>
28 <node CREATED="1482222037895" ID="ID_1425357343" MODIFIED="1482222038741" TEXT="proof">
29 <node CREATED="1482222438684" ID="ID_1227239485" MODIFIED="1482222442387" TEXT="using itself"/>
30 <node CREATED="1482222442683" ID="ID_1450250056" MODIFIED="1482222447146" TEXT="another language"/>
31 </node>
32 </node>
33 <node CREATED="1482222225427" ID="ID_1863901686" MODIFIED="1482222227129" TEXT="stub"/>
34 <node CREATED="1482222229712" ID="ID_715526680" MODIFIED="1482222231789" TEXT="open system"/>
35 </node>
36 <node CREATED="1482221997960" ID="ID_1972351768" MODIFIED="1482222003575" TEXT="CodeSegment">
37 <node CREATED="1482222253509" ID="ID_1734116065" MODIFIED="1482222272375" TEXT="tail call only"/>
38 <node CREATED="1482222544810" ID="ID_745453988" MODIFIED="1482222555546" TEXT="composability">
39 <node CREATED="1482222555547" ID="ID_1704453545" MODIFIED="1482222564855" TEXT="run-time connection">
40 <node CREATED="1482222588858" ID="ID_1106262807" MODIFIED="1482222593248" TEXT="like Alice?"/>
41 </node>
42 <node CREATED="1482222566356" ID="ID_352025867" MODIFIED="1482222570805" TEXT="compile-time connection">
43 <node CREATED="1482222570806" ID="ID_1629059714" MODIFIED="1482222574256" TEXT="make"/>
44 <node CREATED="1482222574505" ID="ID_553014003" MODIFIED="1482222583672" TEXT="linker"/>
45 </node>
46 </node>
47 </node>
48 <node CREATED="1482222003793" ID="ID_934649172" MODIFIED="1482222005578" TEXT="DataSegment">
49 <node CREATED="1482222234205" ID="ID_1162486321" MODIFIED="1482222250539" TEXT="union of struct"/>
50 </node>
51 <node CREATED="1482222310973" ID="ID_480941648" MODIFIED="1482222484423" TEXT="purpose">
52 <node CREATED="1482222485077" ID="ID_1256707103" MODIFIED="1482222493654" TEXT="parallel"/>
53 <node CREATED="1482222494038" ID="ID_1057807575" MODIFIED="1482222529460" TEXT="reliance"/>
54 <node CREATED="1482222523357" ID="ID_1553645063" MODIFIED="1482222523357" TEXT=""/>
55 </node>
56 <node CREATED="1482222598543" ID="ID_333333590" MODIFIED="1482222600955" TEXT="executables">
57 <node CREATED="1482222600956" ID="ID_937738784" MODIFIED="1482222606772" TEXT="red-black tree"/>
58 <node CREATED="1482222607058" ID="ID_441757614" MODIFIED="1482222646166" TEXT="synchronized queue"/>
59 </node>
60 </node>
61 <node CREATED="1482222701114" FOLDED="true" ID="ID_1128453777" MODIFIED="1482223428054" POSITION="right" TEXT="Type System">
62 <node CREATED="1482222703166" ID="ID_1131357019" MODIFIED="1482222709834" TEXT="simple type">
63 <node CREATED="1482222709835" ID="ID_1320515160" MODIFIED="1482222716172" TEXT="lambda calculs">
64 <node CREATED="1482222716173" ID="ID_764423043" MODIFIED="1482222723728" TEXT="alpha conversion"/>
65 <node CREATED="1482222724026" ID="ID_836760115" MODIFIED="1482222726684" TEXT="beta reduction"/>
66 <node CREATED="1482222728845" ID="ID_1689964966" MODIFIED="1482222731501" TEXT="de brujin index"/>
67 <node CREATED="1482222733647" ID="ID_1888263821" MODIFIED="1482222739271" TEXT="literals"/>
68 <node CREATED="1482222739526" ID="ID_102897226" MODIFIED="1482222741467" TEXT="definitions">
69 <node CREATED="1482222742985" ID="ID_355936501" MODIFIED="1482222744367" TEXT="variable"/>
70 <node CREATED="1482222744612" ID="ID_410323730" MODIFIED="1482222747132" TEXT="abstraction"/>
71 <node CREATED="1482222747420" ID="ID_1932069881" MODIFIED="1482222748843" TEXT="application"/>
72 </node>
73 </node>
74 <node CREATED="1482222750392" ID="ID_240081393" MODIFIED="1482222761056" TEXT="types">
75 <node CREATED="1482222761057" ID="ID_1784300464" MODIFIED="1482222762584" TEXT="base type">
76 <node CREATED="1482222762585" ID="ID_180979318" MODIFIED="1482222763121" TEXT="int"/>
77 <node CREATED="1482222763420" ID="ID_958834276" MODIFIED="1482222764756" TEXT="char"/>
78 </node>
79 <node CREATED="1482222768335" ID="ID_1789225146" MODIFIED="1482222876437" TEXT="&#x7528;&#x8a9e;&#x5fd8;&#x308c;&#x305f;">
80 <node CREATED="1482222876438" ID="ID_718205970" MODIFIED="1482222877702" TEXT="sum"/>
81 <node CREATED="1482222877894" ID="ID_911219949" MODIFIED="1482222878959" TEXT="product"/>
82 <node CREATED="1482222879171" ID="ID_310699645" MODIFIED="1482222881609" TEXT="list"/>
83 </node>
84 </node>
85 </node>
86 <node CREATED="1482222884176" ID="ID_45203894" MODIFIED="1482222896720" TEXT="subtype"/>
87 <node CREATED="1482222962289" ID="ID_1055304856" MODIFIED="1482222979908" TEXT="generic type"/>
88 <node CREATED="1482222834747" ID="ID_696024551" MODIFIED="1482222840842" TEXT="type inference algorithms">
89 <node CREATED="1482222840843" ID="ID_197920761" MODIFIED="1482222845213" TEXT="algorithm W"/>
90 <node CREATED="1482222845427" ID="ID_1889623223" MODIFIED="1482222849546" TEXT="Hindly-Milner"/>
91 </node>
92 </node>
93 <node CREATED="1482223001279" ID="ID_352118659" MODIFIED="1482223007803" POSITION="left" TEXT="model checking">
94 <node CREATED="1482223008161" ID="ID_360203122" MODIFIED="1482223014473" TEXT="symbolic">
95 <node CREATED="1482223014474" ID="ID_1160976375" MODIFIED="1482223016995" TEXT="cbmc"/>
96 </node>
97 <node CREATED="1482223078731" ID="ID_283009196" MODIFIED="1482223079850" TEXT="akasha">
98 <node CREATED="1482223084863" ID="ID_1872994741" MODIFIED="1482223100550" TEXT="Brute-force"/>
99 </node>
100 </node>
101 <node CREATED="1482223018734" ID="ID_41404581" MODIFIED="1482223021822" POSITION="right" TEXT="proofs">
102 <node CREATED="1482223021823" ID="ID_233838165" MODIFIED="1482223027612" TEXT="systemF"/>
103 <node CREATED="1482223027964" ID="ID_1544350887" MODIFIED="1482223052084" TEXT="Curry-Howard Isomorphism"/>
104 <node CREATED="1482223056992" ID="ID_1107619493" MODIFIED="1482223063552" TEXT="natural deduction"/>
105 <node CREATED="1482223116497" ID="ID_1653251645" MODIFIED="1482223119546" TEXT="first-order logic"/>
106 <node CREATED="1482223408151" ID="ID_852684181" MODIFIED="1482223409546" TEXT="category">
107 <node CREATED="1482223417849" ID="ID_127770600" MODIFIED="1482223422926" TEXT="object"/>
108 <node CREATED="1482223423183" ID="ID_1930419478" MODIFIED="1482223424937" TEXT="morphism"/>
109 <node CREATED="1482223409547" ID="ID_943630535" MODIFIED="1482223412609" TEXT="functor"/>
110 <node CREATED="1482223412853" ID="ID_1513870177" MODIFIED="1482223416614" TEXT="monad"/>
111 </node>
112 </node>
113 <node CREATED="1482223143899" ID="ID_1616397445" MODIFIED="1482223184489" POSITION="left" TEXT="on going">
114 <node CREATED="1482223185040" ID="ID_52304753" MODIFIED="1482223199912" TEXT="define type system of cbc">
115 <node CREATED="1482223199913" ID="ID_1586295609" MODIFIED="1482223200934" TEXT="agda"/>
116 <node CREATED="1482223201171" ID="ID_91193408" MODIFIED="1482223204915" TEXT="simple type"/>
117 <node CREATED="1482223205147" ID="ID_1398078904" MODIFIED="1482223208478" TEXT="sub type"/>
118 <node CREATED="1482223298624" ID="ID_976150345" MODIFIED="1482223305634" TEXT="code segment composition"/>
119 </node>
120 <node CREATED="1482223211660" ID="ID_1152569760" MODIFIED="1482223226516" TEXT="generate stub/ds">
121 <node CREATED="1482223226517" ID="ID_1105412168" MODIFIED="1482223231562" TEXT="from type informations"/>
122 </node>
123 <node CREATED="1482223232935" ID="ID_1561456436" MODIFIED="1482223246635" TEXT="proof red-black tree"/>
124 <node CREATED="1482223256853" ID="ID_1762699523" MODIFIED="1482223312589" TEXT="type system as meta computations">
125 <node CREATED="1482223312590" ID="ID_1169523272" MODIFIED="1482223336401" TEXT="swap composition implementation"/>
126 <node CREATED="1482223336909" ID="ID_239798407" MODIFIED="1482223368583" TEXT="prove commutativity of composition">
127 <node CREATED="1482223445928" ID="ID_308200047" MODIFIED="1482223447673" TEXT="like monad"/>
128 </node>
129 </node>
130 </node>
131 </node>
132 </map>