Add Parsing category, and a number of papers.
Chris Pressey
10 months ago
| 6 | 6 |
SPDX-License-Identifier: CC0-1.0
|
| 7 | 7 |
-->
|
| 8 | 8 |
|
| 9 | |
_See also: [PLDI](../PLDI/), [Formal Language](../Formal%20Language/), [Compiler Construction](../Compiler%20Construction/)_
|
|
9 |
_See also: [PLDI](../PLDI/), [Formal Language](../Formal%20Language/), [Compiler Construction](../Compiler%20Construction/), [Parsing](../Parsing/)_
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
| 6 | 6 |
SPDX-License-Identifier: CC0-1.0
|
| 7 | 7 |
-->
|
| 8 | 8 |
|
| 9 | |
_See also: [PLDI](../PLDI/)_
|
|
9 |
_See also: [PLDI](../PLDI/), [Parsing](../Parsing/)_
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
| 45 | 45 |
Software Foundations (online @ [softwarefoundations.cis.upenn.edu](https://softwarefoundations.cis.upenn.edu/))
|
| 46 | 46 |
|
| 47 | 47 |
Certified Programming with Dependent Types (online @ [archive.org](https://archive.org/details/CertifiedProgrammingWithDependentTypes))
|
|
48 |
|
|
49 |
Modeling and Proving in Computational Type Theory Using the Coq Proof Assistant (Draft) (online @ [www.ps.uni-saarland.de](https://www.ps.uni-saarland.de/~smolka/drafts/icl2021.pdf))
|
| 27 | 27 |
* rating: TODO
|
| 28 | 28 |
|
| 29 | 29 |
I haven't read it, but this is an open-access book about Coq.
|
|
30 |
|
|
31 |
### Modeling and Proving in Computational Type Theory Using the Coq Proof Assistant (Draft)
|
|
32 |
|
|
33 |
* authors: Gert Smolka
|
|
34 |
* date: 2022
|
|
35 |
* online @ [www.ps.uni-saarland.de](https://www.ps.uni-saarland.de/~smolka/drafts/icl2021.pdf)
|
|
36 |
|
|
37 |
Not sure why they call it "Computational type theory" instead of CIC, but OK.
|
| 6 | 6 |
SPDX-License-Identifier: CC0-1.0
|
| 7 | 7 |
-->
|
| 8 | 8 |
|
| 9 | |
_See also: [Attribute Grammars](../Attribute%20Grammars/)_
|
|
9 |
_See also: [Attribute Grammars](../Attribute%20Grammars/), [Parsing](../Parsing/)_
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
| 12 | 12 |
|
|
0 |
Parsing
|
|
1 |
-------
|
|
2 |
|
|
3 |
<!--
|
|
4 |
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
|
|
5 |
|
|
6 |
SPDX-License-Identifier: CC0-1.0
|
|
7 |
-->
|
|
8 |
|
|
9 |
_See also: [Formal Language](../Formal%20Language/), [Compiler Construction](../Compiler%20Construction/), [Attribute Grammars](../Attribute%20Grammars/)_
|
|
10 |
|
|
11 |
- - - -
|
|
12 |
|
|
13 |
|
|
14 |
### Papers
|
|
15 |
|
|
16 |
[Parsing as Deduction](https://web.archive.org/web/20171210015524/http://www.aclweb.org/old_anthology/P/P83/P83-1021.pdf)
|
|
17 |
|
|
18 |
[Principles and Implementation of Deductive Parsing](https://arxiv.org/abs/cmp-lg/9404008)
|
|
19 |
|
|
20 |
[Taming Context-Sensitive Languages with Principled Stateful Parsing](https://arxiv.org/abs/1609.05365)
|
|
0 |
Parsing Papers
|
|
1 |
==============
|
|
2 |
|
|
3 |
<!--
|
|
4 |
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
|
|
5 |
|
|
6 |
SPDX-License-Identifier: CC0-1.0
|
|
7 |
-->
|
|
8 |
|
|
9 |
### Parsing as Deduction
|
|
10 |
|
|
11 |
* authors: Fernando C. N. Pereira, David H. D. Warren
|
|
12 |
* date: 1983
|
|
13 |
* url: https://web.archive.org/web/20171210015524/http://www.aclweb.org/old_anthology/P/P83/P83-1021.pdf
|
|
14 |
* rating: 2
|
|
15 |
|
|
16 |
.
|
|
17 |
|
|
18 |
### Principles and Implementation of Deductive Parsing
|
|
19 |
|
|
20 |
* authors: Stuart M. Shieber, Yves Schabes, Fernando C. N. Pereira
|
|
21 |
* date: 1994
|
|
22 |
* url: https://arxiv.org/abs/cmp-lg/9404008
|
|
23 |
* rating: 1
|
|
24 |
|
|
25 |
.
|
|
26 |
|
|
27 |
### Taming Context-Sensitive Languages with Principled Stateful Parsing
|
|
28 |
|
|
29 |
* authors: Nicolas Laurent, Kim Mens
|
|
30 |
* date: 2016
|
|
31 |
* url: https://arxiv.org/abs/1609.05365
|
|
32 |
* rating: 1
|
|
33 |
|
|
34 |
.
|
| 11 | 11 |
|
| 12 | 12 |
<!-- TOTALS -->
|
| 13 | 13 |
|
| 14 | |
Currently it consists of **555** web pages, **123** papers, and **147** books in **80** topics.
|
|
14 |
Currently it consists of **555** web pages, **126** papers, and **148** books in **81** topics.
|
| 15 | 15 |
|
| 16 | 16 |
<!-- /TOTALS -->
|
| 17 | 17 |
|
| 49 | 49 |
### Coq
|
| 50 | 50 |
|
| 51 | 51 |
* [archive.org](https://archive.org/details/CertifiedProgrammingWithDependentTypes) (Certified Programming with Dependent Types)
|
|
52 |
* [www.ps.uni-saarland.de](https://www.ps.uni-saarland.de/~smolka/drafts/icl2021.pdf) (Modeling and Proving in Computational Type Theory Using the Coq Proof Assistant (Draft))
|
| 52 | 53 |
|
| 53 | 54 |
### Equational Logic
|
| 54 | 55 |
|
| 78 | 78 |
### Attribute Grammars
|
| 79 | 79 |
|
| 80 | 80 |
* used-in: bookmarks
|
| 81 | |
* see-also: PLDI, Formal Language, Compiler Construction
|
|
81 |
* see-also: PLDI, Formal Language, Compiler Construction, Parsing
|
| 82 | 82 |
|
| 83 | 83 |
Works regarding attribute grammars, a formalism which is based on context-free grammars
|
| 84 | 84 |
and which adds the notion of attributes to the sentence fragments being parsed.
|
|
| 161 | 161 |
### Compiler Construction
|
| 162 | 162 |
|
| 163 | 163 |
* used-in: books, bookmarks
|
| 164 | |
* see-also: PLDI
|
|
164 |
* see-also: PLDI, Parsing
|
| 165 | 165 |
|
| 166 | 166 |
Works concerned with compiler technology (contrast: not specific compilers).
|
| 167 | 167 |
|
|
| 299 | 299 |
|
| 300 | 300 |
* used-in: bookmarks
|
| 301 | 301 |
* title: Formal Language Theory
|
| 302 | |
* see-also: Attribute Grammars
|
|
302 |
* see-also: Attribute Grammars, Parsing
|
| 303 | 303 |
|
| 304 | 304 |
.
|
| 305 | 305 |
|
|
| 588 | 588 |
* see-also: Type Systems, Partial Evaluation, Compiler Construction, Programming Languages, Attribute Grammars
|
| 589 | 589 |
|
| 590 | 590 |
Works regarding the design and implementation of programming languages.
|
|
591 |
|
|
592 |
### Parsing
|
|
593 |
|
|
594 |
* used-in: bookmarks
|
|
595 |
* see-also: Formal Language, Compiler Construction, Attribute Grammars
|
|
596 |
|
|
597 |
.
|
| 591 | 598 |
|
| 592 | 599 |
### Partial Evaluation
|
| 593 | 600 |
|