会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Programming language processing system with program translation
performed by term rewriting with pattern matching
    • 编程语言处理系统,具有通过模式匹配的术语重写执行的程序转换
    • US5530863A
    • 1996-06-25
    • US524797
    • 1990-05-18
    • Katsushige Hino
    • Katsushige Hino
    • G06F9/44G06F17/27
    • G06F8/311G06F17/274
    • A programming language processing system for a computer language processing system wherein a program described in a high level programming language is translated into another program written in lower level programming language. In one embodiment of the invention, a specification of a programming language incorporates a concept of handling various basic words classified by parts-of-speech including nouns, adjectives, conjunctions, and various logic words. The program described by the programming language is converted into an internal expression form based on a sentence structure which can be converted to a binary tree. In accordance with a logic synthesis rule for term-rewriting based on a pattern collation, a logic expressed by the internal expression form is subject to conversion to a lower level program description wherein the parts-of-speech are deleted.
    • 一种用于计算机语言处理系统的编程语言处理系统,其中以高级编程语言描述的程序被转换成以较低级编程语言编写的另一程序。 在本发明的一个实施例中,编程语言的规范包括处理由包括名词,形容词,连词和各种逻辑词在内的词性分类的各种基本词的概念。 由编程语言描述的程序基于可以转换为二叉树的句子结构转换为内部表达式。 根据用于基于模式排序规则的术语重写的逻辑综合规则,由内部表达形式表示的逻辑将被转换为其中删除部分语音的较低级别的程序描述。