المؤلفون: Yang, Wenzhang, Song, Linhai, Xue, Yinxing

المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2024 IEEE/ACM 46th International Conference on. :1034-1046 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)

المؤلفون: Solomon, Cynthia, Harvey, Brian, Kahn, Ken, Lieberman, Henry, Miller, Mark L, Minsky, Margaret, Papert, Artemis, Silverman, Brian

المصدر: Proceedings of the ACM on Programming Languages. 4(HOPL)

مصطلحات موضوعية: Quality Education, Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education-Interactive learning environments, History of computingsHistory of programming languages, Computing educations- Computational thinking, Computing education programsDComputer science education, Informal education, Computing literacy, K-12 education, Software notations and tools- General programming languages, Imperative languages, Functional languages, Language featuressControl structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computations-Models of computation-computabilitys-, Lambda calculus, Recursive functions, Interactive computation., Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools–General programming languages, Imperative languages, Functional languages, Language features–Control structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computation–Models of computation— Computability–Lambda calculus, Recursive functions, Interactive computation.

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

URL الوصول: https://escholarship.org/uc/item/1623m1p3

المؤلفون: de Muijnck-Hughes, Jan, Vanderbauwhede, Wim

مصطلحات موضوعية: Linear Types, Dependent Types, Software and its engineering → System modeling languages, Software and its engineering → Language features, Netlists, Idris, Hardware Design, SystemVerilog, Software and its engineering → Domain specific languages, DSLs, Software and its engineering → General programming languages

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ef351eb72999ac974181ac1fab683608

المؤلفون: Roth, Ori

مصطلحات موضوعية: nominal Subtyping with Variance, Python, Software and its engineering → General programming languages

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::599c7116b427465657d0aa1f48f84b2f

المؤلفون: Roth, Ori

مصطلحات موضوعية: nominal Subtyping with Variance, Python, Software and its engineering → General programming languages

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::22103529bc913f46204a1a790d126247

المؤلفون: de Muijnck-Hughes, Jan, Vanderbauwhede, Wim

مصطلحات موضوعية: Linear Types, Dependent Types, Software and its engineering → System modeling languages, Software and its engineering → Language features, Netlists, Idris, Hardware Design, SystemVerilog, Software and its engineering → Domain specific languages, DSLs, Software and its engineering → General programming languages

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::54a1d8126253689c95ac1590d0d0c1f9

المؤلفون: Jin, Feiyang, Yu, Lechen, Cogumbreiro, Tiago, Shirako, Jun, Sarkar, Vivek

مصطلحات موضوعية: Software and its engineering → Software testing and debugging, Determinism, Software and its engineering → Software verification and validation, Software and its engineering → Software notations and tools, Race detection, Determinacy-race, Serial projection, Software and its engineering → Software creation and management, Software and its engineering → Software defect analysis, Promise, Software and its engineering → Concurrent programming languages, Software and its engineering → General programming languages

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7a8b58a4d1d7da94ab004b36ab8d81de

المؤلفون: Mishra, Ashish, Jagannathan, Suresh

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Programming Languages, Functional programming, Refinement types, Verification, Type systems, Parsers, Domain-specific languages, Programming Languages (cs.PL), Software and its engineering → General programming languages

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e73d54195fe57a74c4ed4272a03882ae

المؤلفون: Jin, Feiyang, Yu, Lechen

مصطلحات موضوعية: Software and its engineering → Software testing and debugging, Determinism, Software and its engineering → Software verification and validation, Software and its engineering → Software notations and tools, Race detection, Determinacy-race, Software and its engineering → Software creation and management, Software and its engineering → Software defect analysis, Promise, Software and its engineering → Concurrent programming languages, Software and its engineering → General programming languages

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6252f0d453563cd258dccabc6656311a

المؤلفون: Koppel, James

مصطلحات موضوعية: program transformation, strategic programming, Software and its engineering → Translator writing systems and compiler generators, Software and its engineering → General programming languages

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9b7491922bf632543508937ce468765b