Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

8th CEFP 2019: Budapest, Hungary

> Home > Conferences and Workshops > CEFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cefp/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/2019
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

- view
  authority control:
- export record
  dblp key:
  - conf/cefp/LubbersKP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/LubbersKP19
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
Writing Internet of Things Applications with Task Oriented Programming. 3-52
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/PereiraCCMSF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/PereiraCCMSF19
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
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/SaraivaP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/SaraivaP19
João Saraiva, Rui Pereira:
Energy Efficient Software in an Engineering Course. 77-97
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Korecko19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Korecko19
Stefan Korecko:
Utilizing Rail Traffic Control Simulator in Verified Software Development Courses. 98-135
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/GrbacD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/GrbacD19
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
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/BrunnerCFMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/BrunnerCFMP19
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
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/LiKZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/LiKZ19
Jianhao Li, Yuri Kim, Viktória Zsók:
Balanced Distributed Computation Patterns. 202-321

PhD Workshop

- view
  authority control:
- export record
  dblp key:
  - conf/cefp/HandzhiyskiS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/HandzhiyskiS19
Nikolay Handzhiyski, Elena Somova:
Tunnel Parsing. 325-343
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/BaarsO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/BaarsO19
Simon Baars, Ana Oprescu:
Finding Code Clone Refactoring Techniques by Mapping Clone Context. 344-357
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/ZuilhofHG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/ZuilhofHG19
Bart Zuilhof, Rinse van Hees, Clemens Grelck:
Code Quality Metrics for Functional Features in Modern Object-Oriented Languages. 358-374
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/LopesFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/LopesFP19
Gonçalo Lopes, João Paulo Fernandes, Luís Paquete:
An Empirical Study on the Energy Efficiency of Matrix Transposition Algorithms. 375-391

a service of

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.