IEEE Annals of the History of Computing
Permission accounting in separation logic
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
Separation and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |
From the Publisher:This book is a collection of original papers written by the computer scientists who made the major breakthroughs in concurrent programming. It covers the pioneering era of the field, from the semaphores of the mid 1960s to the remote procedure calls of the late 1970s."The Origin of Concurrent Programming" presents 19 seminal papers by E. W. Dijkstra, P. Brinch Hansen, and C. A. R. Hoare. While focusing on contributions of major and lasting importance, the book: * Features an essay that summarizes the papers and puts them in historical perspective. * Builds on fundamental programming concepts, such as speed independence, fair scheduling, mutual exclusion, deadlock prevention, and process communication. * Covers the invention of programming notation for semaphores, conditional critical regions, monitors, synchronous message communication, and remote procedure calls. * Captures the historic contribution of concurrent programming to our understanding of operating system principles. * Illustrates the use of semaphores, message buffers, and monitors in the systematic design of operating systems. * Describes secure programming languages based on monitors and synchronous message communication. * Includes a bibliography of 160 papers and books on concurrent programming. Edited by a computer pioneer, "The Origin of Concurrent Programming" is an essential reader on the historic development of concurrent programming. It is an invaluable resource for students, researchers and professionals who are familiar with operating system principles.