【摘要】计算机飞速发展,促使用户需求单个程序实现更多功能,导致程序行为及结构复杂化,不利于程序设计及性质验证工作。因此,程序行为及结构优化亟待研究及实现。程序行为及结构优化过程中,创建合理的程序形式化刻画系统是研究程序行为及结构的前提。早期的程序形式化刻画系统大都离散化,由抽象的动作、离散的状态及状态间的转移关系构成,可对程序进行基于状态遍历的计算和推理。遗憾的是,它们无法对程序行为即数据流交换过 […]

【摘要】在公共预算中扩大、加强公众参与的力度与效果，强化公众参与程序保障，是社会管理模式的重大创新，是基层民主建设的生动典范，同时也是我党民主执政加强执政能力建设的重大举措，具有较强的现实意义和理论价值。特别是随着党的十八大的胜利召开，创新社会管理、基层民主建设以及党的执政能力建设已经得到了党中央、国务院的高度重视，更重要的是在2014年的“两会”当中中央提出，进行财税体制改革，对预算实行“全口径 […]