This book aims to explain green threads by using a small example where we implement a simple but working program where we use our own green threads to execute code.
JavaScript is single threaded language but multi threading can be achieved in JavaScript using HTML5 Web Workers API. This will enable JavaScript code to run in background AKA parallel programming.
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state)
This is a small post about a specific pattern for cancellation in the Rust programming language. The pattern is simple and elegant, but it’s rather difficult...
D. Wu, L. Chen, Y. Zhou, und B. Xu. 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), Seite 1-10. (Oktober 2015)
S. Fowler, S. Lindley, und P. Wadler. 31st European Conference on Object-Oriented Programming (ECOOP 2017), Volume 74 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 11:1--11:28. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2017)
N. Cohen, A. Tal, und E. Petrank. Proceedings of the 22Nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seite 17--29. ACM, (2017)
S. Lu, J. Tucek, F. Qin, und Y. Zhou. Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, Seite 37--48. ACM, (2006)
C. Flanagan, und S. Freund. Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seite 121--133. ACM, (2009)
T. Elmas, S. Qadeer, und S. Tasiran. Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seite 245--255. ACM, (2007)
S. Tasharofi, M. Pradel, Y. Lin, und R. Johnson. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, Seite 114-124. (November 2013)
I. Cassar, und A. Francalanza. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, Seite 54--68. (September 2014)
S. Tasharofi, R. Karmani, S. Lauterburg, A. Legay, D. Marinov, und G. Agha. Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, Seite 219--234. Springer, (2012)
D. Deng, W. Zhang, und S. Lu. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, Seite 785--802. ACM, (2013)
N. Jalbert, und K. Sen. Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, Seite 57--66. New York, NY, USA, ACM, (2010)
J. De Koster, T. Van Cutsem, und W. De Meuter. Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Seite 31--40. ACM, (2016)
C. Ritson, und J. Simpson. Communicating Process Architectures 2008, Volume 66 von Concurrent Systems Engineering Series, Seite 293--307. Amsterdam, The Netherlands, IOS Press, (September 2008)
A. Matveev, N. Shavit, P. Felber, und P. Marlier. Proceedings of the 25th Symposium on Operating Systems Principles, Seite 168--183. New York, NY, USA, ACM, (2015)
J. Swalens, J. De Koster, und W. De Meuter. 30th European Conference on Object-Oriented Programming (ECOOP 2016), Volume 56 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 23:1--23:28. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2016)
G. Steele, Jr., D. Lea, und C. Flood. Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, Seite 453--472. ACM, (2014)
D. Bonetta, L. Salucci, S. Marr, und W. Binder. Proceedings of the 2016 ACM International Conference on Object Oriented Programming Systems Languages & Applications, Seite 531--547. ACM, (02.11.2016)(acceptance rate 25%).
B. Daloze, S. Marr, D. Bonetta, und H. Mössenböck. Proceedings of the 2016 ACM International Conference on Object Oriented Programming Systems Languages & Applications, Seite 642--659. ACM, (02.11.2016)(acceptance rate 25%).
L. Salucci, D. Bonetta, S. Marr, und W. Binder. Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seite 40:1--40:2. ACM, (März 2016)
B. Daloze, C. Seaton, D. Bonetta, und H. Mössenböck. Proceedings of the 10th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, (2015)
S. Abramsky. Electronic Notes in Theoretical Computer Science, (2006)Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25)Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25).
S. Marr, E. Gonzalez Boix, und H. Mössenböck. Proceedings of the 9th Arbeitstagung Programmiersprachen, Volume 1559 von ATPS'16, Seite 91--95. CEUR-WS, (25.02.2016)
J. McAffer. ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995, Volume 952 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1995)
P. Liu, X. Zhang, O. Tripp, und Y. Zheng. Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seite 55--64. ACM, (2015)
Y. Hayduk, A. Sobe, und P. Felber. Distributed Applications and Interoperable Systems, Volume 9038 von Lecture Notes in Computer Science, Springer, (2015)
B. Claudel, Q. Sabah, und J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, Volume 9039 von Lecture Notes in Computer Science, Springer, (2015)
Y. Honda, und A. Yonezawa. ECOOP ’88 European Conference on Object-Oriented Programming, Volume 322 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1988)
F. David, G. Thomas, J. Lawall, und G. Muller. Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages &\#38; Applications, Seite 291--307. ACM, (2014)
J. Zhou, X. Xiao, und C. Zhang. Proceedings of the 34th International Conference on Software Engineering, Seite 892--902. Piscataway, NJ, USA, IEEE Press, (2012)
M. Zhang, J. Huang, M. Cao, und M. Bond. Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seite 97--108. ACM, (2015)
C. Wirth, H. Prähofer, und R. Schatz. Visualizing Software for Understanding and Analysis, 6th IEEE International Workshop on, Seite 1--4. (September 2011)
T. Usui, R. Behrends, J. Evans, und Y. Smaragdakis. Parallel Architectures and Compilation Techniques, 2009. PACT '09. 18th International Conference on, Seite 3--14. (September 2009)
J. Ha, M. Arnold, S. Blackburn, und K. McKinley. Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, Seite 155--174. ACM, (2009)
G. Jin, A. Thakur, B. Liblit, und S. Lu. Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, Seite 241--255. ACM, (2010)
J. Huang, und C. Zhang. Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, Volume 47 von OOPSLA '12, Seite 451--466. ACM, (Oktober 2012)
E. Lee, und A. Sangiovanni-Vincentelli. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 17 (12):
1217-1229(Dezember 1998)
L. Nigay, und J. Coutaz. Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems, Seite 172--178. New York, NY, USA, ACM, (1993)
J. Swalens, S. Marr, J. De Koster, und T. Van Cutsem. Proceedings of the Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES), Volume 155 von PLACES '14, Seite 54--60. (April 2014)
L. Henrio, F. Huet, und Z. István. Coordination Models and Languages, Volume 7890 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2013)
J. De Koster, S. Marr, T. D'Hondt, und T. Van Cutsem. Proceedings of AGERE! 2013, 3rd International Workshop on Programming based on Actors, Agents, and Decentralized Control, Seite 61--68. (27.10.2013)
R. Dias, T. Vale, und J. Lourenço. Euro-Par 2012 Parallel Processing, Volume 7484 von Lecture Notes in Computer Science, Seite 589-600. Springer Berlin Heidelberg, (2012)
S. Tasharofi, P. Dinges, und R. Johnson. ECOOP 2013 – Object-Oriented Programming, Volume 7920 von Lecture Notes in Computer Science, Seite 302-326. Springer Berlin Heidelberg, (2013)
D. Grossman. Lecture Notes, Department of Computer Science & Engineering, University of Washington, AC101 Paul G. Allen Center, Box 352350, 185 Stevens Way, Seattle, WA 98195-2350, (08.12.2012)
D. Grossman, und R. Anderson. Proceedings of the 43rd ACM technical symposium on Computer Science Education, Seite 505--510. New York, NY, USA, ACM, (2012)
M. Frigo, P. Halpern, C. Leiserson, und S. Lewin-Berlin. Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures, Seite 79--90. New York, NY, USA, ACM, (2009)
P. Welch, und F. Barnes. Communicating Sequential Processes. The First 25 Years, Volume 3525 von Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/11423348_10.(April 2005)
G. Itzstein, und M. Jasiunas. Advances in Computer Systems Architecture, Volume 2823 von Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-540-39864-6_13.(2003)
J. Reppy, C. Russo, und Y. Xiao. Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, Seite 257--268. New York, NY, USA, ACM, (August 2009)