summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2017-10-24 23:25:02 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2017-10-24 23:25:02 +0200
commit106bcf2fe75ebe41727d48284ebf20cb14b3eb86 (patch)
tree41820aacd62e00328c6bd27983219fbeadc1785d
parentb83a8e228725d9ab1b37805bf440cbbf97aea6c0 (diff)
downloadincremental-dfsts-106bcf2fe75ebe41727d48284ebf20cb14b3eb86.tar
incremental-dfsts-106bcf2fe75ebe41727d48284ebf20cb14b3eb86.tar.gz
incremental-dfsts-106bcf2fe75ebe41727d48284ebf20cb14b3eb86.tar.bz2
incremental-dfsts-106bcf2fe75ebe41727d48284ebf20cb14b3eb86.tar.xz
incremental-dfsts-106bcf2fe75ebe41727d48284ebf20cb14b3eb86.zip
Add »Incremental Static Semantic Analysis«
Diffstat
-rw-r--r--literature.md6
l---------literature/a-programmable-editor.pdf2
l---------literature/bidirectional-tree-transformations.pdf2
l---------literature/boomerang.pdf2
l---------literature/combinator-parsers.pdf2
l---------literature/delta-lenses-and-opfibrations.pdf2
l---------literature/edit-languages-for-information-trees.pdf2
l---------literature/edit-lenses.pdf2
l---------literature/efficient-and-flexible-incremental-parsing.pdf2
l---------literature/incremental-parsing.pdf2
-rw-r--r--literature/incremental-static-semantic-analysis.bibtex6
l---------literature/incremental-static-semantic-analysis.pdf1
l---------literature/lazy-functional-incremental-parsing.pdf2
l---------literature/lenses-and-bidirectional-programming.pdf2
l---------literature/parsing-in-a-broad-sense.pdf2
l---------literature/polish-parsers.pdf2
l---------literature/symmetric-lenses.pdf2
l---------literature/universal-updates-for-symmetric-lenses.pdf2
18 files changed, 28 insertions, 15 deletions
diff --git a/literature.md b/literature.md
index 6b18905..59d3d10 100644
--- a/literature.md
+++ b/literature.md
@@ -40,6 +40,12 @@ Parser für kontextfreie Grammatiken
40 Haskell) statt imperativ (die referenzierten Arbeiten verwenden C++) zu 40 Haskell) statt imperativ (die referenzierten Arbeiten verwenden C++) zu
41 formulieren. 41 formulieren.
42 42
43Inkrementelle statische Analyse
44 ~ @maddox1997incremental beschreibt eine deklarative Sprache für kontextfreie
45 Grammatiken (angelehnt an Attributgrammatiken) und ein System um aus jener
46 sowohl einen inkrementellen Parser als auch ein inkrementelles Programm zur
47 semantischen Analyse auf dem Ergebnis des Parsers abzuleiten.
48
43Applikative parser mit lazy evaluation 49Applikative parser mit lazy evaluation
44 ~ @bernardy2009lazy beschreibt eine Implementierung applikativer Parser (alá 50 ~ @bernardy2009lazy beschreibt eine Implementierung applikativer Parser (alá
45 @swierstra2001combinator) die noch während dem parse-Vorgang Resultate 51 @swierstra2001combinator) die noch während dem parse-Vorgang Resultate
diff --git a/literature/a-programmable-editor.pdf b/literature/a-programmable-editor.pdf
index 133b312..469ad22 120000
--- a/literature/a-programmable-editor.pdf
+++ b/literature/a-programmable-editor.pdf
@@ -1 +1 @@
../../.git/annex/objects/6M/gX/SHA256E-s366784--5fe07ac6d92e30a62986acc744ab3645bfd948387d8e544ef15c79ae886ae5a4.pdf/SHA256E-s366784--5fe07ac6d92e30a62986acc744ab3645bfd948387d8e544ef15c79ae886ae5a4.pdf \ No newline at end of file ../.git/annex/objects/6M/gX/SHA256E-s366784--5fe07ac6d92e30a62986acc744ab3645bfd948387d8e544ef15c79ae886ae5a4.pdf/SHA256E-s366784--5fe07ac6d92e30a62986acc744ab3645bfd948387d8e544ef15c79ae886ae5a4.pdf \ No newline at end of file
diff --git a/literature/bidirectional-tree-transformations.pdf b/literature/bidirectional-tree-transformations.pdf
index d541644..ad288b2 120000
--- a/literature/bidirectional-tree-transformations.pdf
+++ b/literature/bidirectional-tree-transformations.pdf
@@ -1 +1 @@
../../.git/annex/objects/3q/Q4/SHA256E-s2005957--10cd19a1094b457df9d486cc90d410fed0d89de9c53a20925e38957cc6dcb611.pdf/SHA256E-s2005957--10cd19a1094b457df9d486cc90d410fed0d89de9c53a20925e38957cc6dcb611.pdf \ No newline at end of file ../.git/annex/objects/3q/Q4/SHA256E-s2005957--10cd19a1094b457df9d486cc90d410fed0d89de9c53a20925e38957cc6dcb611.pdf/SHA256E-s2005957--10cd19a1094b457df9d486cc90d410fed0d89de9c53a20925e38957cc6dcb611.pdf \ No newline at end of file
diff --git a/literature/boomerang.pdf b/literature/boomerang.pdf
index c9d491f..b0ccfe8 120000
--- a/literature/boomerang.pdf
+++ b/literature/boomerang.pdf
@@ -1 +1 @@
../../.git/annex/objects/KQ/5G/SHA256E-s247003--cb39a2e8835fa44aee87b5375030501847f06f7c59b6f2aa037d986d36683244.pdf/SHA256E-s247003--cb39a2e8835fa44aee87b5375030501847f06f7c59b6f2aa037d986d36683244.pdf \ No newline at end of file ../.git/annex/objects/KQ/5G/SHA256E-s247003--cb39a2e8835fa44aee87b5375030501847f06f7c59b6f2aa037d986d36683244.pdf/SHA256E-s247003--cb39a2e8835fa44aee87b5375030501847f06f7c59b6f2aa037d986d36683244.pdf \ No newline at end of file
diff --git a/literature/combinator-parsers.pdf b/literature/combinator-parsers.pdf
index 188b004..ca7b99e 120000
--- a/literature/combinator-parsers.pdf
+++ b/literature/combinator-parsers.pdf
@@ -1 +1 @@
../../.git/annex/objects/G5/8f/SHA256E-s209412--683422aea849a1620f405bd53b3a853d015b600e4cd07c20dd7172d6d976a9ab.pdf/SHA256E-s209412--683422aea849a1620f405bd53b3a853d015b600e4cd07c20dd7172d6d976a9ab.pdf \ No newline at end of file ../.git/annex/objects/G5/8f/SHA256E-s209412--683422aea849a1620f405bd53b3a853d015b600e4cd07c20dd7172d6d976a9ab.pdf/SHA256E-s209412--683422aea849a1620f405bd53b3a853d015b600e4cd07c20dd7172d6d976a9ab.pdf \ No newline at end of file
diff --git a/literature/delta-lenses-and-opfibrations.pdf b/literature/delta-lenses-and-opfibrations.pdf
index 91b80ba..28deee5 120000
--- a/literature/delta-lenses-and-opfibrations.pdf
+++ b/literature/delta-lenses-and-opfibrations.pdf
@@ -1 +1 @@
../../.git/annex/objects/65/k5/SHA256E-s219945--e885ea109010acbca66336a48077e8b0c37424eca1629d025bdb2839a1a4fa89.pdf/SHA256E-s219945--e885ea109010acbca66336a48077e8b0c37424eca1629d025bdb2839a1a4fa89.pdf \ No newline at end of file ../.git/annex/objects/65/k5/SHA256E-s219945--e885ea109010acbca66336a48077e8b0c37424eca1629d025bdb2839a1a4fa89.pdf/SHA256E-s219945--e885ea109010acbca66336a48077e8b0c37424eca1629d025bdb2839a1a4fa89.pdf \ No newline at end of file
diff --git a/literature/edit-languages-for-information-trees.pdf b/literature/edit-languages-for-information-trees.pdf
index c986c6f..ab9b4a7 120000
--- a/literature/edit-languages-for-information-trees.pdf
+++ b/literature/edit-languages-for-information-trees.pdf
@@ -1 +1 @@
../../.git/annex/objects/xx/4w/SHA256E-s244187--e868ab15cd182552ccabf44118f98f746285d564f571961a1e74ad6e1dadc773.pdf/SHA256E-s244187--e868ab15cd182552ccabf44118f98f746285d564f571961a1e74ad6e1dadc773.pdf \ No newline at end of file ../.git/annex/objects/xx/4w/SHA256E-s244187--e868ab15cd182552ccabf44118f98f746285d564f571961a1e74ad6e1dadc773.pdf/SHA256E-s244187--e868ab15cd182552ccabf44118f98f746285d564f571961a1e74ad6e1dadc773.pdf \ No newline at end of file
diff --git a/literature/edit-lenses.pdf b/literature/edit-lenses.pdf
index d9303a5..440f8d8 120000
--- a/literature/edit-lenses.pdf
+++ b/literature/edit-lenses.pdf
@@ -1 +1 @@
../../.git/annex/objects/79/JM/SHA256E-s830192--6b99781e9fd53b7afed756f05f88b8f803aaf1f51b82ccba389e046062f87f31.pdf/SHA256E-s830192--6b99781e9fd53b7afed756f05f88b8f803aaf1f51b82ccba389e046062f87f31.pdf \ No newline at end of file ../.git/annex/objects/79/JM/SHA256E-s830192--6b99781e9fd53b7afed756f05f88b8f803aaf1f51b82ccba389e046062f87f31.pdf/SHA256E-s830192--6b99781e9fd53b7afed756f05f88b8f803aaf1f51b82ccba389e046062f87f31.pdf \ No newline at end of file
diff --git a/literature/efficient-and-flexible-incremental-parsing.pdf b/literature/efficient-and-flexible-incremental-parsing.pdf
index 728b64f..b9a3020 120000
--- a/literature/efficient-and-flexible-incremental-parsing.pdf
+++ b/literature/efficient-and-flexible-incremental-parsing.pdf
@@ -1 +1 @@
../../.git/annex/objects/8X/GX/SHA256E-s143343--a090c1362970814e718010e4164d894a30a230fd7bb2604ed1fb6c86f0cf09ee.pdf/SHA256E-s143343--a090c1362970814e718010e4164d894a30a230fd7bb2604ed1fb6c86f0cf09ee.pdf \ No newline at end of file ../.git/annex/objects/8X/GX/SHA256E-s143343--a090c1362970814e718010e4164d894a30a230fd7bb2604ed1fb6c86f0cf09ee.pdf/SHA256E-s143343--a090c1362970814e718010e4164d894a30a230fd7bb2604ed1fb6c86f0cf09ee.pdf \ No newline at end of file
diff --git a/literature/incremental-parsing.pdf b/literature/incremental-parsing.pdf
index 3d34726..464b1c3 120000
--- a/literature/incremental-parsing.pdf
+++ b/literature/incremental-parsing.pdf
@@ -1 +1 @@
../../.git/annex/objects/2z/KX/SHA256E-s679194--ddd3575d5c0bf3a34759d9e188cec285541cea52fc89ef4612b0cb3a63acf304.pdf/SHA256E-s679194--ddd3575d5c0bf3a34759d9e188cec285541cea52fc89ef4612b0cb3a63acf304.pdf \ No newline at end of file ../.git/annex/objects/2z/KX/SHA256E-s679194--ddd3575d5c0bf3a34759d9e188cec285541cea52fc89ef4612b0cb3a63acf304.pdf/SHA256E-s679194--ddd3575d5c0bf3a34759d9e188cec285541cea52fc89ef4612b0cb3a63acf304.pdf \ No newline at end of file
diff --git a/literature/incremental-static-semantic-analysis.bibtex b/literature/incremental-static-semantic-analysis.bibtex
new file mode 100644
index 0000000..0b76651
--- /dev/null
+++ b/literature/incremental-static-semantic-analysis.bibtex
@@ -0,0 +1,6 @@
1@techreport{maddox1997incremental,
2 title={Incremental static semantic analysis},
3 author={Maddox III, William H},
4 year={1997},
5 institution={CALIFORNIA UNIV BERKELEY COMPUTER SCIENCE DIV}
6}
diff --git a/literature/incremental-static-semantic-analysis.pdf b/literature/incremental-static-semantic-analysis.pdf
new file mode 120000
index 0000000..14a94c0
--- /dev/null
+++ b/literature/incremental-static-semantic-analysis.pdf
@@ -0,0 +1 @@
../.git/annex/objects/pg/4K/SHA256E-s1111268--7e340883ce80fd575797d2bf545b00249220dea9429d43c6c9cdf39da6cae4f0.pdf/SHA256E-s1111268--7e340883ce80fd575797d2bf545b00249220dea9429d43c6c9cdf39da6cae4f0.pdf \ No newline at end of file
diff --git a/literature/lazy-functional-incremental-parsing.pdf b/literature/lazy-functional-incremental-parsing.pdf
index 1cfe12e..26a53ec 120000
--- a/literature/lazy-functional-incremental-parsing.pdf
+++ b/literature/lazy-functional-incremental-parsing.pdf
@@ -1 +1 @@
../../.git/annex/objects/FJ/k7/SHA256E-s332806--038a1fe908d94a2be55f8dd26c89febf790a0b14f8210eccff4c657c9409b3aa.pdf/SHA256E-s332806--038a1fe908d94a2be55f8dd26c89febf790a0b14f8210eccff4c657c9409b3aa.pdf \ No newline at end of file ../.git/annex/objects/FJ/k7/SHA256E-s332806--038a1fe908d94a2be55f8dd26c89febf790a0b14f8210eccff4c657c9409b3aa.pdf/SHA256E-s332806--038a1fe908d94a2be55f8dd26c89febf790a0b14f8210eccff4c657c9409b3aa.pdf \ No newline at end of file
diff --git a/literature/lenses-and-bidirectional-programming.pdf b/literature/lenses-and-bidirectional-programming.pdf
index 3418031..f3c0375 120000
--- a/literature/lenses-and-bidirectional-programming.pdf
+++ b/literature/lenses-and-bidirectional-programming.pdf
@@ -1 +1 @@
../../.git/annex/objects/gG/1v/SHA256E-s1719789--38149c95efe58f903f8ca1e0d0e504143f0bf8fb878093586f2d5f606de819d3.pdf/SHA256E-s1719789--38149c95efe58f903f8ca1e0d0e504143f0bf8fb878093586f2d5f606de819d3.pdf \ No newline at end of file ../.git/annex/objects/gG/1v/SHA256E-s1719789--38149c95efe58f903f8ca1e0d0e504143f0bf8fb878093586f2d5f606de819d3.pdf/SHA256E-s1719789--38149c95efe58f903f8ca1e0d0e504143f0bf8fb878093586f2d5f606de819d3.pdf \ No newline at end of file
diff --git a/literature/parsing-in-a-broad-sense.pdf b/literature/parsing-in-a-broad-sense.pdf
index 724842e..6297d04 120000
--- a/literature/parsing-in-a-broad-sense.pdf
+++ b/literature/parsing-in-a-broad-sense.pdf
@@ -1 +1 @@
../../.git/annex/objects/P2/5w/SHA256E-s847236--f6935fb01184772b11c940883d5fd8d5d686842ad41b1e1ccb136a594baad5cf.pdf/SHA256E-s847236--f6935fb01184772b11c940883d5fd8d5d686842ad41b1e1ccb136a594baad5cf.pdf \ No newline at end of file ../.git/annex/objects/P2/5w/SHA256E-s847236--f6935fb01184772b11c940883d5fd8d5d686842ad41b1e1ccb136a594baad5cf.pdf/SHA256E-s847236--f6935fb01184772b11c940883d5fd8d5d686842ad41b1e1ccb136a594baad5cf.pdf \ No newline at end of file
diff --git a/literature/polish-parsers.pdf b/literature/polish-parsers.pdf
index 0ee4c6c..7652e86 120000
--- a/literature/polish-parsers.pdf
+++ b/literature/polish-parsers.pdf
@@ -1 +1 @@
../../.git/annex/objects/xf/fV/SHA256E-s144820--678e7de3d2c0024a5ce9b5053acc6d6bfca3db84ff7397b677fe5a8adb5e5d75.pdf/SHA256E-s144820--678e7de3d2c0024a5ce9b5053acc6d6bfca3db84ff7397b677fe5a8adb5e5d75.pdf \ No newline at end of file ../.git/annex/objects/xf/fV/SHA256E-s144820--678e7de3d2c0024a5ce9b5053acc6d6bfca3db84ff7397b677fe5a8adb5e5d75.pdf/SHA256E-s144820--678e7de3d2c0024a5ce9b5053acc6d6bfca3db84ff7397b677fe5a8adb5e5d75.pdf \ No newline at end of file
diff --git a/literature/symmetric-lenses.pdf b/literature/symmetric-lenses.pdf
index 9ee4ecb..0d107fb 120000
--- a/literature/symmetric-lenses.pdf
+++ b/literature/symmetric-lenses.pdf
@@ -1 +1 @@
../../.git/annex/objects/p6/JQ/SHA256E-s461824--bd917931388a6789b23954f030693db7383988c589ff32f94f429eb787ca09f2.pdf/SHA256E-s461824--bd917931388a6789b23954f030693db7383988c589ff32f94f429eb787ca09f2.pdf \ No newline at end of file ../.git/annex/objects/p6/JQ/SHA256E-s461824--bd917931388a6789b23954f030693db7383988c589ff32f94f429eb787ca09f2.pdf/SHA256E-s461824--bd917931388a6789b23954f030693db7383988c589ff32f94f429eb787ca09f2.pdf \ No newline at end of file
diff --git a/literature/universal-updates-for-symmetric-lenses.pdf b/literature/universal-updates-for-symmetric-lenses.pdf
index 02ca7ce..b5dc23b 120000
--- a/literature/universal-updates-for-symmetric-lenses.pdf
+++ b/literature/universal-updates-for-symmetric-lenses.pdf
@@ -1 +1 @@
../../.git/annex/objects/gj/gW/SHA256E-s347098--7172db6b2de519753231d4c68920905bb3d3dd53ee5cf3895fd1db8dba30291f.pdf/SHA256E-s347098--7172db6b2de519753231d4c68920905bb3d3dd53ee5cf3895fd1db8dba30291f.pdf \ No newline at end of file ../.git/annex/objects/gj/gW/SHA256E-s347098--7172db6b2de519753231d4c68920905bb3d3dd53ee5cf3895fd1db8dba30291f.pdf/SHA256E-s347098--7172db6b2de519753231d4c68920905bb3d3dd53ee5cf3895fd1db8dba30291f.pdf \ No newline at end of file
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-21 13:12:07 +0000