View in EDS

On Nominal Automata as Models of Java-like Object-Oriented Programs

Saved in:

Bibliographic Details
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

Description
Abstract:	In this paper, we proposed a model of Java-like object-oriented programs as nominal automata and a simple method invocation checker.