View in EDS PDF Full Text ePub Full Text

Formal Verification of Just-in-Time Compilation

Saved in:
Bibliographic Details
Title: Formal Verification of Just-in-Time Compilation
Authors: Aurèle Barrière
Resource Type: eBook.
Categories: COMPUTERS / Computer Science
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
  – Type: ebook-epub
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 4218724
RelevancyScore: 1129
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1129.38305664063
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$4218724$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$4218724$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal Verification of Just-in-Time Compilation
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Aurèle+Barrière%22">Aurèle Barrière</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Science%22">COMPUTERS / Computer Science</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=4218724
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    Titles:
      – TitleFull: Formal Verification of Just-in-Time Compilation
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Aurèle Barrière
      – PersonEntity:
          Name:
            NameFull: Aurèle Barrière
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2025
          Identifiers:
            – Type: isbn-print
              Value: 9798400713781
            – Type: isbn-electronic
              Value: 9798400713798
            – Type: isbn-electronic
              Value: 9798400713804
          Titles:
            – TitleFull: Formal Verification of Just-in-Time Compilation
              Type: main
ResultId 1