Package: kelbt (0.16-3 and others)
Tilbagesporing af LR-fortolkeropretter
Kelbt opretter tilbagesporingsfortolkere LALR(1). LALR(1)-fortolkeroprettere udsender en fejl, når de møder en konflikt i fortolkningstabellerne. Kelbt går videre, der oprettes fortolkere som håndterer konflikter ved tilbagesporing på kørselstidspunktet. Kelbt er i stand til at oprette en fortolker for enhver kontekstfri grammatik og implementerer derfor en generaliseret fortolkningsmetode.
Kelbt er forskellige fra andre tilbagesporings-LR-systemer på to måder. Først så løftes tilbagesporing til niveauet for semantiske handlinger ved at introducere en klasse af handlinger kaldet undo-handlinger. Undo-handlinger startes når tilbagesporingen genskaber fortolkning og giver brugeren mulighed for at omdanne eventuelle sideeffekter for fremadrettede semantiske handlinger. Dette gør det muligt at tilbagespore over sprogkonstruktioner, som skal ændre global tilstand som forberedelse for håndtering af kontekstafhængigheder.
For det andet aktiver Kelbt en brugerkontrolleret fortolkningsstrategi, som tilnærmer den for generaliseret rekursiv-afstamnings fortolkning med forhåndsvalg. Dette gør det nemt for brugeren at løse sprogtvetydigheder ved at ordne grammatikproduktionen for en ikketerminal jævnfør forrang. Det er omtrentligt i den forstand, at for de fleste grammatikker opnås hvad der svarer til en ordnet valgfortolkningsstrategi. I tilfælde hvor produktioner fortolkes ud af den angivne orden, er der en simpel grammatiktransformation som udreder problemet.
Som bevis for brugbarheden er kelbt blevet brugt til at skrive en delvis C++-fortolker (inkluderet) som består af en skanner, et trin for opslag af navne og en grammatik med standardhandlinger for semantik og semantiske genskabshandlinger.
Other Packages Related to kelbt
|
|
|
|
-
- dep: libc6 (>= 2.34) [not alpha, ia64, sparc64]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.4) [sparc64]
-
- dep: libc6.1 (>= 2.33) [ia64]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.4) [alpha]
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf, hppa, ia64, m68k]
- GCC støttebibliotek
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- GCC støttebibliotek
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC støttebibliotek
-
- dep: libstdc++6 (>= 13.1) [riscv64]
- GNU Standard C++ bibliotek v3
- dep: libstdc++6 (>= 5.2) [not riscv64]
-
- dep: libunwind8 [ia64]
- Bibliotek til at bestemme call-chain for et program - kørselstid
Download kelbt
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 0.16-3 | 69.8 kB | 288.0 kB | [list of files] |
| amd64 | 0.16-3 | 74.4 kB | 220.0 kB | [list of files] |
| arm64 | 0.16-3 | 68.0 kB | 224.0 kB | [list of files] |
| armel | 0.16-3 | 62.7 kB | 222.0 kB | [list of files] |
| armhf | 0.16-3 | 64.8 kB | 158.0 kB | [list of files] |
| hppa (unofficial port) | 0.16-3 | 71.9 kB | 203.0 kB | [list of files] |
| i386 | 0.16-3 | 79.1 kB | 226.0 kB | [list of files] |
| ia64 (unofficial port) | 0.16-3 | 88.9 kB | 411.0 kB | [list of files] |
| m68k (unofficial port) | 0.16-3 | 65.1 kB | 198.0 kB | [list of files] |
| mips64el | 0.16-3 | 70.3 kB | 296.0 kB | [list of files] |
| ppc64 (unofficial port) | 0.16-3 | 74.9 kB | 289.0 kB | [list of files] |
| ppc64el | 0.16-3 | 76.2 kB | 288.0 kB | [list of files] |
| riscv64 | 0.16-3+b1 | 73.2 kB | 181.0 kB | [list of files] |
| s390x | 0.16-3 | 66.2 kB | 224.0 kB | [list of files] |
| sh4 (unofficial port) | 0.16-3 | 74.0 kB | 222.0 kB | [list of files] |
| sparc64 (unofficial port) | 0.16-3 | 62.5 kB | 1,058.0 kB | [list of files] |
| x32 (unofficial port) | 0.16-3 | 72.2 kB | 203.0 kB | [list of files] |