اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدProceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
100
0
0.0
(
0
)
تأليف
Dominic Orchard
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
PLACES 2016 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the ninth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop has been part of ETAPS every year since 2009 and is now an established part of the ETAPS satellite events. PLACES 2016 was held on 8th April in Eindhoven, The Netherlands. The workshop series was started in order to promote the application of novel programming language ideas to the increasingly important problem of developing software for systems in which concurrency and communication are intrinsic aspects. This includes software for both multi-core systems and large-scale distributed and/or service-oriented systems. The scope of PLACES includes new programming language features, whole new programming language designs, new type systems, new semantic approaches, new program analysis techniques, and new implementation mechanisms. This volume consists of the papers accepted for presentation at the workshop.
قيم البحث
اقرأ أيضاً
This volume contains five papers, accepted after post-reviewing, based on presentations submitted to TFPIE 2019 and TFPIE 2020 that took places in Vancouver, Canada and Krakow, Poland respectively. TFPIE stands for Trends in Functional Programming in
Education, where authors present research and experiences in teaching concepts of functional programming at any level.
This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software (ETAPS 2014).
Methods for Modalities is a series aimed at bringing together researchers interested in developing proof methods, verification methods, algorithms and tools based on modal logic. Here the term modal logics is conceived broadly, including description
logic, guarded fragments, conditional logic, temporal and hybrid logic, dynamic logic, etc. The first workshop was held in May 1999 in Amsterdam, and since then it has travelled the world. Please see https://cs.famaf.unc.edu.ar/~careces/M4M for information on past editions of M4M. The 9th Methods for Modalities Workshop is being held at the Indian Institute of Technology (IIT) Kanpur, from January 8 to 10, 2017, co-located with the Indian Conference on Logic and its Applications (ICLA), January 5 to 7, 2017. For details, see https://www.cse.iitk.ac.in/users/icla/M4M/ This volume constitutes the proceedings of the workshop and given the substantial instructional content, should be of interest especially to young researchers and students looking for tools and techniques as well as exciting problems related to logics and computation.
This volume represents the proceedings of the International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019), co-located with the 14th International Symposium on Reconfigurable Communication-centric Systems-
on-Chip (ReCoSoC 2019) on July 2-3 2019, York, United Kingdom. The workshop is organised by the EU-funded SAFIRE project consortium.
The previous VPT 2020 workshop was organized in honour of Professor Alberto Pettorossi on the occasion of his academic retirement from Universit`a di Roma Tor Vergata. Due to the pandemic the VPT 2020 meeting was cancelled but its proceeding have alr
eady appeared in the EPTCS 320 volume. The joint VPT-20-21 event has subsumed the original programme of VPT 2020 and provided an opportunity to meet and celebrate the achievements of Professor Alberto Pettorossi; its programme was further expanded with the newly submitted presentations for VPT 2021. The aim of the VPT workshop series is to provide a forum where people from the areas of program transformation and program verification can fruitfully exchange ideas and gain a deeper understanding of the interactions between those two fields.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
