Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

浅议我国民事简易程序立法疏漏与重建

民事简易程序是解决民事纠纷的重要机制,如何更好地发挥其功能价值,是司法改革和实践中的重点问题。笔者针对我国民事诉讼简易程序适用的现状,提出了立法上和实践中我国民事诉讼简易程序在适用范围、起诉和答辩制度、传唤制度、程序转换制度以及上诉审制度存在的缺陷,并对存在问题的成因进行深刻的剖析。在此基础上,笔者从如何制定案件适用范围的具体标准、放宽口头起诉的立案标准、规范和强化传唤的方式与效力、限制简易程序与普通程序转换的条件,对完善我国民事诉讼简易程序提出了一些初步的构想,以发挥它定纷止争的潜力。     

德、日、台民事诉讼程序转换制度之比较与借鉴

在以简化诉讼程序为主流的背景下,简易程序成为各国普遍关注的焦点的同时,简易程序与普通程序的相互转换问题也日益凸显,我国也不例外。鉴于我国目前的立法和实践在程序转换问题上还存在许多不足,笔者通过考察其他国家（主要是大陆法系国家）的相关规定,观察我国的司法实践,对我国程序转换中几个重要问题的构建或完善提出初步设想。     

基于中间语言的逆编译系统CDS

为了帮助程序员理解、分析软件,减轻人的劳动强度,我们设计了基于中间语言的逆编译系统CDS。CDS的过程首先把机器语言程序转换为中间语言程序,然后进行数据类型和控制流程分析,最后产生目标高级语言程序。     

民事程序转换问题研究

《民事诉讼法》作为程序法必须以严谨的程序设计为依托,任何一项民事程序都有其运行规则和内在逻辑。由于民事法律事实的变化,可能会出现民事程序转换的情形。具体包括审判程序中简易程序与普通程序之间的转换以及非讼程序转换为诉讼程序两大类,而简易程序与普通程序之间的转化具体分为普通程序转化为简易程序和简易程序转化为普通程序两种,简易程序中的小额程序转化为一般简易程序或普通程序也是一种民事程序转化的形式。而在每一项程序制度设计的背后,其可行性、可操作性都是司法实践中无法避免的问题,程序之间如何转换,转换的空间和可能到底有多少,这些都是学界和实务界必须深入研究的问题。     

一种实用的控制系统CAD程序转换方法

本文介绍了一种实用的程序转换方法。该方法把(中国控制系统CAD—CCSCAD一期工程中部分子包的)非结构化FORTRAN程序,经非结构化流程图到结构化流程图,再到PAD图,最后转换成(CCSCAD二期工程所要求的)结构化C程序。其中四个函数过程的具体构造在文中给出。     

一种函数式语言到PROLOG的转换技术

定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统。