Java bytecode verification: Algorithms and formalizations
type: Item
instance of: scholarly article
title: Java bytecode verification: Algorithms and formalizations
zbMATH Open document ID: 1031.68041
DOI: 10.1023/A:1025055424017
author: Xavier Leroy
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: 1977865
zbMATH Keywords: bytecode verification
zbMATH Keywords: Java Virtual Machine
zbMATH Keywords: dataflow analysis
zbMATH Keywords: abstract interpretation
zbMATH Keywords: subroutines
MaRDI profile type: Publication
full work available at URL: a:1025055424017
OpenAlex ID: W1501401133
description: scientific article; zbMATH DE number 1977865