المؤلفون: Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.umass.edu/%7Eimmerman/pub/synthesis.pdf.

مصطلحات موضوعية: Transformational Programming, Finite Differencing, High Level Program, Inductive Synthesis

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.136; http://www.cs.umass.edu/%7Eimmerman/pub/synthesis.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.136
http://www.cs.umass.edu/%7Eimmerman/pub/synthesis.pdf

المؤلفون: Walid Taha, Tim Sheard

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://cse.ogi.edu/pub/tech-reports/1999/99-007.ps.gz

مصطلحات موضوعية: Functional Programming, Calculus, High-level Program Generation, Type-Safety, Type-Systems, Programming Language Semantics, Multilevel Languages, Multi-stage Languages

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.9310

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.9310

المؤلفون: Walid Taha, Tim Sheard

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://cs-www.cs.yale.edu/homes/taha/publications/journal/tcs00.ps.

مصطلحات موضوعية: Functional Programming, Calculus, High-level Program Generation, Type-Safety, Type-Systems, Programming Language Semantics, Multilevel Languages

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.3772; http://cs-www.cs.yale.edu/homes/taha/publications/journal/tcs00.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.3772
http://cs-www.cs.yale.edu/homes/taha/publications/journal/tcs00.ps

المؤلفون: Taha, Walid, 1971, Sheard, Tim

المصدر: Theoretical Computer Science. 248(1-2):211-242

مصطلحات موضوعية: Functional programming, λ-Calculus, High-level program generation, Type-safety, Type-systems, Programming language semantics, Multi-level languages, Multi-stage languages, TECHNOLOGY, TEKNIKVETENSKAP

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-14408

المؤلفون: Tim Sheard, Walid Taha

المصدر: Theoretical Computer Science. 248:211-242

مصطلحات موضوعية: Multi-stage programming, Multi-level languages, General Computer Science, Computer science, Semantics (computer science), media_common.quotation_subject, Type-safety, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, Semantics, 01 natural sciences, Theoretical Computer Science, Programming style, Type safety, 0202 electrical engineering, electronic engineering, information engineering, Programming language semantics, λ-Calculus, Programmer, Multi-stage languages, media_common, computer.programming_language, Soundness, Functional programming, Programming language, Type-systems, Metalanguage, 020207 software engineering, Construct (python library), High-level program generation, 010201 computation theory & mathematics, Free variables and bound variables, Lambda calculus, computer, Computer Science(all)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8554562cf4f8dd4b082a97776c3307bd
https://doi.org/10.1016/s0304-3975(00)00053-0