Original title: On Nominal Automata as Models of Java-like Object-Oriented Programs
Authors: Suzuki, Tomoyuki
Document type: Research reports
Year: 2016
Language: eng
Series: Technical Report, volume: V-1243
Abstract: In this paper, we proposed a model of Java-like object-oriented programs as nominal automata and a simple method invocation checker.

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available on demand via the digital repository of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0266135

Permalink: http://www.nusl.cz/ntk/nusl-262467


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Reports > Research reports