In EDS ansehen

Rewriting Logic Techniques for Program Analysis and Optimization

Gespeichert in:
Bibliographische Detailangaben
Titel: Rewriting Logic Techniques for Program Analysis and Optimization
Weitere Verfasser: 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, Ballis, Demis
Schlagwörter: Rewriting Logic, Maude, Program Diagnosis and Debugging, Runtime Assertion Checking, Dynamic Program and Trace Slicing, LENGUAJES Y SISTEMAS INFORMATICOS
Publikationsart: Dissertation/Thesis
DOI: 10.4995/Thesis/10251/94044
Zugangs-URL: http://hdl.handle.net/10251/94044
Dokumentencode: edstdx.10251.94044
Datenbank: TDX
FullText Text:
  Availability: 0
CustomLinks:
  – Url: http://hdl.handle.net/10251/94044#
    Name: EDS - TDX (s4221598)
    Category: fullText
    Text: View record in TDX
Header DbId: edstdx
DbLabel: TDX
An: edstdx.10251.94044
RelevancyScore: 1170
AccessLevel: 3
PubType: Dissertation/ Thesis
PubTypeId: dissertation
PreciseRelevancyScore: 1170
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Rewriting Logic Techniques for Program Analysis and Optimization
– 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 />Ballis, Demis
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Rewriting+Logic%22">Rewriting Logic</searchLink><br /><searchLink fieldCode="DE" term="%22Maude%22">Maude</searchLink><br /><searchLink fieldCode="DE" term="%22Program+Diagnosis+and+Debugging%22">Program Diagnosis and Debugging</searchLink><br /><searchLink fieldCode="DE" term="%22Runtime+Assertion+Checking%22">Runtime Assertion Checking</searchLink><br /><searchLink fieldCode="DE" term="%22Dynamic+Program+and+Trace+Slicing%22">Dynamic Program and Trace Slicing</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/94044
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="http://hdl.handle.net/10251/94044" linkWindow="_blank">http://hdl.handle.net/10251/94044</link>
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edstdx.10251.94044
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edstdx&AN=edstdx.10251.94044
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.4995/Thesis/10251/94044
    Subjects:
      – SubjectFull: Rewriting Logic
        Type: general
      – SubjectFull: Maude
        Type: general
      – SubjectFull: Program Diagnosis and Debugging
        Type: general
      – SubjectFull: Runtime Assertion Checking
        Type: general
      – SubjectFull: Dynamic Program and Trace Slicing
        Type: general
      – SubjectFull: LENGUAJES Y SISTEMAS INFORMATICOS
        Type: general
    Titles:
      – TitleFull: Rewriting Logic Techniques for Program Analysis and Optimization
        Type: main
ResultId 1