Tracing compilation by abstract interpretation
type: Item
instance of: scholarly article
title: Tracing compilation by abstract interpretation
zbMATH Open document ID: 1284.68177
DOI: 10.1145/2535838.2535866
author: Stefano Dissegna
author: Francesco Logozzo
author: Francesco Ranzato
published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
publication date: 2014-04-10T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N20
zbMATH DE Number: 6282411
zbMATH Keywords: abstract interpretation
zbMATH Keywords: trace semantics
zbMATH Keywords: tracing compilation
describes a project that uses: PHP
describes a project that uses: JavaScript
describes a project that uses: Python
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/2535838.2535866
OpenAlex ID: W2045025591
Wikidata QID: Q131133007
description: scientific article; zbMATH DE number 6282411