程序性质相关论文
在现代法治范畴内,公民的财产权是基本权利,与人身权利一样重要。在刑事诉讼中,相对于注重定罪量刑的“对人之诉”,对于涉案财物处......
规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式.但是,它现有......
规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式。但是,它现有......
<正> XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的......
为保证程序的正确性，程序在投入使用前需要检验其是否满足规定的性质，那么程序的性质需要用一种语言来描述。XYZ／AE是时序逻辑系统XYZ......
时序逻辑作为一种规格说明语言，能够很好地描述程序性质．为了能够利用现有的定理证明器PVS（prototype verification system）对用时序逻......
为了保证程序的正确性,可以先将程序抽象成模型,再采用模型检测技术对模型进行验证.模型检测工具只接受形式化的性质描述语言,而一......
在共有物分割之诉中,实体法与程序法呈现出明显的交互关系。一是围绕共有物分割滋生的实体权利义务争议涉及诸多事项,基于实体权利......
第三人撤销之诉的制度的正式提出是在《民事诉讼法》中,当事人以外的第三人也同样拥有了诉讼维护自身利益的权利.在国内引起了对该......
证明案件事实是诉讼中的重要活动,也是诉讼法学和证据法学关注和研究的重点内容。刑事诉讼要解决一个人应否承担刑事责任的问题,案......
作为2012年《刑事诉讼法》修改的重要部分,违法所得特别没收程序在具体适用上存在较大理论和实践争议。违法所得没收程序的本质是......
目前国内关于第三人撤销之诉性质的讨论多集中在"诉的性质"方面,且重点围绕是否属诉讼法上的形成之诉展开争论,很少从"程序性质"的......
民事司法确认程序,是不同于现有的诉讼程序、非讼程序以及特别程序的一项独立的司法程序。该程序在设置上不仅确认的范围及其案件......
随着我国反腐力度的逐步增强,违法所得没收程序将发挥越来越重要的作用。从立法过程到实践过程,违法所得没收程序一直饱受争议。学......
对外贸易壁垒调查制度是一种国内行政程序性质的单边贸易救济措施,与“二反一保”的本质差异在于前者属于“出口救济”措施,具有较......
为高效反腐、有力反恐,实现保护国家利益以及利害关系人权益的需要,2012年《刑事诉讼法》构建了不需经过定罪程序,便可没收违法所......
