Program synthesis (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Program synthesis" in English language version.

refsWebsite

Global rank English rank

11doi.org

2^nd place

2semanticscholar.org

11^th place

8^th place

2web.archive.org

1^st place

1psu.edu

207^th place

136^th place

1purdue.edu

850^th place

625^th place

1jstor.org

26^th place

20^th place

1harvard.edu

18^th place

17^th place

1handle.net

102^nd place

76^th place

1sygus-org.github.io

low place

1dtic.mil

833^rd place

567^th place

1utexas.edu

916^th place

706^th place

1syr.edu

3,753^rd place

2,311^th place

doi.org

Richard Büchi, Lawrence Landweber (Apr 1969). "Solving Sequential Conditions by Finite-State Strategies". Transactions of the American Mathematical Society. 138: 295–311. doi:10.2307/1994916. JSTOR 1994916.
Zenil, Hector; Kiani, Narsis A.; Zea, Allan A.; Tegnér, Jesper (2019). "Causal deconvolution by algorithmic generative models". Nature Machine Intelligence. 1 (1): 58–66. doi:10.1038/s42256-018-0005-0.
Zenil, Hector; Kiani, N. A.; Marabita, F.; Deng, Y.; Elias, S.; Schmidt, A.; Ball, G.; Tegnér, J. (2019). "An Algorithmic Information Calculus for Causal Discovery and Reprogramming Systems". Science. doi:10.1016/j.sci.2019.30270-6.
Zenil, Hector (25 July 2020). "Algorithmic Information Dynamics". Scholarpedia. 15 (7). Bibcode:2020SchpJ..1553143Z. doi:10.4249/scholarpedia.53143. hdl:10754/666314.
Zenil, Hector; Kiani, Narsis A.; Tegner, Jesper (2023). Algorithmic Information Dynamics: A Computational Approach to Causality with Applications to Living Systems. Cambridge University Press. doi:10.1017/9781108596619. ISBN 978-1-108-59661-9.
Zohar Manna, Richard Waldinger (Jan 1980). "A Deductive Approach to Program Synthesis". ACM Transactions on Programming Languages and Systems. 2: 90–121. doi:10.1145/357084.357090. S2CID 14770735.
Zohar Manna and Richard Waldinger (Aug 1987). "The Origin of a Binary-Search Paradigm". Science of Computer Programming. 9 (1): 37–83. doi:10.1016/0167-6423(87)90025-6.
Daniele Nardi (1989). "Formal Synthesis of a Unification Algorithm by the Deductive-Tableau Method". Journal of Logic Programming. 7: 1–43. doi:10.1016/0743-1066(89)90008-3.
Daniele Nardi and Riccardo Rosati (1992). "Deductive Synthesis of Programs for Query Answering". In Kung-Kiu Lau and Tim Clement (ed.). International Workshop on Logic Program Synthesis and Transformation (LOPSTR). Workshops in Computing. Springer. pp. 15–29. doi:10.1007/978-1-4471-3560-9_2. ISBN 978-3-540-19806-2.
Jonathan Traugott (Jun 1989). "Deductive Synthesis of Sorting Programs". Journal of Symbolic Computation. 7 (6): 533–572. doi:10.1016/S0747-7171(89)80040-9.
Zohar Manna, Richard Waldinger (Jan 1986). "Special Relations in Automated Deduction". Journal of the ACM. 33: 1–59. doi:10.1145/4904.4905. S2CID 15140138.

dtic.mil

apps.dtic.mil

Zohar Manna and Richard Waldinger (Dec 1978). A Deductive Approach to Program Synthesis (PDF) (Technical Note). SRI International. Archived (PDF) from the original on January 27, 2021.

handle.net

hdl.handle.net

Zenil, Hector (25 July 2020). "Algorithmic Information Dynamics". Scholarpedia. 15 (7). Bibcode:2020SchpJ..1553143Z. doi:10.4249/scholarpedia.53143. hdl:10754/666314.

harvard.edu

ui.adsabs.harvard.edu

Zenil, Hector (25 July 2020). "Algorithmic Information Dynamics". Scholarpedia. 15 (7). Bibcode:2020SchpJ..1553143Z. doi:10.4249/scholarpedia.53143. hdl:10754/666314.

jstor.org

Richard Büchi, Lawrence Landweber (Apr 1969). "Solving Sequential Conditions by Finite-State Strategies". Transactions of the American Mathematical Society. 138: 295–311. doi:10.2307/1994916. JSTOR 1994916.

psu.edu

citeseerx.ist.psu.edu

Basin, D.; Deville, Y.; Flener, P.; Hamfelt, A.; Fischer Nilsson, J. (2004). "Synthesis of programs in computational logic". In M. Bruynooghe and K.-K. Lau (ed.). Program Development in Computational Logic. LNCS. Vol. 3049. Springer. pp. 30–65. CiteSeerX 10.1.1.62.4976.

purdue.edu

docs.lib.purdue.edu

Richard Büchi, Lawrence Landweber (Apr 1969). "Solving Sequential Conditions by Finite-State Strategies". Transactions of the American Mathematical Society. 138: 295–311. doi:10.2307/1994916. JSTOR 1994916.

semanticscholar.org

api.semanticscholar.org

Zohar Manna, Richard Waldinger (Jan 1980). "A Deductive Approach to Program Synthesis". ACM Transactions on Programming Languages and Systems. 2: 90–121. doi:10.1145/357084.357090. S2CID 14770735.
Zohar Manna, Richard Waldinger (Jan 1986). "Special Relations in Automated Deduction". Journal of the ACM. 33: 1–59. doi:10.1145/4904.4905. S2CID 15140138.

sygus-org.github.io

SyGuS-Comp (Syntax-Guided Synthesis Competition)

syr.edu

surface.syr.edu

Manna, Waldinger (1980), p.103, referring to: Neil V. Murray (Feb 1979). A Proof Procedure for Quantifier-Free Non-Clausal First Order Logic (Technical report). Syracuse Univ. 2-79.

utexas.edu

cs.utexas.edu

Boyer, Robert S.; Moore, J. Strother (May 1983). A Mechanical Proof of the Turing Completeness of Pure Lisp (PDF) (Technical report). Institute for Computing Science, University of Texas at Austin. 37. Archived (PDF) from the original on 22 September 2017.

web.archive.org

Zohar Manna and Richard Waldinger (Dec 1978). A Deductive Approach to Program Synthesis (PDF) (Technical Note). SRI International. Archived (PDF) from the original on January 27, 2021.
Boyer, Robert S.; Moore, J. Strother (May 1983). A Mechanical Proof of the Turing Completeness of Pure Lisp (PDF) (Technical report). Institute for Computing Science, University of Texas at Austin. 37. Archived (PDF) from the original on 22 September 2017.