Abstract
This panel brings together designers of both traditional programming languages, and designers of behavioral specification languages for modeling systems, in each case with a concern for the challenges of multicore programming. Furthermore, several of these efforts have attempted to provide data-race-free programming models, so that multicore programmers need not be faced with the added burden of trying to debug race conditions on top of the existing challenges of building reliable systems.
Index Terms
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling
Recommendations
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling
HILT '14: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technologyThis panel brings together designers of both traditional programming languages, and designers of behavioral specification languages for modeling systems, in each case with a concern for the challenges of multicore programming. Furthermore, several of ...
Panel: Future Directions of Block-based Programming
SIGCSE '16: Proceedings of the 47th ACM Technical Symposium on Computing Science EducationBlocks-based programming is becoming the way that learners are being introduced to programming and computer science. Led by the popularity of tools like Scratch, Alice, and Code.org's Hour of Code activities, many new programming environments and ...
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free
ICOOOLPS '18: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and SystemsProtocol programming languages are domain-specific languages that offer higher-level abstractions for programming of synchronization and communication protocols among participants. However, most implementations of protocol programming languages on ...







Comments