Programming Languages and Systems
The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026. The 31 full...
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Publicado: |
Springer Nature Switzerland
2026
|
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=4462051&site=ehost-live header: @attributes: shortDbName: nlebk uiTerm: 4462051 longDbName: eBook Collection (EBSCOhost) uiTag: AN controlInfo: bkinfo: btl: Programming Languages and Systems aug: au: Robbert Krebbers isbn: 9783032227225 9783032227232 imageinfo: pubinfo: dt: @attributes: year: 2026 month: 01 day: 01 pub: Springer Nature Switzerland pubContract: Springer Nature place: [N.p.] price: 0.01 limitsGroup: maxCheckoutDays: 1500 copyPages: 10 pda: N printPagesOffline: 10 printPagesOnline: 10 previewPages: 0 artinfo: ui: 4462051 formats: fmt: – @attributes: type: EB doid: NL$4462051$PDF caption: PDF download: Y – @attributes: type: EK doid: NL$4462051$EPUB caption: EPUB download: Y tig: atl: Programming Languages and Systems ptl: Programming Languages and Systems aug: au: Robbert Krebbers sug: subj: COMPUTERS / Languages / General ab: The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026. The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and selected from 94 submissions. They deal with fundamental issues in the specification, design, analysis and implementation of programming languages and systems, such as programming paradigms and styles; methods and tools to write and specify programs and languages; methods and tools for reasoning about programs; programming systems design and implementation. pubtype: eBook doctype: Book ougenre: Book language: English copyright: @attributes: flag: N copyrightText: holdings: @attributes: islocal: N |
|---|