eBook
Προβολή σε EDS

Static Analysis

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Static Analysis
Περιγραφή: This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Συγγραφείς: Manuel V. Hermenegildo, José F. Morales
Resource Type: eBook.
Θέματα: Computer science, Computer engineering, Computer networks, Natural language processing (Computer science), Machine theory, Compilers (Computer programs)
Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing
Βάση Δεδομένων: eBook Index
FullText Text:
  Availability: 0
Header DbId: edsebk
DbLabel: eBook Index
An: 3707768
RelevancyScore: 969
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 968.509704589844
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Static Analysis
– Name: Abstract
  Label: Description
  Group: Ab
  Data: This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Manuel+V%2E+Hermenegildo%22">Manuel V. Hermenegildo</searchLink><br /><searchLink fieldCode="AR" term="%22José+F%2E+Morales%22">José F. Morales</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+science%22">Computer science</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+engineering%22">Computer engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+networks%22">Computer networks</searchLink><br /><searchLink fieldCode="DE" term="%22Natural+language+processing+%28Computer+science%29%22">Natural language processing (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Machine+theory%22">Machine theory</searchLink><br /><searchLink fieldCode="DE" term="%22Compilers+%28Computer+programs%29%22">Compilers (Computer programs)</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Science%22">COMPUTERS / Computer Science</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Programming+%2F+Compilers%22">COMPUTERS / Programming / Compilers</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Hardware+%2F+General%22">COMPUTERS / Hardware / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Speech+%26+Audio+Processing%22">COMPUTERS / Speech & Audio Processing</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=3707768
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 004.0151
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Computer science
        Type: general
      – SubjectFull: Computer engineering
        Type: general
      – SubjectFull: Computer networks
        Type: general
      – SubjectFull: Natural language processing (Computer science)
        Type: general
      – SubjectFull: Machine theory
        Type: general
      – SubjectFull: Compilers (Computer programs)
        Type: general
    Titles:
      – TitleFull: Static Analysis
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Manuel V. Hermenegildo
      – PersonEntity:
          Name:
            NameFull: José F. Morales
      – PersonEntity:
          Name:
            NameFull: Manuel V. Hermenegildo
      – PersonEntity:
          Name:
            NameFull: José F. Morales
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2023
            – D: 24
              M: 10
              Type: profile
              Y: 2023
          Identifiers:
            – Type: isbn-print
              Value: 9783031442445
            – Type: isbn-electronic
              Value: 9783031442452
          Numbering:
            – Type: volume
              Value: 14284
          Titles:
            – TitleFull: Static Analysis
              Type: main
ResultId 1