RU95118249A - Способ и устройство для достоверной оценки семантических признаков в синтаксическом анализе при проходе вперед слева направо - Google Patents

Способ и устройство для достоверной оценки семантических признаков в синтаксическом анализе при проходе вперед слева направо

Info

Publication number
RU95118249A
RU95118249A RU95118249/09A RU95118249A RU95118249A RU 95118249 A RU95118249 A RU 95118249A RU 95118249/09 A RU95118249/09 A RU 95118249/09A RU 95118249 A RU95118249 A RU 95118249A RU 95118249 A RU95118249 A RU 95118249A
Authority
RU
Russia
Prior art keywords
semantic attribute
parsing
node
tree
semantic
Prior art date
Application number
RU95118249/09A
Other languages
English (en)
Other versions
RU2115158C1 (ru
Inventor
В.О. Сафонов
Original Assignee
В.О. Сафонов
Filing date
Publication date
Application filed by В.О. Сафонов filed Critical В.О. Сафонов
Priority to RU95118249A priority Critical patent/RU2115158C1/ru
Priority claimed from RU95118249A external-priority patent/RU2115158C1/ru
Priority to US08/586,234 priority patent/US5892951A/en
Publication of RU95118249A publication Critical patent/RU95118249A/ru
Application granted granted Critical
Publication of RU2115158C1 publication Critical patent/RU2115158C1/ru

Links

Claims (14)

1. Способ синтаксического анализа исходной программы, выполняемой компьютером, имеющим память, отличающийся тем, что вводят оператор исходного кода исходной программы, определяют правило вывода, которое относится к оператору исходного кода, записано в памяти и имеет ассоциированное действие, которое также хранится в памяти, создают узел дерева текущего синтаксического анализа в памяти во время процедуры синтаксического анализа в соответствии с ассоциированным действием, при этом узел дерева текущего синтаксического анализа имеет поле семантического признака, и запоминают во время процедуры синтаксического анализа в соответствии с ассоциированным действием значение семантического признака узла дерева текущего синтаксического анализа.
2. Способ по п. 1, отличающийся тем, что осуществляют логический анализ между введением оператора исходного кода и определением правила вывода и получают лексемы элементарных значений, определение правила вывода осуществляют в соответствии с полученными лексемами.
3. Способ по п. 1, отличающийся тем, что шаг запоминания значений семантического признака осуществляют следующим образом: определяют значения семантического признака по меньшей мере одного порожденного узла для узла дерева текущего синтаксического анализа и определяют значение семантического признака узла дерева текущего синтаксического анализа в соответствии со значениями определенного семантического признака по меньшей мере одного порожденного узла.
4. Способ по п.1, отличающийся тем, что при запоминании осуществляют запоминание значения семантического признака, определенного подпрограммой семантического признака.
5. Способ по п.4, отличающийся тем, что подпрограмму семантического признака вызывают вызовом функции.
6. Способ по п.4, отличающийся тем, что подпрограмму семантического признака вызывают вызовом процедуры.
7. Способ по п.1, отличающийся тем, что при семантическом анализе используют запомненное значение семантического признака в дереве синтаксического анализа.
8. Устройство для синтаксического анализа, отличающееся тем, что содержит память (запоминающее устройство), обеспечивающую хранение по меньшей мере одного кода в исходной программе и хранение множества правил вывода, причем каждое правило имеет ассоциированное действие, которое также хранится в памяти, определитель правила вывода, предназначенный для определения правила вывода из множества правил вывода, которые относятся к коду исходной программы, первую часть синтаксического анализатора, обеспечивающую создание в памяти узла дерева текущего синтаксического анализа, имеющего поле семантического признака, во время синтаксического анализа в соответствии с ассоциированным действием, вторую часть синтаксического анализатора, обеспечивающую хранение в памяти во время синтаксического анализа в соответствии с ассоциированным действием значения семантического признака в поле семантического признака узла дерева текущего синтаксического анализа.
9. Устройство по п.8, отличающееся тем, что содержит лексический анализатор для выдачи лексем кода исходной программы, в котором определитель правила вывода получает лексемы в качестве входа.
10. Устройство по п.8, отличающееся тем, что вторая часть синтаксического анализатора дополнительно содержит часть для определения значений семантического признака у по меньшей мере одного порожденного узла для узла дерева текущего синтаксического анализа и часть для определения значения семантического признака узла дерева текущего синтаксического анализа в соответствии с определенными значениями семантического признака для по меньшей мере одного порожденного узла.
11. Устройство по п.8, отличающееся тем, что память предназначена для хранения значения семантического признака, определенного подпрограммой семантического признака.
12. Устройство по п.11, отличающееся тем, что подпрограмма семантического признака вызывается посредством вызова функции.
13. Устройство по п. 11, отличающееся тем, что подпрограмма семантического признака вызывается посредством вызова процедуры.
14. Устройство по п. 11, отличающееся тем, что дополнительно содержит семантический анализатор, предназначенный для выполнения семантического анализа кода исходной программы в соответствии с запомненным значением семантического признака в дереве синтаксического анализа.
RU95118249A 1995-10-24 1995-10-24 Способ и устройство для достоверной оценки семантических признаков в синтаксическом анализе при проходе вперед слева направо RU2115158C1 (ru)

Priority Applications (2)

Application Number Priority Date Filing Date Title
RU95118249A RU2115158C1 (ru) 1995-10-24 1995-10-24 Способ и устройство для достоверной оценки семантических признаков в синтаксическом анализе при проходе вперед слева направо
US08/586,234 US5892951A (en) 1995-10-24 1996-01-12 Method and apparatus for efficient evaluation of semantic attributes in LALR parsing

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
RU95118249A RU2115158C1 (ru) 1995-10-24 1995-10-24 Способ и устройство для достоверной оценки семантических признаков в синтаксическом анализе при проходе вперед слева направо

Publications (2)

Publication Number Publication Date
RU95118249A true RU95118249A (ru) 1997-11-10
RU2115158C1 RU2115158C1 (ru) 1998-07-10

Family

ID=20173215

Family Applications (1)

Application Number Title Priority Date Filing Date
RU95118249A RU2115158C1 (ru) 1995-10-24 1995-10-24 Способ и устройство для достоверной оценки семантических признаков в синтаксическом анализе при проходе вперед слева направо

Country Status (2)

Country Link
US (1) US5892951A (ru)
RU (1) RU2115158C1 (ru)

Families Citing this family (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6305011B1 (en) * 1996-01-16 2001-10-16 Sun Microsystems, Inc. Tip technology and its application to sparcompiler pascal
US6715130B1 (en) * 1998-10-05 2004-03-30 Lockheed Martin Corporation Software requirements metrics and evaluation process
US6961931B2 (en) * 2001-01-10 2005-11-01 International Business Machines Corporation Dependency specification using target patterns
US7240331B2 (en) * 2002-01-16 2007-07-03 Xerox Corporation Bi-valuation of programming statements
US7552137B2 (en) * 2004-12-22 2009-06-23 International Business Machines Corporation Method for generating a choose tree for a range partitioned database table
WO2007074469A2 (en) * 2005-12-27 2007-07-05 Vaakya Technologies Private Limited Method and system for compiling a source code
US20080141230A1 (en) * 2006-12-06 2008-06-12 Microsoft Corporation Scope-Constrained Specification Of Features In A Programming Language
US8850414B2 (en) * 2007-02-02 2014-09-30 Microsoft Corporation Direct access of language metadata
CN103645931B (zh) * 2013-12-25 2016-06-22 盛杰 代码转换的方法及装置
RU2672786C1 (ru) * 2018-01-10 2018-11-19 Роман Евгеньевич Жидков Способ верификации программного обеспечения по естественной семантике идентификаторов исходного кода программы при статическом анализе

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4398249A (en) * 1970-08-12 1983-08-09 Pardo Rene K Process and apparatus for converting a source program into an object program
US5261103A (en) * 1988-09-12 1993-11-09 Hitachi, Ltd. Method of and system for compiling source program
JPH0281230A (ja) * 1988-09-19 1990-03-22 Hitachi Ltd 構文解析および言語処理システム
US5086504A (en) * 1989-02-28 1992-02-04 Hewlett-Packard Co. Method for performing computer system functions defined by a hierarchial programming language having default nodes
US5418717A (en) * 1990-08-27 1995-05-23 Su; Keh-Yih Multiple score language processing system
JPH0728815A (ja) * 1993-02-18 1995-01-31 Matsushita Electric Ind Co Ltd 構文解析装置
US5857102A (en) * 1995-03-14 1999-01-05 Sun Microsystems, Inc. System and method for determining and manipulating configuration information of servers in a distributed object environment

Similar Documents

Publication Publication Date Title
Despeyroux et al. Higher-order abstract syntax in Coq
Weise et al. Automatic online partial evaluation
US5526522A (en) Automatic program generating system using recursive conversion of a program specification into syntactic tree format and using design knowledge base
JP2007521568A (ja) 複数の例外処理モデルの中間表現
RU95118249A (ru) Способ и устройство для достоверной оценки семантических признаков в синтаксическом анализе при проходе вперед слева направо
Wilensky et al. Uc-a progress report
JP3062266B2 (ja) 支援装置
Basili et al. SIMPL-T: a structured programming language
RU2115158C1 (ru) Способ и устройство для достоверной оценки семантических признаков в синтаксическом анализе при проходе вперед слева направо
Neumann Application of explanation-based learning for efficient processing of constraint-based grammars
Koskimies et al. The design of a language processor generator
CN111381826A (zh) 生成代码文件的语法树的方法、装置及电子设备
US7603661B2 (en) Parse table generation method and system
Hanson Compact recursive‐descent parsing of expressions
CN111381827A (zh) 生成代码文件的语法树的方法、装置及电子设备
CN111381814A (zh) 生成代码文件的语法树的方法、装置及电子设备
Stroet et al. Manipulation of expressions in a relational algebra
KR20050065015A (ko) 프로그램의 복제 여부를 검사하는 방법 및 시스템
Mellish Generating natural language explanations from plans
Graham APLO: a simple modern APL
EP1341095B1 (en) Chart generation
Moss How to define a language using prolog
Abrahams The CIMS PL/I compiler
Collins et al. Supporting Formal Reasoning about Standard ML
von Mayrhauser et al. Incremental parsing for software maintenance tools