Results 11 to 20 of about 721 (57)
Best-First Surface Realization [PDF]
, 1996 Current work in surface realization concentrates on the use of general, abstract algorithms that interpret large, reversible grammars. Only little attention has been paid so far to the many small and simple applications that require coverage of a small ...
Busemann, Stephan
core +6 more sources
Parallel parsing made practical [PDF]
, 2015 The property of local parsability allows to parse inputs through inspecting only a bounded-length string around the current token. This in turn enables the construction of a scalable, data-parallel parsing algorithm, which is presented in this work. Such
Barenghi, Alessandro +4 more
core +1 more source
Generador de compiladores basado en analizadores ascendentes [PDF]
, 2009 El objetivo fundamental de este proyecto consiste en crear un generador de compilador, basado en analizadores ascendentes. Como base para hacer este analizador se usará el lenguaje Cosel y el módulo Com, que es un generador de compiladores basado en ...
Felip Molina, Laia +3 more
core
TRX: A Formally Verified Parser Interpreter
, 2011 Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski +7 more
core +2 more sources
, 1994 本文データは平成22年度国立国会図書館の学位論文(博士)のデジタル化実施により作成された画像ファイルを基にpdf変換したものである京都大学0048新制・論文博士博士(工学)乙第8652号論工博第2893号新制||工||968(附属図書館)UT51-94-R411(主査)教授 長尾 真, 教授 堂下 修司, 教授 池田 克夫学位規則第4条第2項該当Doctor of EngineeringKyoto ...
Tomita, Masaru
core +1 more source
Design of Software for Interpretation Script Statements [PDF]
, 2009 Import 31/08/2009Tato práce se zabývá návrhem skriptovacího jazyka, který dokáže matematicky zpracovávat vzorky signálu. V úvodních kapitolách je popsána teorie potřebná k pochopení problematiky diplomové práce.
Plch, Lukáš
core
Foundations of fast communication via XML [PDF]
, 2007 Communication with XML often involves pre-agreed document types. In this paper, we propose an offline parser generation approach to enhance online processing performance for documents con-forming to a given DTD.
Gaul, Thilo +2 more
core +2 more sources
LR(k) sparse-parsers and their optimisation [PDF]
, 1977 PhD ThesisA method of syntactic analysis is developed which . . is believed to surpass all known competitors in all major respects. I The method is based upon that associated with the LR(k) grammars but is faster because it bypasses all reduction ...
Rushby, John Martin
core