Dissertation/ Thesis
Abstract Certification of Java Programs in Rewriting Logic
| Τίτλος: | Abstract Certification of Java Programs in Rewriting Logic |
|---|---|
| Συνεισφορές: | 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 |
| Πηγή: | Riunet |
| Θεματικοί όροι: | Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS |
| Τύπος εγγράφου: | Dissertation/Thesis |
| DOI: | 10.4995/Thesis/10251/13617 |
| Σύνδεσμος πρόσβασης: | http://hdl.handle.net/10251/13617 |
| Αριθμός Καταχώρησης: | edstdx.10251.13617 |
| Βάση Δεδομένων: | TDX |
καταχωρήστε σχόλιο πρώτοι!