Abstract domains for type juggling
type: Item
instance of: scholarly article
title: Abstract domains for type juggling
zbMATH Open document ID: 1412.68033
author: Vincenzo Arceri
author: Sergio Maffeis
publication date: 2018-07-16T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6903864
zbMATH Keywords: PHP
zbMATH Keywords: static analysis
zbMATH Keywords: abstract interpretation
zbMATH Keywords: type conversions
Wikidata QID: Q113317604
describes a project that uses: JSAI
describes a project that uses: Phantm
describes a project that uses: PHP
describes a project that uses: JavaScript
MaRDI profile type: Publication
full work available at URL: j.entcs.2017.02.003
OpenAlex ID: W2597324076
cites work: ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
cites work: Making abstract interpretations complete
DOI: 10.1016/J.ENTCS.2017.02.003
description: scientific article; zbMATH DE number 6903864