Structural operational semantics as a basis for static program analysis

1996-06-01

DOI：10.1145/234528.234744

查看原文

摘要

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

IF:

论文数:

2.4K

被引数:

3.5W

暂无机构信息

IF0

2018-11-01

OAAI

Brooke D. Hudspeth

IF0

2011-05-06

OAAI

Delyle Polet

IF0

2018-03-24

OAAI

Marcin Raś; Dariusz Iwan; Marcin Jan Kamiński

IF0

2019-09-01

PREAI

Andrew Lanza; Robin Soler; Bryce Smith; Thomas Hoerger; Simon Neuwahl; Ping Zhang