-
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 : proceedingsEuropean Symposium on Programming (27 ; 2018 ; Thessaloniki)This (open access) book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European ... Joint Conferences on Theory and Practice of Software, ETAPS 2018. The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.Vrsta gradiva - konferenčni zbornikZaložništvo in izdelava - Cham : Springer, cop. 2018Jezik - angleškiISBN - 978-3-319-89883-4; 978-3-319-89884-1COBISS.SI-ID - 18419801
Avtor
European Symposium on Programming
Drugi avtorji
Ahmed, Amal
Zbirka
Lecture notes in computer science
Teme
artificial intelligence |
computer architecture |
computer software selection and evaluation |
distributed computer systems |
formal logic |
formal model |
java |
model checking |
processors |
program compilers |
program verification |
programming language |
semantics |
separation logic |
software engineering |
specifications |
theorem proving |
type systems |
verification
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Ahmed, Amal |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.