Programming Languages and Systems

The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025. The 30 full...

Descripción completa

Detalles Bibliográficos
Autor principal: Viktor Vafeiadis
Formato: Libro
Publicado: Springer Nature Switzerland 2025
Materias:
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=4198377&site=ehost-live
header:
  @attributes:
    shortDbName: nlebk
    uiTerm: 4198377
    longDbName: eBook Collection (EBSCOhost)
    uiTag: AN
  controlInfo:
    bkinfo:
      btl: Programming Languages and Systems
      aug:
        au: Viktor Vafeiadis
      sertl: Lecture Notes in Computer Science
      isbn:
        9783031911200
        9783031911217
    imageinfo:
    pubinfo:
      dt:
        @attributes:
          year: 2025
          month: 01
          day: 01
      dtAvail:
        @attributes:
          year: 2025
          month: 07
          day: 11
      vid: 15695
      pub: Springer Nature Switzerland
      pubContract: Springer Nature
      place: Cham
      price: 0.01
      limitsGroup:
        maxCheckoutDays: 1500
        copyPages: 10
        pda: N
        printPagesOffline: 10
        printPagesOnline: 10
        previewPages: 0
      prePubGroup:
        dewey:
          @attributes:
            class: 005.1
            item: 005 .1
        lc:
          @attributes:
            class: QA76.6
            item: QA 76 .6
    artinfo:
      ui:
        4198377
        1518799783
      formats:
        fmt:
          – @attributes:
              type: EB
              doid: NL$4198377$PDF
              caption: PDF
              download: Y
          – @attributes:
              type: EK
              doid: NL$4198377$EPUB
              caption: EPUB
              download: Y
      tig:
        atl: Programming Languages and Systems
        ptl: Programming Languages and Systems
      aug:
        au: Viktor Vafeiadis
      su:
        Programming languages (Electronic computers)--Congresses
        Computer programming--Congresses
      sug:
        subj:
          COMPUTERS / Languages / General
          COMPUTERS / Programming / Compilers
          Programming languages (Electronic computers)--Congresses
          Computer programming--Congresses
      ab: The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025. The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88 submissions. The proceedings also contain two short artifact reports. The papers focus on aspects of programming language research such as programming paradigns and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation, concurrency and districution; and applications and emerging topics.
      pubtype: eBook
      doctype: Book
      ougenre: Book
    language: English
    copyright:
      @attributes:
        flag: N
      copyrightText:
    holdings:
      @attributes:
        islocal: N