O-表达式的性质定义与规范（英文）.pdfVIP

ISSN 1673—9418 CODEN JKYTA8 E—mail：fcst@public2．bta．net．cn JournalofFrontiersofComputerScienceandTechnology http：／w／ww．ceaj．org 1673—9418／2010／04(01、一0020—09 Tel：+86—10 DOI：10．3778／j．issn．1673—9418．2010．O1．002 Definitionsand SpecificationsofO-expression Properties YUAN Chongyi。，ZHAO Wen， ，GAO Xin．-，HUANG Yu。，，。 1．KeyLabofHighConfidenceSoftwareTechnologiesofMOE，PekingUniversity，Beijing100871，China 2．SchoolofElectronicsEngineeringandComputerScience，Peki