Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Amal Ahmed
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
English[eng]
distributed computer systems||program verification||software engineering specifications||systems verification||processors||semantics||type||program compilers||artificial intelligence||formal logic||formal model||java||model checking||computer architecture||separation logic||programming language||theorem proving||computer software selection and evaluation
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
English[eng]
distributed computer systems||program verification||software engineering specifications||systems verification||processors||semantics||type||program compilers||artificial intelligence||formal logic||formal model||java||model checking||computer architecture||separation logic||programming language||theorem proving||computer software selection and evaluation