Publicações

Weakest Precondition Synthesis for Compiler Optimizations

AuthID
P-009-4G5

Author(s)

Lopes, NP

Monteiro, J

Editor(es)

McMillan,KL;Rival,X

Tipo de Documento

Proceedings Paper

Year published

2014

Publicado

in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8318, Páginas: 203-221 (19)

Conference

15Th International Conference on Verification, Model Checking, and Abstract Interpretation (Vmcai), Date: JAN 19-21, 2014, Location: San Diego, CA

Indexing

Wos^®

Scopus^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-642-54013-4-12

SCOPUS: 2-s2.0-84893383618

Wos: WOS:000354781700012

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Weakest Precondition Synthesis for Compiler Optimizations

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Weakest Precondition Synthesis for Compiler Optimizations

Links Úteis

Ajuda