Imagen de Portada
Código QR

Behavioural Types : From Theory to Tools

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, mot...

Descripción completa

Autores principales: Simon Gay, António Ravara
Formato: Libro
Publicado: River Publishers 2017
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=1800576&site=ehost-live
header:
  @attributes:
    shortDbName: nlebk
    uiTerm: 1800576
    longDbName: eBook Collection (EBSCOhost)
    uiTag: AN
  controlInfo:
    bkinfo:
      btl: Behavioural Types : From Theory to Tools
      aug:
        au:
          Simon Gay
          António Ravara
      sertl: River Publishers Series in Automation, Control and Robotics
      isbn:
        9788793519824
        9788770044271
        9788793519817
        9781000799255
        9781000799392
        9781003337331
    imageinfo:
    pubinfo:
      dt:
        @attributes:
          year: 2017
          month: 01
          day: 01
      dtAvail:
        @attributes:
          year: 2019
          month: 09
          day: 24
      pub: River Publishers
      pubContract: CRC Press (Unlimited)
      place: Gistrup, Denmark
      price: 0.01
      limitsGroup:
        maxCheckoutDays: 1500
        copyPages: -1
        pda: N
        printPagesOffline: 60
        printPagesOnline: 60
        previewPages: 10000
      prePubGroup:
        dewey:
          @attributes:
            class: 005.13
            item: 005 .13
        lc:
          @attributes:
            class: QA76.7 .B44 2017
            item: QA 76 .7 .B44 2017
    artinfo:
      ui:
        1800576
        1040038567
      formats:
        fmt:
          – @attributes:
              type: EB
              doid: NL$1800576$PDF
              caption: PDF
              download: Y
          – @attributes:
              type: EK
              doid: NL$1800576$EPUB
              caption: EPUB
              download: Y
      tig:
        atl: Behavioural Types : From Theory to Tools
        ptl: Behavioural Types
      aug:
        au:
          Simon Gay
          António Ravara
      su: QA76.7
      sug:
        subj:
          COMPUTERS / Software Development & Engineering / General
          SCIENCE / Energy
          QA76.7
      ab: Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.
      pubtype: eBook
      doctype: Book
      ougenre: Book
    language: English
    copyright:
      @attributes:
        flag: N
      copyrightText:
    holdings:
      @attributes:
        islocal: N