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
29
30
\subsection{Initial Architecture}
31
32
33
\subsection{Integration with Isabelle\'s Parallelism}
34
35
36
\subsection{Concurrent User Session Management}
37
about 5 pages
38