Titel

Merkliste
1 Ergebnisse

An Architecture Supporting Formal and Compositional Binary ..:

, In: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems,

McMahan, Joseph ; Christensen, Michael ; Nichols, Lawton... - p. 177-191 , 2017

Link: https://dl.acm.org/doi/10.1145/3037697.3037733

RT 
T1 <cTitle>Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems</cTitle>: T1 <Title>An Architecture Supporting Formal and Compositional Binary Analysis</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3037733&Exemplar=1&LAN=DE
				
A1 McMahan, Joseph
A1 Christensen, Michael
A1 Nichols, Lawton
A1 Roesch, Jared
A1 Guo, Sung-Yee
A1 Hardekopf, Ben
A1 Sherwood, Timothy
PB ACM
YR 2017
K1 assembly analysis
K1 binary verification
K1 formal methods
K1 functional programming
K1 heterogeneous architecture
K1 isa semantics
K1 non-interference
K1 static analysis
K1 Software and its engineering
K1 Software notations and tools
K1 Formal language definitions
K1 Semantics
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Automated static analysis
K1 Software verification
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Program analysis
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Computer systems organization
K1 Architectures
K1 Other architectures
K1 Heterogeneous (hybrid) systems
K1 High-level language architectures
K1 Program verification
K1 Hardware
K1 Robustness
K1 Safety critical systems
K1 Program semantics
K1 Operational semantics
K1 Logic
K1 Verification by model checking
K1 Real-time systems
K1 Real-time system architecture
K1 General programming languages
K1 Language types
K1 Functional languages
K1 Assembly languages
K1 Type theory
SP 177
OP 191
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3037697.3037733
DO https://dl.acm.org/doi/10.1145/3037697.3037733
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)