Changes in / [0188539c:405dbb3]

Location:

doc

Files:

• LaTeXmacros/lstlang.sty (modified) (2 diffs)
• bibliography/pl.bib (modified) (8 diffs)
• proposals/modules.md (modified) (2 diffs)

doc/LaTeXmacros/lstlang.sty

@@ -8 +8 @@
 %% Created On       : Sat May 13 16:34:42 2017
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Fri May 31 14:36:02 2024
-%% Update Count     : 44
+%% Last Modified On : Mon Apr 15 11:28:44 2024
+%% Update Count     : 43
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -115 +115 @@
         morekeywords={
                 alignas, _Alignas, alignof, _Alignof, __alignof, __alignof__, and, asm, __asm, __asm__, _Atomic, __attribute, __attribute__,
-                __auto_type, basetypeof, _Bool, bool, catch, catchResume, choose, coerce, corun, cofor, _Complex, __complex, __complex__,
+                __auto_type, basetypeof, _Bool, catch, catchResume, choose, coerce, corun, cofor, _Complex, __complex, __complex__,
                 __const, __const__, continue, coroutine, _Decimal32, _Decimal64, _Decimal128, disable, dtype, enable, exception, __extension__,
                 fallthrough, fallthru, finally, fixup, __float80, float80, __float128, float128, _Float16, _Float32, _Float32x, _Float64,

doc/bibliography/pl.bib

@@ -813 +813 @@
     title       = {The Art of Multiprocessor Programming},
     year        = 2008,
+    isbn        = {0123705916, 9780123705914},
     publisher   = {Morgan Kaufmann Publishers},
     address     = {San Francisco},
@@ -927 +928 @@
     month       = sep,
     year        = 2013,
-    pages       = {46-53},
+    pages       = {46--53},
     publisher   = {ACM},
     address     = {New York, NY, USA},
-}
-
-@inproceedings{Aravind18,
-    contributer = {pabuhr@plg},
-    author      = {Alex Aravind},
-    title       = {Barrier Synchronization: Simplified, Generalized, and Solved without Mutual Exclusion},
-    organization= {IEEE International Parallel and Distributed Processing Symposium Workshops},
-    series      = {IPDPSW'18},
-    month       = may,
-    year        = 2018,
-    pages       = {773-782},
 }
 
@@ -1116 +1106 @@
     publisher   = {ACM},
     address     = {New York, NY, USA},
-}
-
-@article{Brooks87,
-    author      = {Eugene D. Brooks III},
-    title       = {The Butterfly Barrier},
-    journal     = {International Journal of Parallel Programming},
-    volume      = 15,
-    number      = 4,
-    pages       = {295-307},
-    year        = 1987,
 }
 
@@ -4360 +4340 @@
     chapter     = {1},
     publisher   = {The MIT Press}
-}
-
-@article{Lamport08,
-    keywords    = {concurrency, barrier},
-    contributer = {pabuhr@plg},
-    author      = {Leslie Lamport},
-    title       = {Implementing Dataflow with Threads},
-    journal     = {Distributed Computing},
-    year        = 2008,
-    month       = jul,
-    volume      = 21,
-    number      = 3,
-    pages       = {163-181},
 }
 
@@ -5204 +5171 @@
     journal     = {ACM Trans. Parallel Comput.},
     issn        = {2329-4949},
+    url         = {https://doi.org/10.1145/3584696},
+    doi         = {10.1145/3584696},
     articleno   = 11,
     numpages    = 23,
@@ -7800 +7769 @@
 }
 
-@book{Scott24,
-    author      = {Michael L. Scott and Trevor Brown},
-    booktitle   = {Shared-Memory Synchronization},
-    series      = {Synthesis Lectures on Computer Architecture},
-    edition     = {2nd},
-    year        = 2024,
-    publisher   = {Springer International Publishing},
-    address     = {Cham, Switzerland},
-}
-
 @inproceedings{Leissa14,
     title       = {{S}ierra: a {SIMD} extension for {C}++},
@@ -8702 +8661 @@
 }
 
-@article{Hensgen88,
-    author      = {Debra Hensgen and Raphael Finkel and Udi Manber},
-    title       = {Two algorithms for barrier synchronization},
-    journal     = {International Journal of Parallel Programming},
-    volume      = 17,
-    number      = 1,
-    pages       = {1-17},
-    year        = 1988,
-}
-
 @article{Leroy00,
     keywords    = {type-systems, exceptions},
@@ -8803 +8752 @@
     title       = {Understanding Control Flow: Concurrent Programming using $\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     publisher   = {Springer},
-    address     = {Cham, Switzerland},
+    address     = {Switzerland},
     year        = 2016,
 }

doc/proposals/modules.md

@@ -122 +122 @@
 ----'
 
-Programming languages are divided into those embedded in an IDE, think Smalltalk and Lisp, Database, largely manipulating a symbol-table/abstract-symbol-tree, and those where the IDE is an external program largely manipulating program text.
+Programming languages are divided into those embedded in an IDE, think Smalltalk and Racket, largely manipulating a symbol-table/abstract-symbol-tree, and those where the IDE is an external program largely manipulating program text.
 Separate compilation in programming languages without an embedded IDE is the process of giving a compiler command a series of files that are read and processed as a whole.
 The compiler output is placed in another set of files for execution loading or further processing.
@@ -133 +133 @@
 In a file system where file-links can be embedded in data creating a tree, duplicate source code can be eliminated by generating a complex linking structure among the source files.
 Without embedded file-links, dynamic embedding using #include/import is necessary to compose all the program components necessary for a compilation.
-
-inlining?
 
 I see two separate issues with respect to program structuring for controlling visibility and initializing a program.