eBook
Προβολή σε EDS

Programming Languages and Systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Programming Languages and Systems
Περιγραφή: This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.
Συγγραφείς: Bor-Yuh Evan Chang
Resource Type: eBook.
Θέματα: Compilers (Computer programs), Computer programming, Computer science, Computers, Professions, Electronic digital computers—Evaluation
Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General
Βάση Δεδομένων: eBook Index
FullText Text:
  Availability: 0
Header DbId: edsebk
DbLabel: eBook Index
An: 2562813
RelevancyScore: 931
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 930.90771484375
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Programming Languages and Systems
– Name: Abstract
  Label: Description
  Group: Ab
  Data: This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Bor-Yuh+Evan+Chang%22">Bor-Yuh Evan Chang</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Compilers+%28Computer+programs%29%22">Compilers (Computer programs)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science%22">Computer science</searchLink><br /><searchLink fieldCode="DE" term="%22Computers%22">Computers</searchLink><br /><searchLink fieldCode="DE" term="%22Professions%22">Professions</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+digital+computers—Evaluation%22">Electronic digital computers—Evaluation</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Programming+%2F+Compilers%22">COMPUTERS / Programming / Compilers</searchLink><br /><searchLink fieldCode="ZK" term="%22BUSINESS+%26+ECONOMICS+%2F+Careers+%2F+General%22">BUSINESS & ECONOMICS / Careers / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+General%22">COMPUTERS / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Architecture%22">COMPUTERS / Computer Architecture</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Science%22">COMPUTERS / Computer Science</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Programming+%2F+General%22">COMPUTERS / Programming / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Hardware+%2F+General%22">COMPUTERS / Hardware / General</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=2562813
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 005.45
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Compilers (Computer programs)
        Type: general
      – SubjectFull: Computer programming
        Type: general
      – SubjectFull: Computer science
        Type: general
      – SubjectFull: Computers
        Type: general
      – SubjectFull: Professions
        Type: general
      – SubjectFull: Electronic digital computers—Evaluation
        Type: general
    Titles:
      – TitleFull: Programming Languages and Systems
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Bor-Yuh Evan Chang
      – PersonEntity:
          Name:
            NameFull: Bor-Yuh Evan Chang
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2017
            – D: 23
              M: 11
              Type: profile
              Y: 2021
          Identifiers:
            – Type: isbn-print
              Value: 9783319712369
            – Type: isbn-electronic
              Value: 9783319712376
          Numbering:
            – Type: volume
              Value: 10695
          Titles:
            – TitleFull: Programming Languages and Systems
              Type: main
ResultId 1