Název: On Nominal Automata as Models of Java-like Object-Oriented Programs
Autoři: Suzuki, Tomoyuki
Typ dokumentu: Výzkumné zprávy
Rok: 2016
Jazyk: eng
Edice: Technical Report, svazek: V-1243
Abstrakt: In this paper, we proposed a model of Java-like object-oriented programs as nominal automata and a simple method invocation checker.

Instituce: Ústav informatiky AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný na vyžádání prostřednictvím repozitáře Akademie věd.
Původní záznam: http://hdl.handle.net/11104/0266135

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-262467


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Zprávy > Výzkumné zprávy