From 106bcf2fe75ebe41727d48284ebf20cb14b3eb86 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 24 Oct 2017 23:25:02 +0200 Subject: =?UTF-8?q?Add=20=C2=BBIncremental=20Static=20Semantic=20Analysis?= =?UTF-8?q?=C2=AB?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- literature.md | 6 ++++++ literature/a-programmable-editor.pdf | 2 +- literature/bidirectional-tree-transformations.pdf | 2 +- literature/boomerang.pdf | 2 +- literature/combinator-parsers.pdf | 2 +- literature/delta-lenses-and-opfibrations.pdf | 2 +- literature/edit-languages-for-information-trees.pdf | 2 +- literature/edit-lenses.pdf | 2 +- literature/efficient-and-flexible-incremental-parsing.pdf | 2 +- literature/incremental-parsing.pdf | 2 +- literature/incremental-static-semantic-analysis.bibtex | 6 ++++++ literature/incremental-static-semantic-analysis.pdf | 1 + literature/lazy-functional-incremental-parsing.pdf | 2 +- literature/lenses-and-bidirectional-programming.pdf | 2 +- literature/parsing-in-a-broad-sense.pdf | 2 +- literature/polish-parsers.pdf | 2 +- literature/symmetric-lenses.pdf | 2 +- literature/universal-updates-for-symmetric-lenses.pdf | 2 +- 18 files changed, 28 insertions(+), 15 deletions(-) create mode 100644 literature/incremental-static-semantic-analysis.bibtex create mode 120000 literature/incremental-static-semantic-analysis.pdf 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 Haskell) statt imperativ (die referenzierten Arbeiten verwenden C++) zu formulieren. +Inkrementelle statische Analyse + ~ @maddox1997incremental beschreibt eine deklarative Sprache für kontextfreie + Grammatiken (angelehnt an Attributgrammatiken) und ein System um aus jener + sowohl einen inkrementellen Parser als auch ein inkrementelles Programm zur + semantischen Analyse auf dem Ergebnis des Parsers abzuleiten. + Applikative parser mit lazy evaluation ~ @bernardy2009lazy beschreibt eine Implementierung applikativer Parser (alá @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 @@ +@techreport{maddox1997incremental, + title={Incremental static semantic analysis}, + author={Maddox III, William H}, + year={1997}, + institution={CALIFORNIA UNIV BERKELEY COMPUTER SCIENCE DIV} +} 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 -- cgit v1.2.3