![循环不变式生成方法研究与改进]()
论文摘要软件作为信息系统的实现载体,广泛应用在各个领域,软件中的任何安全漏洞或错误的实现都可能导致非常严重的后果。通过大量的测试可以提高软件的可靠性,但成本较高,也不能完全保证...
![证人证言程序规范研究 ——以刑事审判为视角]()
论文摘要证人证言是刑事证据制度的重要组成部分,担负着证明案件事实、维护被告人合法权益的神圣职责。然而,由于法律程序规定的模糊,刑事诉讼程序中对证人的审查、认定存在着很多缺陷,尤...
![论WTO《反倾销协议》程序规范的完善]()
论文摘要目前各国际反倾销形势日益严峻,国际社会对国际反倾销法进行改革的呼声日益高涨。在WTO《反倾销协议》的改革过程中,程序规范的完善在限制及消除反倾销措施的滥用方面十分重要,...
![克服违法地方保护行为的法律制度选择]()
论文摘要地方保护行为指的是地方政府所实施的具有负的外部性的行为。以地方保护行为在效率上是否值得予以克服为标准,我们将其区分为合法地方保护行为和违法地方保护行为。违法地方保护行为...
![金梦妮:未成年人性侵犯案件处理实践问题研究论文]()
本文主要研究内容作者金梦妮（2019）在《性侵未成年人案件办理实务问题研究》一文中研究指出：性侵未成年人犯罪多是"一对一"的行为,被害人较为特殊,客观性证据...
![叶林:股份有限公司股份回购规则述评论文]()
本文主要研究内容作者叶林（2019）在《股份有限公司回购股份的规则评析》一文中研究指出：2018年10月26日,全国人大常委会审议通过并发布了修改《公司法》第142条的决定。笔...
