Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT

Thumbnail Image

Download

Download Synthesis_of_Sound.pdf (487.5 KB)

Official URL

https://doi.org/10.1145/3650212.3680352

Full text at PDC

Publication date

2024

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/121778

Citation

Abstract

Research Projects

Organizational Units

Journal Issue

Description

UCM subjects

Informática (Informática)

Unesco subjects

1203.17 Informática

Keywords

Collections

Artículos