Bibliographische Detailangaben
| Titel: |
Abstract Certification of Java Programs in Rewriting Logic |
| 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, Escobar Román, Santiago |
| Quelle: |
Riunet |
| Schlagwörter: |
Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS |
| Publikationsart: |
Dissertation/Thesis |
| DOI: |
10.4995/Thesis/10251/13617 |
| Zugangs-URL: |
http://hdl.handle.net/10251/13617 |
| Dokumentencode: |
edstdx.10251.13617 |
| Datenbank: |
TDX |