# HG changeset patch # User Yasutaka Higa # Date 1429251814 -32400 # Node ID 3965ed0b4a502844523e04facfe8043b0509143a # Parent 565e0f7b409c38be6367c8f8bb7fea33dccadb0b Wrote first chapter diff -r 565e0f7b409c -r 3965ed0b4a50 cfopm.tex --- a/cfopm.tex Fri Apr 17 12:32:42 2015 +0900 +++ b/cfopm.tex Fri Apr 17 15:23:34 2015 +0900 @@ -77,27 +77,26 @@ % creates the second title. It will be ignored for other modes. \IEEEpeerreviewmaketitle - - -\section{Introduction} -% no \IEEEPARstart -This demo file is intended to serve as a ``starter file'' -for IEEE conference papers produced under \LaTeX\ using -IEEEtran.cls version 1.8a and later. -% You must have at least 2 lines in the paragraph with the drop letter -% (should never be an issue) -I wish you the best of success. +\section{Continuation based C} % enough only describe code/data segment? +We proposed programming style using unit of program named code segment and data segment. % TODO: ref +Code segment is a unit of calculation is not dependents state. +Data segment contains values of calculation and calculation context called meta data segment. +Execution of program is represented by moves interconnected code segments. +Code/Data segment style programming was suitable to state based concurrent program. -\hfill mds - -\hfill September 17, 2014 +Programming language 'Continuation based C' (CbC) supported code/data segment style programming. % TODO: ref +CbC is lower language of C removed function call and loop-statements(for, while) and added continuation by goto and code segment. +Code segment of CbC is function without return values in C. +Interconnections of code segment represents goto with environment. +CbC can define meta calculation as calculation of calculation named meta code segment. +Meta computations contains various computations including partiality, nondeterminism, side-effects, exceptions and continuations. -\subsection{Subsection Heading Here} -Subsection text here. +\section{Meta computation and Monads} +Meta computations in CbC formalized by Monads so prevent chaos by unlimited computations. +Monads are a notion of Category Theory, in programs Monad correspondence of normal/meta computations. +For example, function can fail is represented direct sum of values and bottom. - -\subsubsection{Subsubsection Heading Here} -Subsubsection text here. +\section{Modification of Programs using a Monad} % An example of a floating figure using the graphicx package.