宣告式編程 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "宣告式編程" in Chinese language version.

refsWebsite

Global rank Chinese rank

1^st place

low place

6^th place

4^th place

5^th place

12^th place

4,584^th place

3,664^th place

archive.org

declarative language. FOLDOC. 17 May 2004 [26 January 2020]. （原始内容存档于2015-08-10）.

Chakravarty, Manuel M. T. On the Massively Parallel Execution of Declarative Programs (学位论文). Technische Universität Berlin. 14 February 1997 [26 February 2015]. （原始内容存档于2015-09-23）. In this context, the criterion for calling a programming language declarative is the existence of a clear, mathematically established correspondence between the language and mathematical logic such that a declarative semantics for the language can be based on the model or the proof theory (or both) of the logic.

declarative language. FOLDOC. 17 May 2004 [26 January 2020]. （原始内容存档于2015-08-10）.
Chakravarty, Manuel M. T. On the Massively Parallel Execution of Declarative Programs (学位论文). Technische Universität Berlin. 14 February 1997 [26 February 2015]. （原始内容存档于2015-09-23）. In this context, the criterion for calling a programming language declarative is the existence of a clear, mathematically established correspondence between the language and mathematical logic such that a declarative semantics for the language can be based on the model or the proof theory (or both) of the logic.