72 lines
2.2 KiB
Markdown
72 lines
2.2 KiB
Markdown
file-path:: file://C:/Users/david/Zotero/storage/R695QDD8/He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf
|
||
|
||
- file:: [He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf](file://C:/Users/david/Zotero/storage/Y5NSDNBL/He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf)
|
||
file-path:: file://C:/Users/david/Zotero/storage/Y5NSDNBL/He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf
|
||
- function signatures of the printer and the parser that are derived from a BIT template
|
||
ls-type:: annotation
|
||
hl-page:: 11
|
||
hl-color:: green
|
||
id:: 65e1a0e4-c305-4e17-bff0-6fc9d1ce8359
|
||
- S denotes the string type
|
||
ls-type:: annotation
|
||
hl-page:: 12
|
||
hl-color:: green
|
||
id:: 65e1a0fc-42f5-4042-826b-22c72e9c31a0
|
||
- V is a certain value typ
|
||
ls-type:: annotation
|
||
hl-page:: 12
|
||
hl-color:: green
|
||
id:: 65e1a0ff-a52a-448c-b57f-97996f2c8922
|
||
- including incremental printing, incremental parsing,
|
||
ls-type:: annotation
|
||
hl-page:: 12
|
||
hl-color:: yellow
|
||
id:: 65e1a11f-e438-4b94-a86e-b7567b37a088
|
||
- rewriting an existing string
|
||
ls-type:: annotation
|
||
hl-page:: 12
|
||
hl-color:: yellow
|
||
id:: 65e1a16a-195a-4269-a0a5-5343e8131321
|
||
hl-stamp:: 1709285742084
|
||
- ncPrint does not use a mode
|
||
ls-type:: annotation
|
||
hl-page:: 12
|
||
hl-color:: green
|
||
id:: 65e1a1b3-8096-41d1-a175-3313d8b99751
|
||
hl-stamp:: 1709285813961
|
||
- Accumulative BX
|
||
ls-type:: annotation
|
||
hl-page:: 12
|
||
hl-color:: green
|
||
id:: 65e1a212-d01f-4cdb-a058-424fdde2ea10
|
||
- (1)
|
||
ls-type:: annotation
|
||
hl-page:: 12
|
||
hl-color:: red
|
||
id:: 65e1a25a-f313-47f7-94e7-269d49153c3e
|
||
- pdate the model m into m′
|
||
ls-type:: annotation
|
||
hl-page:: 12
|
||
hl-color:: yellow
|
||
id:: 65e1a32f-77b0-4509-b7a4-22527e368155
|
||
- Special Case
|
||
ls-type:: annotation
|
||
hl-page:: 13
|
||
hl-color:: green
|
||
id:: 65e1a35e-1ff9-4f3a-8003-c4b4c08e1d50
|
||
- We assume every expression e is equipped with a bidirectional semantics
|
||
ls-type:: annotation
|
||
hl-page:: 16
|
||
hl-color:: yellow
|
||
id:: 65e1a3d8-ac28-4ff9-972e-4de53d273654
|
||
hl-stamp:: 1709286376002
|
||
- e as a BX
|
||
ls-type:: annotation
|
||
hl-page:: 16
|
||
hl-color:: green
|
||
id:: 65e1a3dc-d1d5-42af-ad26-0b9ccf04adeb
|
||
- pattern ρ
|
||
ls-type:: annotation
|
||
hl-page:: 17
|
||
hl-color:: yellow
|
||
id:: 65e1a5ef-fd36-41d2-a12d-6de436c1ca0d |