Changes in / [32b018e:d80f92c]


Ignore:
Files:
1 added
13 edited

Legend:

Unmodified
Added
Removed

  • .gitignore

    r32b018e rd80f92c  
    1212libcfa/Makefile
    1313src/Makefile
    14 version
    1514
    1615# genereted by premake

  • Makefile.in

    r32b018e rd80f92c  
    132132CFA_PREFIX = @CFA_PREFIX@
    133133CFLAGS = @CFLAGS@
     134CONFIG_STATUS_DEPENDENCIES = @CONFIG_STATUS_DEPENDENCIES@
    134135CPP = @CPP@
    135136CPPFLAGS = @CPPFLAGS@

  • configure

    r32b018e rd80f92c  
    11#! /bin/sh
    22# Guess values for system-dependent variables and create Makefiles.
    3 # Generated by GNU Autoconf 2.68 for cfa-cc 1.0.0.0.
     3# Generated by GNU Autoconf 2.68 for cfa-cc 1.0.0.
    44#
    55# Report bugs to <cforall@plg.uwaterloo.ca>.
    … …  
    561561PACKAGE_NAME='cfa-cc'
    562562PACKAGE_TARNAME='cfa-cc'
    563 PACKAGE_VERSION='1.0.0.0'
    564 PACKAGE_STRING='cfa-cc 1.0.0.0'
     563PACKAGE_VERSION='1.0.0'
     564PACKAGE_STRING='cfa-cc 1.0.0'
    565565PACKAGE_BUGREPORT='cforall@plg.uwaterloo.ca'
    566566PACKAGE_URL=''
    … …  
    646646CFA_BACKEND_CC
    647647BACKEND_CC
     648CONFIG_STATUS_DEPENDENCIES
    648649MAINT
    649650MAINTAINER_MODE_FALSE
    … …  
    12781279  # This message is too long to be a string in the A/UX 3.1 sh.
    12791280  cat <<_ACEOF
    1280 \`configure' configures cfa-cc 1.0.0.0 to adapt to many kinds of systems.
     1281\`configure' configures cfa-cc 1.0.0 to adapt to many kinds of systems.
    12811282
    12821283Usage: $0 [OPTION]... [VAR=VALUE]...
    … …  
    13441345if test -n "$ac_init_help"; then
    13451346  case $ac_init_help in
    1346      short | recursive ) echo "Configuration of cfa-cc 1.0.0.0:";;
     1347     short | recursive ) echo "Configuration of cfa-cc 1.0.0:";;
    13471348   esac
    13481349  cat <<\_ACEOF
    … …  
    14481449if $ac_init_version; then
    14491450  cat <<\_ACEOF
    1450 cfa-cc configure 1.0.0.0
     1451cfa-cc configure 1.0.0
    14511452generated by GNU Autoconf 2.68
    14521453
    … …  
    20362037running configure, to aid debugging if configure makes a mistake.
    20372038
    2038 It was created by cfa-cc $as_me 1.0.0.0, which was
     2039It was created by cfa-cc $as_me 1.0.0, which was
    20392040generated by GNU Autoconf 2.68.  Invocation command line was
    20402041
    … …  
    29002901# Define the identity of the package.
    29012902 PACKAGE='cfa-cc'
    2902  VERSION='1.0.0.0'
     2903 VERSION='1.0.0'
    29032904
    29042905
    … …  
    29642965                        # may require auto* software to be installed
    29652966
    2966 echo ${PACKAGE_VERSION} > version
    2967 ver_major=`echo ${PACKAGE_VERSION} | sed -r 's/([0-9]+)\.([0-9]+)\.([0-9]+)\.([0-9]+)/\1/'`
    2968 ver_minor=`echo ${PACKAGE_VERSION} | sed -r 's/([0-9]+)\.([0-9]+)\.([0-9]+)\.([0-9]+)/\2/'`
    2969 ver_patch=`echo ${PACKAGE_VERSION} | sed -r 's/([0-9]+)\.([0-9]+)\.([0-9]+)\.([0-9]+)/\3/'`
    2970 ver_build=`echo ${PACKAGE_VERSION} | sed -r 's/([0-9]+)\.([0-9]+)\.([0-9]+)\.([0-9]+)/\4/'`
    2971 
    2972 # AC_SUBST([CONFIG_STATUS_DEPENDENCIES], ['$(top_srcdir)/version'])
     2967ver_major=`cat version | sed -r 's/([0-9]+)\.([0-9]+)\.([0-9]+)\.([0-9]+)/\1/'`
     2968ver_minor=`cat version | sed -r 's/([0-9]+)\.([0-9]+)\.([0-9]+)\.([0-9]+)/\2/'`
     2969ver_patch=`cat version | sed -r 's/([0-9]+)\.([0-9]+)\.([0-9]+)\.([0-9]+)/\3/'`
     2970ver_build=`cat version | sed -r 's/([0-9]+)\.([0-9]+)\.([0-9]+)\.([0-9]+)/\4/'`
     2971ver_short="\"${ver_major}\""
     2972ver__long="\"${ver_major}.${ver_minor}\""
     2973ver__norm="\"${ver_major}.${ver_minor}.${ver_patch}\""
     2974ver__full="\"${ver_major}.${ver_minor}.${ver_patch}.${ver_build}\""
     2975
     2976CONFIG_STATUS_DEPENDENCIES='$(top_srcdir)/version'
     2977
    29732978
    29742979cat >>confdefs.h <<_ACEOF
    … …  
    29932998
    29942999cat >>confdefs.h <<_ACEOF
    2995 #define CFA_VERSION_SHORT "${ver_major}"
     3000#define CFA_VERSION_SHORT ${ver_short}
    29963001_ACEOF
    29973002
    29983003
    29993004cat >>confdefs.h <<_ACEOF
    3000 #define CFA_VERSION "${ver_major}.${ver_minor}"
     3005#define CFA_VERSION ${ver__long}
    30013006_ACEOF
    30023007
    30033008
    30043009cat >>confdefs.h <<_ACEOF
    3005 #define CFA_VERSION_LONG "${ver_major}.${ver_minor}.${ver_patch}"
     3010#define CFA_VERSION_LONG ${ver__norm}
    30063011_ACEOF
    30073012
    30083013
    30093014cat >>confdefs.h <<_ACEOF
    3010 #define CFA_VERSION_FULL "${ver_major}.${ver_minor}.${ver_patch}.${ver_build}"
     3015#define CFA_VERSION_FULL ${ver__full}
    30113016_ACEOF
    30123017
    … …  
    63996404# values after options handling.
    64006405ac_log="
    6401 This file was extended by cfa-cc $as_me 1.0.0.0, which was
     6406This file was extended by cfa-cc $as_me 1.0.0, which was
    64026407generated by GNU Autoconf 2.68.  Invocation command line was
    64036408
    … …  
    64656470ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
    64666471ac_cs_version="\\
    6467 cfa-cc config.status 1.0.0.0
     6472cfa-cc config.status 1.0.0
    64686473configured by $0, generated by GNU Autoconf 2.68,
    64696474  with options \\"\$ac_cs_config\\"

  • configure.ac

    r32b018e rd80f92c  
    33
    44AC_PREREQ([2.68])
    5 AC_INIT([cfa-cc],[1.0.0.0],[cforall@plg.uwaterloo.ca])
     5AC_INIT([cfa-cc],[1.0.0],[cforall@plg.uwaterloo.ca])
    66AC_CONFIG_AUX_DIR([automake])
    77#AC_CONFIG_SRCDIR([src/main.cc])
    … …  
    1818AM_MAINTAINER_MODE(enable)                      # may require auto* software to be installed
    1919
    20 echo ${PACKAGE_VERSION} > version
    21 ver_major=`echo ${PACKAGE_VERSION} | sed -r 's/([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)/\1/'`
    22 ver_minor=`echo ${PACKAGE_VERSION} | sed -r 's/([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)/\2/'`
    23 ver_patch=`echo ${PACKAGE_VERSION} | sed -r 's/([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)/\3/'`
    24 ver_build=`echo ${PACKAGE_VERSION} | sed -r 's/([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)/\4/'`
     20ver_major=`cat version | sed -r 's/([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)/\1/'`
     21ver_minor=`cat version | sed -r 's/([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)/\2/'`
     22ver_patch=`cat version | sed -r 's/([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)/\3/'`
     23ver_build=`cat version | sed -r 's/([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)\.([[0-9]]+)/\4/'`
     24ver_short="\"${ver_major}\""
     25ver__long="\"${ver_major}.${ver_minor}\""
     26ver__norm="\"${ver_major}.${ver_minor}.${ver_patch}\""
     27ver__full="\"${ver_major}.${ver_minor}.${ver_patch}.${ver_build}\""
    2528
    26 # AC_SUBST([CONFIG_STATUS_DEPENDENCIES], ['$(top_srcdir)/version'])
     29AC_SUBST([CONFIG_STATUS_DEPENDENCIES], ['$(top_srcdir)/version'])
    2730AC_DEFINE_UNQUOTED(CFA_VERSION_MAJOR, ${ver_major}, [Major version number.])
    2831AC_DEFINE_UNQUOTED(CFA_VERSION_MINOR, ${ver_minor}, [Minor version number.])
    2932AC_DEFINE_UNQUOTED(CFA_VERSION_PATCH, ${ver_patch}, [Patch version number.])
    3033AC_DEFINE_UNQUOTED(CFA_VERSION_BUILD, ${ver_build}, [Build version number.])
    31 AC_DEFINE_UNQUOTED(CFA_VERSION_SHORT, ["${ver_major}"], [Major])
    32 AC_DEFINE_UNQUOTED(CFA_VERSION, ["${ver_major}.${ver_minor}"], [Major.Minor])
    33 AC_DEFINE_UNQUOTED(CFA_VERSION_LONG, ["${ver_major}.${ver_minor}.${ver_patch}"], [Major.Minor.Patch])
    34 AC_DEFINE_UNQUOTED(CFA_VERSION_FULL, ["${ver_major}.${ver_minor}.${ver_patch}.${ver_build}"], [Major.Minor.Patch.Build])
     34AC_DEFINE_UNQUOTED(CFA_VERSION_SHORT, ${ver_short}, [Major])
     35AC_DEFINE_UNQUOTED(CFA_VERSION, ${ver__long}, [Major.Minor])
     36AC_DEFINE_UNQUOTED(CFA_VERSION_LONG, ${ver__norm}, [Major.Minor.Patch])
     37AC_DEFINE_UNQUOTED(CFA_VERSION_FULL, ${ver__full}, [Major.Minor.Patch.Build])
    3538
    3639# Installation paths

  • doc/bibliography/cfa.bib

    r32b018e rd80f92c  
    2121%  tcs: Theoretical Computer Science
    2222@string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
    23 % @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
    2423@string{ieeese="IEEE Transactions on Software Engineering"}
    25 % @string{ieeese="IEEE Trans. Softw. Eng."}
    2624@string{spe="Software---\-Practice and Experience"}
    27 % @string{spe="Softw. Pract. Exp."}
    28 @string{ccpe="Concurrency and Computation: Practice and Experience"}
    29 % @string{ccpe="Concurrency Comput. Pract. Exp."}
    3025@string{sigplan="SIGPLAN Notices"}
    31 % @string{sigplan="SIGPLAN Not."}
    3226@string{joop="Journal of Object-Oriented Programming"}
    33 % @string{joop="J. of Object-Oriented Program."}
    3427@string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
    3528@string{osr="Operating Systems Review"}
    3629@string{pldi="Programming Language Design and Implementation"}
    37 @string{mathann="Mathematische Annalen"}
    38 % @string{mathann="Math. Ann."}
    3930
    4031% A
    … …  
    4839    booktitle   = {Parallel Programming in {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    4940    publisher   = {MIT Press},
    50     address     = {New York},
    5141    series      = {Scientific and Engineering Computation Series},
    5242    year        = 1996,
    … …  
    130120    year        = 1996,
    131121    pages       = {483-499},
    132     publisher   = {Addison-Wesley Longman Publishing},
    133     address     = {Boston},
     122    publisher   = {Addison-Wesley Longman Publishing Co., Inc.},
     123    address     = {Boston, MA, USA},
    134124}
    135125
    … …  
    171161    author      = {Gul A. Agha},
    172162    title       = {Actors: A Model of Concurrent Computation in Distributed Systems},
    173     publisher   = {MIT Press, Cambridge},
     163    publisher   = {MIT Press, Cambridge, Mass.},
    174164    year        = 1986
    175165}
    … …  
    321311    publisher   = {Microsoft Press},
    322312    year        = 1997,
    323     edition     = {3rd},
     313    edition     = {third},
    324314}
    325315
    … …  
    335325    year        = 1977,
    336326    pages       = {604-605},
    337 }
    338 
    339 @manual{Akka,
    340     keywords    = {Akka actor model},
    341     contributer = {pabuhr@plg},
    342     title       = {{A}kka {S}cala Documentation, Release 2.4.11},
    343     organization= {Lightbend Inc.},
    344     month       = sep,
    345     year        = 2016,
    346     note        = {\href{http://doc.akka.io/docs/akka/2.4/AkkaScala.pdf}{http://\-doc.akka.io/\-docs/\-akka/\-2.4/\-AkkaScala.pdf}},
    347327}
    348328
    … …  
    398378    author      = {M. Raynal},
    399379    title       = {Algorithms for Mutual Exclusion},
    400     publisher   = {MIT Press},
    401     address     = {Cambridge},
     380    publisher   = {The MIT Press},
     381    address     = {Cambridge, Massachusetts},
    402382    series      = {Scientific Computation Series},
    403383    year        = 1986,
    … …  
    414394    pages       = {329-342},
    415395    publisher   = {Springer},
    416     address     = {New York},
    417396    year        = 2005,
    418397    volume      = 3669,
    … …  
    425404    editor      = {Richard L. Sites},
    426405    title       = {Alpha Architecture Reference Manual},
    427     publisher   = {Digital Press, Burlington},
     406    publisher   = {Digital Press, One Burlington Woods Drive, Burlington, MA, U. S. A., 01803},
    428407    year        = 1992,
    429408}
    … …  
    434413    editor      = {Mary Shaw},
    435414    title       = {{ALPHARD}: Form and Content},
    436     publisher   = {Springer},
    437     address     = {New York},
     415    publisher   = {Springer-Verlag},
    438416    year        = 1981,
    439417    comment     = {Collection of papers about Alphard.}
    … …  
    492470    editor      = {Gul Agha and Peter Wegner and Akinori Yonezawa},
    493471    publisher   = {MIT Press},
    494     address     = {New York},
    495472    year        = 1993,
    496473    pages       = {107-150},
    … …  
    518495    location    = {Toulouse, France},
    519496    doi         = {http://doi.acm.org/10.1145/318773.319251},
    520     publisher   = {Springer},
     497    publisher   = {Springer-Verlag},
    521498    address     = {London, UK},
    522499}
    … …  
    527504    title       = {The Annotated {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Reference Manual},
    528505    publisher   = {Addison-Wesley},
    529     address     = {Boston},
    530506    year        = 1990,
    531     edition     = {1st},
     507    edition     = {first},
    532508}
    533509
    … …  
    591567    year        = 2008,
    592568    isbn        = {0123705916, 9780123705914},
    593     publisher   = {Morgan Kaufmann Publishers},
    594     address     = {San Francisco},
     569    publisher   = {Morgan Kaufmann Publishers Inc.},
     570    address     = {San Francisco, CA, USA},
    595571}
    596572
    … …  
    771747}
    772748
    773 @misc{BoostCoroutines15,
    774     keywords    = {Boost Coroutine Library},
    775     contributer = {pabuhr@plg},
    776     author      = {Oliver Kowalke},
    777     title       = {Boost Coroutine Library},
    778     year        = 2015,
    779     note        = {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
    780                   {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}} [Accessed September 2016]},
    781 }
    782 
    783749@mastersthesis{Krischer02,
    784750    author      = {Roy Krischer },
    … …  
    813779    editor      = {C. Dony and J. L. Knudsen and A. Romanovsky and A. Tripathi},
    814780    booktitle   = {Advanced Topics in Exception Handling Techniques},
    815     publisher   = {Springer},
     781    publisher   = {Springer-Verlag},
    816782    series      = {Lecture Notes in Computer Science},
    817783    volume      = 4119,
    … …  
    827793    author      = {Brian W. Kernighan and Dennis M. Ritchie},
    828794    title       = {The {C} Programming Language},
    829     publisher   = {Prentice-Hall},
    830     address     = {Englewood Cliffs},
     795    publisher   = {Prentice Hall},
    831796    year        = 1988,
    832     edition     = {2nd},
    833     series      = {Prentice-Hall Software Series},
     797    edition     = {second},
     798    series      = {Prentice Hall Software Series},
    834799    comment     = {
    835800         based on draft-proposed ANSI C
    … …  
    842807    author      = {Brian W. Kernighan and Dennis M. Ritchie},
    843808    title       = {The {C} Programming Language},
    844     publisher   = {Prentice-Hall},
    845     address     = {Englewood Cliffs},
     809    publisher   = {Prentice Hall},
    846810    year        = 1978,
    847     edition     = {1st},
     811    edition     = {first},
    848812}
    849813
    … …  
    871835
    872836@manual{C++Concepts,
    873     keywords    = {ISO/IEC TS 19217:2015},
    874     contributer = {a3moss@uwaterloo.ca},
    875     key         = {C++ Concepts},
    876     title       = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts},
    877     organization= {International Standard ISO/IEC TS 19217:2015},
    878     publisher   = {International Standard Organization},
    879     address     = {http://www.iso.org},
    880     year        = 2015
     837        keywords = {ISO/IEC TS 19217:2015},
     838        contributer = {a3moss@uwaterloo.ca},
     839        key = {C++ Concepts},
     840        title = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts},
     841        organization = {International Standard ISO/IEC TS 19217:2015},
     842        publisher = {International Standard Organization},
     843        address = {http://www.iso.org},
     844        year = 2015
    881845}
    882846
    … …  
    950914    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Primer},
    951915    publisher   = {Addison-Wesley},
    952     address     = {Boston},
    953916    year        = 1991,
    954     edition     = {2nd},
     917    edition     = {second},
    955918    note        = {QA76.73.C15L57},
    956919}
    … …  
    962925    title       = {The {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language},
    963926    publisher   = {Addison-Wesley},
    964     address     = {Boston},
    965927    year        = 1986,
    966     edition     = {1st},
     928    edition     = {first},
    967929    series      = {Addison-Wesley Series in Computer Science}
    968930}
    … …  
    974936    title       = {The {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language},
    975937    publisher   = {Addison-Wesley},
    976     address     = {Boston},
    977938    year        = 1991,
    978     edition     = {2nd},
     939    edition     = {second},
    979940}
    980941
    … …  
    984945    author      = {Bjarne Stroustrup},
    985946    title       = {The {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language},
    986     publisher   = {Addison Wesley Longman},
     947    publisher   = {Addison-Wesley},
    987948    year        = 1997,
    988     edition     = {3rd},
     949    edition     = {third},
    989950}
    990951
    … …  
    10411002    title       = {Classics in Software Engineering},
    10421003    publisher   = {Yourdon Press},
    1043     address     = {New York},
    10441004    year        = 1979,
    10451005}
    … …  
    10821042                Moss and J. Craig Schaffert and Robert Scheifler and Alan Snyder},
    10831043    title       = {CLU Reference Manual},
    1084     publisher   = {Springer},
    1085     address     = {New York},
     1044    publisher   = {Springer-Verlag},
    10861045    year        = 1981,
    10871046    volume      = 114,
    … …  
    10941053    key         = {Cobol14},
    10951054    title       = {Programming Languages -- {Cobol}},
    1096     edition     = {2nd},
     1055    edition     = {second},
    10971056    organization= {International Standard ISO/IEC 1989:2014},
    10981057    publisher   = {International Standard Organization},
    … …  
    11471106    title       = {Commentary on Standard {ML}},
    11481107    publisher   = {MIT Press},
    1149     address     = {Cambridge},
     1108    address     = {Cambridge, Massachusetts, U.S.A.},
    11501109    year        = 1991
    11511110}
    … …  
    11731132    year        = 1987,
    11741133    pages       = {151-170},
    1175     publisher   = {Springer}
     1134    publisher   = {Springer-Verlag}
    11761135}
    11771136
    … …  
    11791138    keywords    = {common lisp},
    11801139    contributer = {pabuhr@plg},
    1181     author      = {Guy Steele},
     1140    author      = {G. Steele},
    11821141    title       = {COMMON LISP: The Language},
    11831142    publisher   = {Digital Press},
    1184     address     = {New York},
    11851143    year        = 1984
    11861144}
    … …  
    12251183    year        = 1985,
    12261184    isbn        = {0-13-153271-5},
    1227     publisher   = {Prentice-Hall},
     1185    publisher   = {Prentice-Hall, Inc.},
    12281186    address     = {Upper Saddle River, NJ, USA},
    12291187    note        = {\href{http://www.usingcsp.com/cspbook.pdf}{http://\-www.usingcsp.com/\-cspbook.pdf}},
    … …  
    12441202    author      = {Alfred V. Aho and Monica S. Lam and Ravi Sethi and Jeffrey D. Ullman},
    12451203    title       = {Compilers: Principles, Techniques, and Tools},
    1246     edition     = {2nd},
     1204    edition     = {second},
    12471205    year        = {2006},
    1248     publisher   = {Addison-Wesley Longman Publishing},
     1206    publisher   = {Addison-Wesley Longman Publishing Co., Inc.},
    12491207    address     = {Boston, MA, USA},
    12501208}
    … …  
    12541212    contributer = {pabuhr@plg},
    12551213    author      = {David F. Bacon and Susan L. Graham and Oliver J. Sharp},
    1256     title       = {Compiler Transformations for High-Performance Com\-puting},
     1214    title       = {Compiler Transformations for High-Performance Computing},
    12571215    journal     = acmcs,
    12581216    volume      = 26,
    … …  
    12921250    month       = sep,
    12931251    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    1294     note        = {\href{http://plg.uwaterloo.ca/theses/MokThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-MokThesis.pdf}},
     1252    note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-theses/\-MokThesis.ps.gz}}},
    12951253}
    12961254
    … …  
    13701328    editor      = {P. E. Lauer},
    13711329    pages       = {165-198},
    1372     publisher   = {Springer},
     1330    publisher   = {Springer-Verlag},
    13731331    address     = {Berlin, DE},
    13741332    year        = 1993,
    … …  
    14351393    month       = jul,
    14361394    year        = 2015,
    1437     note        = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-6.1.0.sh}{\textsf{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-6.1.0.sh}}},
     1395    note        = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-6.1.0.sh}{\textsf{http://plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-6.1.0.sh}}},
    14381396}
    14391397
    … …  
    14431401    author      = {Alan Burns and Geoff Davies},
    14441402    title       = {Concurrent Programming},
    1445     publisher   = {Addison Wesley Longman},
     1403    publisher   = {Addison-Wesley},
    14461404    year        = 1993,
    14471405}
    … …  
    14661424    title       = {Concurrent Programming in {J}ava: Design Principles and Patterns},
    14671425    publisher   = {Addison-Wesley},
    1468     address     = {Boston},
    14691426    year        = 1997,
    1470     edition     = {1st},
     1427    edition     = {first},
    14711428}
    14721429
    … …  
    14781435    publisher   = {Oxford University Press},
    14791436    year        = 1998,
    1480     edition     = {1st},
     1437    edition     = {first},
    14811438}
    14821439
    … …  
    14871444    title       = {Concurrent Programming in {J}ava: Design Principles and Patterns},
    14881445    publisher   = {Addison-Wesley},
    1489     address     = {Boston},
    14901446    year        = 2000,
    1491     edition     = {2nd},
     1447    edition     = {second},
    14921448}
    14931449
    … …  
    14971453    author      = {N. H. Gehani and W. D. Roome},
    14981454    title       = {The {Concurrent C} Programming Language},
    1499     publisher   = {Silicon Press},
    1500     address     = {Summit},
     1455    publisher   = {Silicon Press, NJ},
    15011456    year        = 1989,
    15021457}
    … …  
    15071462    author      = {Gregory R. Andrews},
    15081463    title       = {Concurrent Programming: Principles and Practice},
    1509     publisher   = {Benjamin/Cummings Publish\-ing},
    1510     address     = {Redwood City},
     1464    publisher   = {Benjamin/Cummings Publishing Company, Inc., Redwood City, California},
    15111465    year        = 1991,
    15121466}
    … …  
    15171471    author      = {Peter A. Buhr and Ashif S. Harji},
    15181472    title       = {Concurrent Urban Legends},
    1519     journal     = ccpe,
     1473    journal     = {Concurrency and Computation: Practice and Experience},
    15201474    month       = aug,
    15211475    year        = 2005,
    … …  
    15431497    publisher   = {Cambridge University Press},
    15441498    year        = 1998,
    1545     edition     = {2nd},
     1499    edition     = {second},
    15461500}
    15471501
    … …  
    15601514    title       = {Condition Handling in the Lisp Language Family},
    15611515    booktitle   = {Exception Handling},
    1562     publisher   = {Springer},
     1516    publisher   = {Springer-Verlag},
    15631517    volume      = 2022,
    15641518    series      = {LNCS},
    … …  
    15731527    title       = {Conformace, Genericity, Inheritance and Enhancement},
    15741528    pages       = {223-233},
    1575     publisher   = {Springer},
     1529    publisher   = {Springer-Verlag},
    15761530    year        = 1987,
    15771531    volume      = 276,
    … …  
    16821636
    16831637@unpublished{Ditchfield:conversions,
    1684     contributer = {a3moss@uwaterloo.ca},
    1685     author      = {Glen Ditchfield},
    1686     title       = {Conversions for {Cforall}},
    1687     note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}},
    1688     month       = {Nov},
    1689     year        = {2002},
    1690     urldate     = {28 July 2016},
    1691 }
     1638        contributer = {a3moss@uwaterloo.ca},
     1639        author = {Glen Ditchfield},
     1640        title = {Conversions for {Cforall}},
     1641        note = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}},
     1642        month = {Nov},
     1643        year = {2002},
     1644        urldate = {28 July 2016},
     1645}
     1646
    16921647
    16931648@techreport{Dijkstra65,
    … …  
    17071662    author      = {Christopher D. Marlin},
    17081663    title       = {Coroutines: A Programming Methodology, a Language Design and an Implementation},
    1709     publisher   = {Springer},
    1710     address     = {New York},
     1664    publisher   = {Springer-Verlag},
    17111665    year        = 1980,
    17121666    volume      = 95,
    … …  
    17451699    publisher   = {Benjamin Cummings},
    17461700    year        = 1991,
    1747 }
    1748 
    1749 @article{Moore75,
    1750     keywords    = {approximation methods, integrated circuits},
    1751     contributer = {pabuhr@plg},
    1752     author      = {Gordon E. Moore},
    1753     title       = {Progress in Digital Integrated Electronics},
    1754     journal     = {Technical Digest, International Electron Devices Meeting, IEEE},
    1755     year        = 1975,
    1756     pages       = {11-13},
    17571701}
    17581702
    … …  
    18961840    title       = {The Definition of Standard {ML}},
    18971841    publisher   = {MIT Press},
    1898     address     = {Cambridge},
     1842    address     = {Cambridge, Massachusetts, U.S.A.},
    18991843    year        = 1990
    19001844}
    … …  
    19261870    author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
    19271871    title       = {Dekker's Mutual Exclusion Algorithm Made RW-Safe},
    1928     journal     = ccpe,
     1872    journal     = {Concurrency and Computation: Practice and Experience},
    19291873    volume      = 28,
    19301874    number      = 1,
    … …  
    19761920    title       = {The Design and Evolution of {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    19771921    publisher   = {Addison-Wesley},
    1978     address     = {Boston},
    19791922    year        = 1994
    19801923}
    … …  
    20341977    author      = {G. Motet and A. Mapinard and J. C. Geoffroy},
    20351978    title       = {Design of Dependable {A}da Software},
    2036     publisher   = {Prentice-Hall},
    2037     address     = {Englewood Cliffs},
     1979    publisher   = {Prentice Hall},
    20381980    year        = 1996,
    20391981}
    … …  
    20702012    title       = {Design Patterns: Elements of Reusable Object-Oriented Software},
    20712013    publisher   = {Addison-Wesley},
    2072     address     = {Boston},
    20732014    year        = 1995,
    20742015    series      = {Professional Computing Series},
    … …  
    21132054    author      = {Ralph E. Johnson and Brian Foote},
    21142055    title       = {Designing Reusable Classes},
    2115     journal     = joop,
     2056    journal     = {Journal of Object-Oriented Programming},
    21162057    year        = 1988,
    21172058    volume      = 1, number = 2, pages = {22-35},
    … …  
    21682109    title       = {A Discipline of Programming},
    21692110    publisher   = {Prentice-Hall},
    2170     address     = {Englewood Cliffs},
    21712111    year        = 1976,
    21722112}
    … …  
    21852125    title       = {Distributed Systems: Principles and Paradigms},
    21862126    publisher   = {Prentice-Hall},
    2187     address     = {Englewood Cliffs},
    21882127    year        = 2002,
    21892128}
    … …  
    23142253    title       = {Eiffel: The Language},
    23152254    publisher   = {Prentice-Hall},
    2316     address     = {Englewood Cliffs},
    23172255    year        = 1992,
    2318     series      = {Prentice-Hall Object-Oriented Series},
     2256    series      = {Prentice Hall Object-Oriented Series},
    23192257}
    23202258
    … …  
    24502388    month       = jun,
    24512389    year        = 2015,
    2452     note        = {\href{http://www.erlang.org/doc/pdf/otp-system-documentation.pdf}{\textsf{http://www.erlang.org/\-doc/\-pdf/\-otp-system-\-documentation.pdf}}},
     2390    note        = {\href{http://www.erlang.org/doc/pdf/otp-system-documentation.pdf}{\textsf{http://www.erlang.org/\-doc/\-pdf/\-otp-system-documentation.pdf}}},
    24532391}
    24542392
    … …  
    25292467    booktitle   = {Advances in COMPUTERS},
    25302468    publisher   = {Academic Press},
    2531     address     = {London},
    25322469    volume      = 56,
    25332470    year        = 2002,
    … …  
    26242561    title       = {Exception Handling in Parallel Computations},
    26252562    journal     = sigplan,
    2626     publisher   = {ACM},
    2627     address     = {New York, NY, USA},
    26282563    volume      = 20,
    26292564    number      = 10,
    26302565    month       = oct,
    26312566    year        = 1985,
     2567    issn        = {0362-1340},
    26322568    pages       = {95-104},
     2569    url         = {http://doi.acm.org/10.1145/382286.382385},
     2570    doi         = {http://doi.acm.org/10.1145/382286.382385},
     2571    acmid       = {382385},
     2572    publisher   = {ACM},
     2573    address     = {New York, NY, USA},
    26332574}
    26342575
    … …  
    27392680    title       = {Fault Tolerance and Exception Handling in {BETA}},
    27402681    booktitle   = {Exception Handling},
    2741     publisher   = {Springer},
     2682    publisher   = {Springer-Verlag},
    27422683    volume      = 2022,
    27432684    series      = {Lecture Notes in Computer Science},
    … …  
    28982839    title       = {A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation},
    28992840    booktitle   = {Exception Handling},
    2900     publisher   = {Springer},
     2841    publisher   = {Springer-Verlag},
    29012842    volume      = 2022,
    29022843    series      = {Lecture Notes in Computer Science},
    … …  
    29182859    series      = {The Art of Computer Programming},
    29192860    publisher   = {Addison-Wesley},
    2920     address     = {Boston},
    29212861    year        = 1973,
    29222862    volume      = 1,
    2923     edition     = {2nd},
     2863    edition     = {second},
    29242864}
    29252865
    … …  
    29722912    author      = {Richard M. Stallman},
    29732913    organization= {Free Software Foundation},
    2974     address     = {Cambridge}
     2914    address     = {Cambridge, MA}
    29752915}
    29762916
    … …  
    30122952}
    30132953
     2954
    30142955@article{Haskell,
    30152956    keywords    = {lazy evaluation, type class},
    … …  
    30322973    organization= {Google},
    30332974    year        = 2009,
    3034     note        = {\href{http://golang.org/ref/spec}{http://\-golang.org/\-ref/\-spec}},
     2975    note        = {\href{http://golang.org/ref/spec}{http://golang.org/\-ref/\-spec}},
    30352976}
    30362977
    … …  
    31493090    author      = {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini},
    31503091    title       = {Hermes: A Language for Distributed Computing},
    3151     publisher   = {Prentice-Hall},
    3152     address     = {Englewood Cliffs},
     3092    publisher   = {Prentice Hall},
    31533093    series      = {Innovative Technology},
    31543094    year        = 1991,
    … …  
    31943134    author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
    31953135    title       = {High-Performance {$N$}-Thread Software Solutions for Mutual Exclusion},
    3196     journal     = ccpe,
     3136    journal     = {Concurrency and Computation: Practice and Experience},
    31973137    volume      = 27,
    31983138    number      = 3,
    … …  
    32083148    title       = {Zum Hilbertschen Aufbau der reellen Zahlen},
    32093149    publisher   = {Springer},
    3210     journal     = mathann,
     3150    journal     = {Mathematische Annalen},
    32113151    number      = 1,
    32123152    volume      = 99,
    … …  
    32473187    title       = {The Icon Programming Language},
    32483188    publisher   = {Prentice-Hall},
    3249     address     = {Englewood Cliffs},
    32503189    year        = 1983,
    32513190}
    … …  
    33233262    issn        = {0164-0925},
    33243263    pages       = {1270--1343},
     3264    doi         = {http://doi.acm.org/10.1145/1108970.1108975},
    33253265    publisher   = {ACM Press},
    33263266    address     = {New York, NY, USA},
    … …  
    33373277    pages       = {55-59},
    33383278    issn        = {0163-5719},
    3339 }
     3279    doi         = {http://doi.acm.org/10.1145/872736.806932},
     3280 }
    33403281
    33413282@book{Algol68,
    … …  
    34203361    title       = {Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming},
    34213362    publisher   = {Addison-Wesley},
    3422     address     = {Boston},
    34233363    series      = {ACM Press Books},
    34243364    year        = 1996,
    … …  
    34943434    title       = {Introduction to Algorithms},
    34953435    publisher   = {MIT Press/McGraw-Hill},
    3496     address     = {Cambridge},
    34973436    series      = {Electrical Engineering and Computer Science Series},
    34983437    year        = 1992,
    … …  
    35053444    title       = {Introduction to Automata Theory, Languages and Computation},
    35063445    publisher   = {Addison-Wesley},
    3507     address     = {Boston},
    35083446    year        = 1979,
    35093447}
    … …  
    35383476    title       = {An Introduction to Operating Systems},
    35393477    publisher   = {Addison-Wesley},
    3540     address     = {Boston},
    35413478    year        = 1990,
    3542     edition     = {2nd},
     3479    edition     = {second},
    35433480}
    35443481
    … …  
    35883525    title       = {Issues with Exception Hnadling in Object-Oriented Systems},
    35893526    booktitle   = {ECOOP'97},
    3590     publisher   = {Springer},
     3527    publisher   = {Springer-Verlag},
    35913528    volume      = 1241,
    35923529    series      = {Lecture Notes in Computer Science},
    … …  
    36163553    title       = {The {Java} Language Specification},
    36173554    publisher   = {Addison-Wesley},
    3618     address     = {Reading},
    36193555    year        = 2000,
    3620     edition     = {2nd},
     3556    edition     = {second},
    36213557}
    36223558
    … …  
    36613597    title       = {Konstruktion nichtrekursiver Funktionen},
    36623598    publisher   = {Springer},
    3663     journal     = mathann,
     3599    journal     = {Mathematische Annalen},
    36643600    number      = 111,
    36653601    volume      = 1,
    … …  
    38043740    title       = {Lisp 1.5 Primer},
    38053741    publisher   = {Dickenson Publishing},
    3806     address     = {Belmont},
    38073742    year        = 1967,
    38083743}
    … …  
    40023937    booktitle   = {Proceedings of the European Conference on Object Oriented Programming},
    40033938    organization= {ECOOP'88},
    4004     publisher   = {Springer},
     3939    publisher   = {Springer-Verlag},
    40053940    volume      = 322,
    40063941    editor      = {S. Gjessing and K. Nygaard},
    … …  
    40443979    title       = {Modern C++ Design: Generic Programming and Design Patterns Applied},
    40453980    publisher   = {Addison-Wesley Professional},
    4046     address     = {Boston},
    40473981    month       = feb,
    40483982    year        = 2001,
    … …  
    40563990    title       = {Modern Operating Systems},
    40573991    publisher   = {Prentice-Hall},
    4058     address     = {Englewood Cliffs},
    40593992    year        = 1992,
    40603993}
    … …  
    43774310    title       = {Nesting in an Object Oriented Language is NOT for the Birds},
    43784311    booktitle   = {Proceedings of the European Conference on Object Oriented Programming},
    4379     publisher   = {Springer},
     4312    publisher   = {Springer-Verlag},
    43804313    volume      = 322,
    43814314    editor      = {S. Gjessing and K. Nygaard},
    … …  
    45044437    editor      = {S. Gjessing and K. Nygaard},
    45054438    organization= {DND, The Norwegian Computer Society},
    4506     publisher   = {Springer},
     4439    publisher   = {Springer-Verlag},
    45074440    comment     = {
    45084441           Objectives:
    … …  
    45394472    title       = {Object-oriented programming; an evolutionary approach},
    45404473    publisher   = {Addison-Wesley},
    4541     address     = {Boston},
    45424474    year        = 1986
    45434475}
    … …  
    45494481    title       = {Object-oriented Programming in the {BETA} Programming Language},
    45504482    publisher   = {Addison-Wesley},
    4551     address     = {Boston},
    45524483    year        = 1993,
    45534484}
    … …  
    45814512    author      = {Bertrand Meyer},
    45824513    title       = {Object-oriented Software Construction},
    4583     publisher   = {Prentice-Hall},
    4584     address     = {Englewood Cliffs},
     4514    publisher   = {Prentice Hall},
    45854515    year        = {1988},
    4586     series      = {Prentice-Hall International Series in Computer Science},
     4516    series      = {Prentice Hall International Series in Computer Science},
    45874517}
    45884518
    … …  
    46114541    author      = {John Galletly},
    46124542    title       = {{OCCAM} 2: Including {OCCAM} 2.1},
    4613     publisher   = {{UCL} (University College London) Press},
    4614     address     = {London},
    4615     edition     = {2nd},
     4543    publisher   = {{UCL} (University College London) Press Ltd.},
     4544    edition     = {second},
    46164545    year        = 1996,
    46174546}
    … …  
    46734602    month       = jul,
    46744603    year        = 2013,
    4675     note        = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{\textsf{http://\-www.openmp.org/\-mp-documents/\-OpenMP4.0.0.pdf}}},
     4604    note        = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{\textsf{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}}},
    46764605}
    46774606
    … …  
    46824611    title       = {Operating Systems},
    46834612    publisher   = {Pearson Prentice-Hall},
    4684     address     = {Englewood Cliffs},
    46854613    year        = 2004,
    4686     edition     = {3rd},
     4614    edition     = {third},
    46874615}
    46884616
    … …  
    46934621    title       = {Operating Systems: Internals and Design Principles},
    46944622    publisher   = {Prentice-Hall},
    4695     address     = {Englewood Cliffs},
    46964623    year        = 1998,
    4697     edition     = {3rd},
     4624    edition     = {third},
    46984625}
    46994626
    … …  
    47044631    title       = {Operating Systems: Internals and Design Principles},
    47054632    publisher   = {Prentice-Hall},
    4706     address     = {Englewood Cliffs},
    47074633    year        = 2001,
    4708     edition     = {4th},
     4634    edition     = {fourth},
    47094635}
    47104636
    … …  
    47154641    title       = {Operating System Concepts},
    47164642    publisher   = {Addision-Wesley},
    4717     address     = {Boston},
    47184643    year        = 1991,
    4719     edition     = {3rd},
     4644    edition     = {third},
    47204645}
    47214646
    … …  
    47264651    title       = {Operating Systems : Design and Implementation},
    47274652    publisher   = {Prentice-Hall},
    4728     address     = {Englewood Cliffs},
    47294653    series      = {Software Series},
    47304654    year        = 1987,
    … …  
    47374661    title       = {Operating System Principles},
    47384662    publisher   = {Prentice-Hall},
    4739     address     = {Englewood Cliffs},
    47404663    year        = 1973,
    47414664}
    … …  
    47474670    title       = {Operating System Principles},
    47484671    publisher   = {Prentice-Hall},
    4749     address     = {Englewood Cliffs},
    47504672    year        = 2003,
    47514673}
    … …  
    47644686
    47654687@article{Ganzinger80,
    4766     contributer = {a3moss@uwaterloo.ca},
    4767     author      = {Ganzinger, Harald and Ripken, Knut},
    4768     title       = {Operator Identification in {ADA}: Formal Specification, Complexity, and Concrete Implementation},
    4769     journal     = {SIGPLAN Notices},
    4770     issue_date  = {February 1980},
    4771     volume      = {15},
    4772     number      = {2},
    4773     month       = feb,
    4774     year        = {1980},
    4775     issn        = {0362-1340},
    4776     pages       = {30--42},
    4777     numpages    = {13},
    4778     url         = {http://doi.acm.org/10.1145/947586.947589},
    4779     doi         = {10.1145/947586.947589},
    4780     publisher   = {ACM},
    4781     address     = {New York, NY, USA}
     4688        contributer = {a3moss@uwaterloo.ca},
     4689        author = {Ganzinger, Harald and Ripken, Knut},
     4690        title = {Operator Identification in {ADA}: Formal Specification, Complexity, and Concrete Implementation},
     4691        journal = {SIGPLAN Notices},
     4692        issue_date = {February 1980},
     4693        volume = {15},
     4694        number = {2},
     4695        month = feb,
     4696        year = {1980},
     4697        issn = {0362-1340},
     4698        pages = {30--42},
     4699        numpages = {13},
     4700        url = {http://doi.acm.org/10.1145/947586.947589},
     4701        doi = {10.1145/947586.947589},
     4702        publisher = {ACM},
     4703        address = {New York, NY, USA}
    47824704}
    47834705
    … …  
    48014723    title       = {{OS} and {DOS} {PL/I} Reference Manual},
    48024724    organization= {International Business Machines},
    4803     edition     = {1st},
     4725    edition     = {first},
    48044726    month       = sep,
    48054727    year        = 1981,
    … …  
    49214843    booktitle   = {Parallel Programming in {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    49224844    publisher   = {MIT Press},
    4923     address     = {Cambridge},
     4845    address     = {Cambridge, MA, USA},
    49244846    series      = {Scientific and Engineering Computation Series},
    49254847    pages       = {507-546},
    … …  
    50004922    publisher   = {Springer--Verlag},
    50014923    year        = 1985,
    5002     edition     = {3rd},
     4924    edition     = {third},
    50034925    note        = {Revised by Andrew B. Mickel and James F. Miner, ISO Pascal Standard}
    50044926}
    … …  
    50114933    publisher   = {Springer--Verlag},
    50124934    year        = 1975,
    5013     edition     = {1st},
     4935    edition     = {first},
    50144936}
    50154937
    … …  
    50334955    title       = {{P}ascal/{VS} Language Reference Manual},
    50344956    organization= {International Business Machines},
    5035     edition     = {1st},
     4957    edition     = {first},
    50364958    year        = 1981,
    50374959    note        = {Manual SH20-6168-1},
    … …  
    51855107    title       = {Principles of Concurrent Programming},
    51865108    publisher   = {Prentice-Hall International},
    5187     address     = {Englewood Cliffs},
    51885109    year        = 1982,
    51895110}
    … …  
    51935114    title       = {Principles of Programming Languages},
    51945115    publisher   = {Prentice-Hall International},
    5195     address     = {Englewood Cliffs},
    51965116    year        = 1981,
    51975117    series      = {Series in Computer Science}
    … …  
    52655185    title       = {Programming with {POSIX} Threads},
    52665186    publisher   = {Addison-Wesley},
    5267     address     = {Boston},
    52685187    series      = {Professional Computing},
    52695188    year        = 1997,
    … …  
    52755194    author      = {J. T. Schwartz and R. B. K. Dewar and E. Dubinsky and E. Schonberg},
    52765195    title       = {Programming with Sets: An Introduction to {SETL}},
    5277     publisher   = {Springer},
     5196    publisher   = {Springer-Verlag},
    52785197    year        = 1986,
    52795198}
    … …  
    53165235    key         = {C++14},
    53175236    title       = {Programming Languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    5318     edition     = {4th},
     5237    edition     = {fourth},
    53195238    organization= {International Standard ISO/IEC 14882:2014 (E)},
    53205239    publisher   = {International Standard Organization},
    … …  
    54105329    author      = {Niklaus Wirth},
    54115330    title       = {Programming in Modula-2},
    5412     publisher   = {Springer},
    5413     address     = {New York},
     5331    publisher   = {Springer-Verlag},
    54145332    year        = 1988,
    5415     edition     = {4th},
     5333    edition     = {fourth},
    54165334    series      = {Texts and Monographs in Computer Science},
    54175335}
    … …  
    54255343    month       = feb,
    54265344    year        = 1983,
    5427     note        = {Springer, New York},
     5345    note        = {Published by Springer-Verlag}
    54285346}
    54295347
    … …  
    54335351    title       = {The Programming Language {Ada}: Reference Manual},
    54345352    organization= {United States Department of Defense},
    5435     publisher   = {Springer},
     5353    publisher   = {Springer-Verlag},
    54365354    year        = 1981
    54375355}
    … …  
    55875505
    55885506@article{Grossman06,
    5589     keywords    = {Cyclone, existential types, polymorphism, type variables},
    5590     contributer = {a3moss@plg},
    5591     author      = {Grossman, Dan},
    5592     title       = {Quantified Types in an Imperative Language},
    5593     journal     = toplas,
    5594     issue_date  = {May 2006},
    5595     volume      = {28},
    5596     number      = {3},
    5597     month       = may,
    5598     year        = {2006},
    5599     issn        = {0164-0925},
    5600     pages       = {429--475},
    5601     numpages    = {47},
    5602     url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
    5603     doi         = {10.1145/1133651.1133653},
    5604     acmid       = {1133653},
    5605     publisher   = {ACM},
    5606     address     = {New York, NY, USA},
     5507 keywords = {Cyclone, existential types, polymorphism, type variables},
     5508 contributer = {a3moss@plg},
     5509 author = {Grossman, Dan},
     5510 title = {Quantified Types in an Imperative Language},
     5511 journal = toplas,
     5512 issue_date = {May 2006},
     5513 volume = {28},
     5514 number = {3},
     5515 month = may,
     5516 year = {2006},
     5517 issn = {0164-0925},
     5518 pages = {429--475},
     5519 numpages = {47},
     5520 url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
     5521 doi = {10.1145/1133651.1133653},
     5522 acmid = {1133653},
     5523 publisher = {ACM},
     5524 address = {New York, NY, USA},
    56075525}
    56085526
    … …  
    56515569    title       = {{A}da Reference Manual},
    56525570    edition     = {International Standard {ISO}/{IEC} {8652:1995(E)} with {COR.1:2000}},
    5653     organization= {Intermetrics, Inc.},
     5571    organization = {Intermetrics, Inc.},
    56545572    month       = dec,
    56555573    year        = 1995,
    … …  
    56615579    contributer = {pabuhr@plg},
    56625580    title       = {Programming languages -- {Ada}},
    5663     edition     = {3rd},
     5581    edition     = {third},
    56645582    organization= {International Standard ISO/IEC 1989:2014},
    56655583    publisher   = {International Standard Organization},
    … …  
    56865604    series      = {The Real-Time for Java Expert Group, {\small\textsf{http://\-www.rtj.org}}},
    56875605    publisher   = {Addison-Wesley},
    5688     address     = {Boston},
    56895606    year        = 2000,
    56905607}
    … …  
    58385755% S
    58395756
    5840 @manual{Scala,
    5841     keywords    = {Scala programming language},
    5842     contributer = {pabuhr@plg},
    5843     title       = {{Scala} Language Specification, Version 2.11},
    5844     organization= {\'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne},
    5845     year        = 2016,
    5846     note        = {\href{http://www.scala-lang.org/files/archive/spec/2.11}{http://\-www.scala-lang.org/\-files/\-archive/\-spec/\-2.11}},
    5847 }
    5848 
    58495757@inproceedings{Michael04,
    58505758    keywords    = {lock free, dynamic memory allocation},
    … …  
    58945802    pages       = {51-67},
    58955803    editor      = {G. Kahn and D. B. MacQueen and G. D. Plotkin},
    5896     publisher   = {Springer},
     5804    publisher   = {Springer-Verlag},
    58975805    note        = {Lecture Notes in Computer Science v. 173},
    58985806}
    … …  
    59445852    month       = may,
    59455853    year        = 2001,
    5946     note        = {\href{http://www.python.org/peps/pep-0255.html}{http://\-www.python.org/\-peps/\-pep-0255.html}},
     5854    note        = {{\small\textsf{http://www.python.org/peps/pep-0255.html}}},
    59475855}
    59485856
    … …  
    59635871
    59645872@article{Pennello80,
    5965     contributer = {a3moss@uwaterloo.ca},
    5966     author      = {Pennello, Tom and DeRemer, Frank and Meyers, Richard},
    5967     title       = {A Simplified Operator Identification Scheme for {Ada}},
    5968     journal     = {SIGPLAN Notices},
    5969     issue_date  = {July-August 1980},
    5970     volume      = {15},
    5971     number      = {7 and 8},
    5972     month       = jul,
    5973     year        = {1980},
    5974     issn        = {0362-1340},
    5975     pages       = {82--87},
    5976     numpages    = {6},
    5977     url         = {http://doi.acm.org/10.1145/947680.947688},
    5978     doi         = {10.1145/947680.947688},
    5979     publisher   = {ACM},
    5980     address     = {New York, NY, USA},
     5873        contributer = {a3moss@uwaterloo.ca},
     5874        author = {Pennello, Tom and DeRemer, Frank and Meyers, Richard},
     5875        title = {A Simplified Operator Identification Scheme for {Ada}},
     5876        journal = {SIGPLAN Notices},
     5877        issue_date = {July-August 1980},
     5878        volume = {15},
     5879        number = {7 and 8},
     5880        month = jul,
     5881        year = {1980},
     5882        issn = {0362-1340},
     5883        pages = {82--87},
     5884        numpages = {6},
     5885        url = {http://doi.acm.org/10.1145/947680.947688},
     5886        doi = {10.1145/947680.947688},
     5887        publisher = {ACM},
     5888        address = {New York, NY, USA},
    59815889}
    59825890
    … …  
    60195927    year        = {1980},
    60205928    address     = {Lund, Sweden},
    6021     edition     = {2nd},
     5929    edition     = {second},
    60225930}
    60235931
    60245932@book{Simula67,
    6025     author      = {O-J Dahl and B. Myhrhaug and K. Nygaard},
    6026     title       = {Simula67 Common Base Language},
     5933    author      = "O-J Dahl and B. Myhrhaug and K. Nygaard",
     5934    address     = "Oslo Norway",
    60275935    month       = oct,
    60285936    year        = 1970,
    6029     publisher   = {Norwegian Com\-puting Center},
    6030     address     = {Oslo Norway},
     5937    publisher   = "Norwegian Computing Center",
     5938    title       = "Simula67 Common Base Language"
    60315939}
    60325940
    … …  
    60375945    title       = {Smalltalk-80: The Language and its Implementation},
    60385946    publisher   = {Addison-Wesley},
    6039     address     = {Reading},
    60405947    year        = 1983
    60415948}
    … …  
    60595966    author      = {R. E. Griswold and J. F. Poage and I. P. Polonsky},
    60605967    title       = {The SNOBOL4 Programming Language},
    6061     edition     = {2nd},
     5968    edition     = {second},
    60625969    publisher   = {Prentice-Hall},
    6063     address     = {Englewood Cliffs},
    60645970    year        = 1971,
    60655971}
    … …  
    61676073    author      = {R. H. Campbell and A. N. Habermann},
    61686074    title       = {The Specification of Process Synchronization by Path Expressions},
    6169     publisher   = {Springer},
     6075    publisher   = {Springer-Verlag},
    61706076    year        = 1974,
    61716077    volume      = 16,
    … …  
    62116117    title       = {A Standard {ML} Compiler},
    62126118    booktitle   = {Functional Programming Languages and Computer Architecture},
    6213     publisher   = {Springer},
     6119    publisher   = {Springer-Verlag},
    62146120    series      = {Lecture Notes in Computer Science},
    62156121    volume      = 274,
    … …  
    62666172    title       = {Structured Concurrent Programming with Operating System Applications},
    62676173    publisher   = {Addison-Wesley},
    6268     address     = {Boston},
    62696174    year        = 1978,
    62706175}
    … …  
    64156320    author      = {Gadi Taubenfeld},
    64166321    title       = {Synchronization Algorithms and Concurrent Programming},
    6417     publisher   = {Pearson/Prentice-Hall},
    6418     address     = {Harlow, England},
     6322    publisher   = {Pearson/Prentice Hall},
    64196323    year        = 2006,
    64206324}
    … …  
    64766380    author      = {Andrew Birrell and Mark R. Brown and Luca Cardelli and Jim Donahue and Lucille Glassman and John Gutag and Jim Harning and Bill Kalsow and Roy Levin and Greg Nelson},
    64776381    title       = {Systems Programming with Modula-3},
    6478     publisher   = {Prentice-Hall},
    6479     address     = {Englewood Cliffs},
     6382    publisher   = {Prentice-Hall, Inc.},
    64806383    year        = 1991,
    6481     series      = {Prentice-Hall Series in Innovative Technology}
     6384    series      = {Prentice Hall Series in Innovative Technology}
    64826385}
    64836386
    … …  
    65616464    pages       = {408-423},
    65626465    editor      = {B. Robinet},
    6563     publisher   = {Springer},
     6466    publisher   = {Springer-Verlag},
    65646467    note        = {Lecture Notes in Computer Science, v. 19},
    65656468    abstract    = {
    … …  
    66436546    publisher   = {Holt Software Associates Inc.},
    66446547    year        = 1992,
    6645     edition     = {3rd},
     6548    edition     = {third},
    66466549}
    66476550
    … …  
    66636566    title       = {Tutorial: Programming Language Design},
    66646567    publisher   = {Computer Society Press},
    6665     address     = {Los Alamitos},
    66666568    year        = 1980
    66676569}
    … …  
    67336635% U
    67346636
    6735 @book{uC++book,
    6736     keywords    = {control structure, concurrency, uC++},
     6637@unpublished{uC++book,
     6638    keywords    = {control structure, concurrency},
    67376639    contributer = {pabuhr@plg},
    67386640    author      = {Peter A. Buhr},
    6739     title       = {Understanding Control Flow: Concurrent Programming using $\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    6740     publisher   = {Springer},
    6741     address     = {Switzerland},
    6742     year        = 2016,
     6641    title       = {Understanding Control Flow with Concurrent Programming using $\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     6642    year        = 1999,
     6643    note        = {Textbook in preparation}
    67436644}
    67446645
    … …  
    67636664    booktitle   = {Proceedings of the International Workshop on Memory Management},
    67646665    location    = {St. Malo, France},
    6765     publisher   = {Springer},
     6666    publisher   = {Springer-Verlag},
    67666667    series      = {Lecture Notes in Computer Science},
    67676668    volume      = 637,
    … …  
    68876788    title       = {VAX-11 Architecture Reference Manual},
    68886789    publisher   = {Digital Press},
    6889     address     = {Bedford},
    68906790    month       = may,
    68916791    year        = 1982,
    … …  
    68966796    title       = {{VAX/VMS} Internals and Data Structures Version 4.4},
    68976797    publisher   = {Digital Press},
    6898     address     = {Bedford},
    68996798    year        = 1988,
    69006799}
    … …  
    69066805    title       = {Verifying a Simplification of Mutual Exclusion by {L}ycklama--{H}adzilacos},
    69076806    journal     = {Acta Informatica},
    6908     publisher   = {Springer},
    6909     address     = {New York},
     6807    publisher   = {Springer-Verlag},
    69106808    year        = {2013},
    69116809    volume      = {50},
    … …  
    69736871    month       = jun,
    69746872    year        = 1985,
    6975     note        = {\href{http://www.hpl.hp.com/techreports/tandem/TR-85.7.pdf}{http://www.hpl.hp.com/\-techreports/\-tandem/\-TR-85.7.pdf}},
     6873    note        = {\textsf{http://www.hpl.hp.com/\-techreports/\-tandem/\-TR-85.7.pdf}},
    69766874}
    69776875

  • src/Makefile.am

    r32b018e rd80f92c  
    1111## Created On       : Sun May 31 08:51:46 2015
    1212## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Thu Oct 27 20:41:25 2016
    14 ## Update Count     : 75
     13## Last Modified On : Sat Sep 24 15:03:52 2016
     14## Update Count     : 73
    1515###############################################################################
    1616
    … …  
    4242driver_cfa_cpp_LDADD = ${LEXLIB} -ldl                   # yywrap
    4343driver_cfa_cpp_CXXFLAGS = -Wno-deprecated -Wall -DDEBUG_ALL -I${abs_top_srcdir}/src/include -DYY_NO_INPUT
    44 driver_cfa_cpp_LDFLAGS = -Xlinker -export-dynamic
     44driver_cfa_cpp_LDFLAGS = -rdynamic
    4545
    4646MAINTAINERCLEANFILES += ${libdir}/${notdir ${cfa_cpplib_PROGRAMS}}

  • src/Makefile.in

    r32b018e rd80f92c  
    266266CFA_PREFIX = @CFA_PREFIX@
    267267CFLAGS = @CFLAGS@
     268CONFIG_STATUS_DEPENDENCIES = @CONFIG_STATUS_DEPENDENCIES@
    268269CPP = @CPP@
    269270CPPFLAGS = @CPPFLAGS@
    … …  
    418419driver_cfa_cpp_LDADD = ${LEXLIB} -ldl                   # yywrap
    419420driver_cfa_cpp_CXXFLAGS = -Wno-deprecated -Wall -DDEBUG_ALL -I${abs_top_srcdir}/src/include -DYY_NO_INPUT
    420 driver_cfa_cpp_LDFLAGS = -Xlinker -export-dynamic
     421driver_cfa_cpp_LDFLAGS = -rdynamic
    421422all: $(BUILT_SOURCES)
    422423        $(MAKE) $(AM_MAKEFLAGS) all-am

  • src/driver/Makefile.am

    r32b018e rd80f92c  
    1111## Created On       : Sun May 31 08:49:31 2015
    1212## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Fri Oct 28 13:46:06 2016
    14 ## Update Count     : 10
     13## Last Modified On : Thu Jan 28 09:04:40 2016
     14## Update Count     : 7
    1515###############################################################################
    1616
    … …  
    2626cc1_SOURCES = cc1.cc
    2727
     28cfa.cc : ${abs_top_srcdir}/version
     29        @true
     30
    2831MAINTAINERCLEANFILES = @CFA_PREFIX@/bin/${bin_PROGRAMS} @CFA_PREFIX@/lib/${cc1lib_PROGRAMS}

  • src/driver/Makefile.in

    r32b018e rd80f92c  
    100100CFA_PREFIX = @CFA_PREFIX@
    101101CFLAGS = @CFLAGS@
     102CONFIG_STATUS_DEPENDENCIES = @CONFIG_STATUS_DEPENDENCIES@
    102103CPP = @CPP@
    103104CPPFLAGS = @CPPFLAGS@
    … …  
    542543
    543544
     545cfa.cc : ${abs_top_srcdir}/version
     546        @true
     547
    544548# Tell versions [3.59,3.63) of GNU make to not export all variables.
    545549# Otherwise a system limit (for SysV at least) may be exceeded.

  • src/driver/cfa.cc

    r32b018e rd80f92c  
    1010// Created On       : Tue Aug 20 13:44:49 2002
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Thu Oct 27 22:19:37 2016
    13 // Update Count     : 154
     12// Last Modified On : Tue Oct 25 21:29:48 2016
     13// Update Count     : 152
    1414//
    1515
    … …  
    5050
    5151
    52 #define str(s) #s
    53 
    5452int main( int argc, char *argv[] ) {
    55         string Version( CFA_VERSION_LONG );                                     // current version number from CONFIG
    56         string Major( str( CFA_VERSION_MAJOR ) ), Minor( str( CFA_VERSION_MINOR ) ), Patch( str( CFA_VERSION_PATCH ) );
     53        string Version( CFA_VERSION_LONG );                                                     // current version number from CONFIG
     54        string Major( to_string( CFA_VERSION_MAJOR ) ), Minor( to_string( CFA_VERSION_MINOR ) ), Patch( to_string( CFA_VERSION_PATCH ) );
    5755
    5856        string installincdir( CFA_INCDIR );                                     // fixed location of include files

  • src/examples/Makefile.in

    r32b018e rd80f92c  
    111111# applies to both programs
    112112CFLAGS = -g -Wall -Wno-unused-function # TEMPORARY: does not build with -O2
     113CONFIG_STATUS_DEPENDENCIES = @CONFIG_STATUS_DEPENDENCIES@
    113114CPP = @CPP@
    114115CPPFLAGS = @CPPFLAGS@

  • src/libcfa/Makefile.in

    r32b018e rd80f92c  
    137137CFA_PREFIX = @CFA_PREFIX@
    138138CFLAGS = -quiet -no-include-stdhdr -g -Wall -Wno-unused-function @CFA_FLAGS@ -B${abs_top_srcdir}/src/driver -XCFA -t # TEMPORARY: does not build with -O2
     139CONFIG_STATUS_DEPENDENCIES = @CONFIG_STATUS_DEPENDENCIES@
    139140CPP = @CPP@
    140141CPPFLAGS = @CPPFLAGS@

  • src/tests/Makefile.in

    r32b018e rd80f92c  
    121121# applies to both programs
    122122CFLAGS = -g -Wall -Wno-unused-function @CFA_FLAGS@ # TEMPORARY: does not build with -O2
     123CONFIG_STATUS_DEPENDENCIES = @CONFIG_STATUS_DEPENDENCIES@
    123124CPP = @CPP@
    124125CPPFLAGS = @CPPFLAGS@
Note: See TracChangeset for help on using the changeset viewer.