On Nominal Automata as Models of Java-like Object-Oriented Programs
Saved in:
| Title: | On Nominal Automata as Models of Java-like Object-Oriented Programs |
|---|---|
| Authors: | Suzuki, T. (Tomoyuki) |
| Publisher Information: | ICS CAS |
| Publication Year: | 2016 |
| Collection: | The Czech Academy of Sciences: Publication Activity (ASEP) / Akademie věd ČR - Publikační činnost |
| Description: | In this paper, we proposed a model of Java-like object-oriented programs as nominal automata and a simple method invocation checker. |
| Document Type: | report |
| Language: | English |
| Relation: | http://hdl.handle.net/11104/0266135 |
| Availability: | http://hdl.handle.net/11104/0266135 |
| Rights: | info:eu-repo/semantics/restrictedAccess |
| Accession Number: | edsbas.91D81265 |
| Database: | BASE |
Nájsť tento článok vo Web of Science Be the first to leave a comment!