equal
deleted
inserted
replaced
|
1 \chapter{Isabelle and {\isac}} |
|
2 \label{cha:isabelle_isac} |
|
3 |
|
4 |
|
5 \section{Isabelle} |
|
6 \label{sec:isabelle} |
|
7 |
|
8 \subsection{User Requirements} |
|
9 about half page |
|
10 |
|
11 \subsection{Technologies} |
|
12 about 4 pages |
|
13 |
|
14 \subsection{Architecture} |
|
15 about 2 pages |
|
16 |
|
17 \subsection{Integration of Standard ML and Scala} |
|
18 about 1 page |
|
19 |
|
20 \subsection{Introduction of Parallelism and Concurrency} |
|
21 about 3 pages |
|
22 |
|
23 |
|
24 \section{{\isac}} |
|
25 \label{sec:isac} |
|
26 |
|
27 \subsection{Philosophy and User Requirements} |
|
28 about 2 pages |
|
29 |
|
30 \subsection{Initial Architecture} |
|
31 about 2 pages |
|
32 |
|
33 \subsection{Integration with Isabelle\'s Parallelism} |
|
34 about 2 pages |
|
35 |
|
36 \subsection{Concurrent User Session Management} |
|
37 about 5 pages |
|
38 |