导出
  • 排序
  • 显示
3. On reachability analysis of pushdown systems with transductions: Application to Boolean programs with call-by-reference SCOPUS EI

作者:Song F.;Miao W.;Pu G.;Zhang M.

通讯作者:Zhang, Min(mzhang@sei.ecnu.edu.cn)

通讯作者地址:Zhang, M.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal UniversityChina; 电子邮件: mzhang@sei.ecnu.edu.cn

作者机构:[Song, Fu ;Miao, Weikai ;Pu, Geguang ;Zhang, Min ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China

来源:Leibniz International Proceedings in Informatics, LIPIcs,2015,42,383-397

收录类别:SCOPUS;EI

Scopus被引:1

资源类型:外文期刊论文;外文会议论文

TOP