A type system for the Java bytecode language and verifier
type: Item
instance of: scholarly article
title: A type system for the Java bytecode language and verifier
zbMATH Open document ID: 1031.68039
DOI: 10.1023/A:1025011624925
author: Stephen N. Freund
author: John Mitchell
published in: Journal of Automated Reasoning
publication date: 2003-09-09T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 1977866
zbMATH Keywords: Java Virtual Machine
zbMATH Keywords: bytecode verification
zbMATH Keywords: type systems
MaRDI profile type: Publication
full work available at URL: a:1025011624925
OpenAlex ID: W2168448595
description: scientific article; zbMATH DE number 1977866