Title: Programming Languages and Systems
Subjects: Logic design, Software engineering, Data protection, Computer science, Programming languages (Electronic computers), Congresses, Programmanalyse, Kongress, Programmierlogik, Programmiersprache, Formale Methode, Programmtransformation, Programmoptimierung, Softwaresystem, Programmverifikation, Sicherheit, Computer programming, Programming languages (electronic computers)