首页> 外文OA文献 >Semantics-based generation of verification conditions by program specialization

【2h】

Semantics-based generation of verification conditions by program specialization

机译：基于语义的验证条件通过计划专业化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
E. De Angelis; F. Fioravanti; A. Pettorossi; M. Proietti;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Semantics-based generation of verification conditions via program specialization [J] . E. De Angelis, F. Fioravanti, A. Pettorossi, Science of Computer Programming . 2017,第nova1期

机译：通过程序专业化基于语义的验证条件生成
2. Semantics-Based Program Verifiers for All Languages [J] . Stefanescu Andrei, Park Daejun, Yuwen Shijiao, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第10期

机译：所有语言的基于语义的程序验证器
3. Program verification via iterated specialization [J] . E. De Angelis, F. Fioravanti, A. Pettorossi, Science of Computer Programming . 2014,第pta2期

机译：通过迭代专业化进行程序验证
4. Verifying Programs via Iterated Specialization [C] . Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation . 2013

机译：通过迭代专业验证程序
5. Mechanical and modular verification condition generation for object-based software [D] . Harton, Heather Keown. 2011

机译：基于对象的软件的机械和模块化验证条件生成
6. Downregulation of Programmed Cell Death 4 by Inflammatory Conditions Contributes to the Generation of the Tumor Promoting Microenvironment [O] . Michiko Yasuda, Tobias Schmid, Daniela Rübsamen, -1

机译：通过炎性病症的编程细胞死亡4的下调有助于促进微环境的肿瘤
7. Semantics-based generation of verification conditions via program specialization [O] . De Angelis E, Fioravanti F, Pettorossi A, 2017

机译：通过程序专业化基于语义的验证条件生成

Semantics-based generation of verification conditions by program specialization

著录项

引文网络

相似文献

相关主题

期刊订阅