![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
8th CEFP 2019: Budapest, Hungary
- Zoltán Porkoláb
, Viktória Zsók
:
Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11950, Springer 2023, ISBN 978-3-031-42832-6
Main Lectures
- Mart Lubbers
, Pieter W. M. Koopman
, Rinus Plasmeijer:
Writing Internet of Things Applications with Task Oriented Programming. 3-52 - Rui Pereira, Marco Couto, Jácome Cunha
, Gilberto Melfe, João Saraiva, João Paulo Fernandes:
Paint Your Programs Green: On the Energy Efficiency of Data Structures. 53-76 - João Saraiva, Rui Pereira:
Energy Efficient Software in an Engineering Course. 77-97 - Stefan Korecko
:
Utilizing Rail Traffic Control Simulator in Verified Software Development Courses. 98-135 - Tihana Galinac Grbac
, Nikola Domazet:
The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources - Part II. Network Evolution and Design Principles. 136-164 - Tibor Brunner, Máté Cserép
, Anett Fekete
, Mónika Mészáros
, Zoltán Porkoláb
:
Towards Better Tool Support for Code Comprehension. 165-201 - Jianhao Li, Yuri Kim, Viktória Zsók:
Balanced Distributed Computation Patterns. 202-321
PhD Workshop
- Nikolay Handzhiyski
, Elena Somova
:
Tunnel Parsing. 325-343 - Simon Baars
, Ana Oprescu
:
Finding Code Clone Refactoring Techniques by Mapping Clone Context. 344-357 - Bart Zuilhof, Rinse van Hees, Clemens Grelck:
Code Quality Metrics for Functional Features in Modern Object-Oriented Languages. 358-374 - Gonçalo Lopes, João Paulo Fernandes, Luís Paquete:
An Empirical Study on the Energy Efficiency of Matrix Transposition Algorithms. 375-391
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.