Dissertation/ Thesis
View in EDS

Abstract Certification of Java Programs in Rewriting Logic

Bibliographic Details
Title: Abstract Certification of Java Programs in Rewriting Logic
Contributors: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago
Source: Riunet
Subject Terms: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Document Type: Dissertation/Thesis
DOI: 10.4995/Thesis/10251/13617
Access URL: http://hdl.handle.net/10251/13617
Accession Number: edstdx.10251.13617
Database: TDX
FullText Text:
  Availability: 0
CustomLinks:
  – Url: http://hdl.handle.net/10251/13617#
    Name: EDS - TDX (ns324271)
    Category: fullText
    Text: View record in TDX
Header DbId: edstdx
DbLabel: TDX
An: edstdx.10251.13617
RelevancyScore: 1170
AccessLevel: 3
PubType: Dissertation/ Thesis
PubTypeId: dissertation
PreciseRelevancyScore: 1170
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Abstract Certification of Java Programs in Rewriting Logic
– Name: Author
  Label: Contributors
  Group: Au
  Data: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
– Name: Author
  Label: Thesis Advisors
  Group: Au
  Data: Alpuente Frasnedo, María<br />Escobar Román, Santiago
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Riunet
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Rewriting+logic+maude%22">Rewriting logic maude</searchLink><br /><searchLink fieldCode="DE" term="%22Proof-carrying+code+pcc%22">Proof-carrying code pcc</searchLink><br /><searchLink fieldCode="DE" term="%22Non-interference%22">Non-interference</searchLink><br /><searchLink fieldCode="DE" term="%22Erasure%22">Erasure</searchLink><br /><searchLink fieldCode="DE" term="%22Java+programs%22">Java programs</searchLink><br /><searchLink fieldCode="DE" term="%22Certification%22">Certification</searchLink><br /><searchLink fieldCode="DE" term="%22Verification%22">Verification</searchLink><br /><searchLink fieldCode="DE" term="%22LENGUAJES+Y+SISTEMAS+INFORMATICOS%22">LENGUAJES Y SISTEMAS INFORMATICOS</searchLink>
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: Dissertation/Thesis
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.4995/Thesis/10251/13617
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="http://hdl.handle.net/10251/13617" linkWindow="_blank">http://hdl.handle.net/10251/13617</link>
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edstdx.10251.13617
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edstdx&AN=edstdx.10251.13617
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.4995/Thesis/10251/13617
    Subjects:
      – SubjectFull: Rewriting logic maude
        Type: general
      – SubjectFull: Proof-carrying code pcc
        Type: general
      – SubjectFull: Non-interference
        Type: general
      – SubjectFull: Erasure
        Type: general
      – SubjectFull: Java programs
        Type: general
      – SubjectFull: Certification
        Type: general
      – SubjectFull: Verification
        Type: general
      – SubjectFull: LENGUAJES Y SISTEMAS INFORMATICOS
        Type: general
    Titles:
      – TitleFull: Abstract Certification of Java Programs in Rewriting Logic
        Type: main
ResultId 1