Language documentation

Поиск публикаций Научные конференции и семинары Новости науки Научная сеть

Найдено научных статей и публикаций: 3, для научной тематики: language documentation

Связанные научные тематики:

тег

grammar extraction

тег

grammar convergence

тег

language evolution

тег

standardization

тег

grammar re-engineering

тег

programmable grammar transformation

1.	Language Standardization Needs Grammarware (публикация автора на scipeople) Steven Klusener, Vadim Zaytsev - ISO , 2005 Источник Обсудить The ISO programming language standards are valuable documents that describe the syntax and semantics of mainstream languages. New features are proposed after thorough reviews by the standardization committees, leading to change documents that... The ISO programming language standards are valuable documents that describe the syntax and semantics of mainstream languages. New features are proposed after thorough reviews by the standardization committees, leading to change documents that describe which modiﬁcations have to be enforced in the language standard document in order to actually add a new feature to the language. Maintaining these documents, both the language standard itself and all the change documents, is a time and resource consuming effort and in the evolution of these documents inconsistencies may be introduced. In this note we propose to utilize grammarware, a collection of new methods and new technology which can be used to support the advancement of these language documents in a more structured way. Besides, we will discuss how other tooling (like browsable language deﬁnitions, parser generators, pretty-printers, code checkers, etc.) can be obtained from the language standard. The ﬁnal objective is threefold: (1) to facilitate the standardization committees in their activities and to raise the quality of the language standard documents; (2) to extend the usability of language standards by providing various presentations of each standard (in a human readable document, in a browsable form, in a machine readable BNF, etc.); (3) to help tool builders (compiler vendors, IDE vendors, etc.) in generating their parsing front-end, and to provide technology for tool builders to specify differences between their dialects and the actual standard. S. Klusener, V. Zaytsev. Language Standardization Needs Grammarware. ISO/IEC JTC1/SC22 Document N3977, 2005. language documentation language evolution standardization
2.	Language Convergence Infrastructure (публикация автора на scipeople) Vadim Zaytsev - GTTSE 2009 , 2009 Источник Обсудить The process of grammar convergence (involving grammar extraction and transformation for structural equivalence) contains a range of technical challenges. These need to be addressed in order for the method to deliver useful results. The paper... The process of grammar convergence (involving grammar extraction and transformation for structural equivalence) contains a range of technical challenges. These need to be addressed in order for the method to deliver useful results. The paper describes a DSL and the infrastructure behind it that automates the convergence process, hides negligible backend details, aids development/debugging and enables application of grammar convergence technology to large scale projects. The necessity of having a strong framework is explained by listing case studies. Domain elements such as extractors and transformation operators are described to illustrate the issues we successfully addressed. V. Zaytsev. Language Convergence Infrastructure. Draft submitted to Post-proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), November 2009. grammar convergence grammar re-engineering language documentation programmable grammar transformation
3.	Recovering Grammar Relationships for the Java Language Specification (публикация автора на scipeople) Ralf Lämmel, Vadim Zaytsev - IEEE SCAM 2009 , 2009 Источник Обсудить We describe a completed effort to recover the relationships between all the grammars that occur in the different versions of the Java Language Specification (JLS). The relationships are represented as grammar transformations that capture all... We describe a completed effort to recover the relationships between all the grammars that occur in the different versions of the Java Language Specification (JLS). The relationships are represented as grammar transformations that capture all accidental or intended differences between the JLS grammars. This process is mechanized and it is driven by simple measures of nominal or structural differences between any pair of grammars involved. Our work suggests a form of consistency management for the JLS in particular, and language specifications in general. grammar extraction language documentation grammar convergence programmable grammar transformation