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
Links
- 238000011156 evaluation Methods 0.000 title 1
- 238000000034 method Methods 0.000 claims 4
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, отличающееся тем, что дополнительно содержит семантический анализатор, предназначенный для выполнения семантического анализа кода исходной программы в соответствии с запомненным значением семантического признака в дереве синтаксического анализа.
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)
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)
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 |
-
1995
- 1995-10-24 RU RU95118249A patent/RU2115158C1/ru active
-
1996
- 1996-01-12 US US08/586,234 patent/US5892951A/en not_active Expired - Lifetime
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 |