Výsledky vyhľadávania - programming languages and programming theory: 421

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autori: Viktor Vafeiadis

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autori: Stephanie Weirich

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autori: Thomas Wies

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Programming / Compilers

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autori: Ilya Sergey

Typ zdroja: eBook.

Predmet: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autori: Nobuko Yoshida

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autori: Luís Caires

Typ zdroja: eBook.

Predmet: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Kategórie: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autori: Peter Müller

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autori: Amal Ahmed

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

A Domain-theoretic Approach to Statistical Programming Languages.

Autori: GOUBAULT-LARRECQ, JEAN XIAODONG JIA THÉRON, CLÉMENT

Zdroj: Journal of the ACM; Oct2023, Vol. 70 Issue 5, p1-63, 63p

Predmety: PROGRAMMING languages, PROGRAMMING language semantics, PROGRAM transformation, REAL numbers

EQUIVALENCE OF EVAL-READBACK AND EVAL-APPLY BIG-STEP EVALUATORS BY STRUCTURING THE LAMBDA-CALCULUS'S STRATEGY SPACES.

Autori: NOGUEIRA, PABLO GARCÍA-PÉREZ, ÁLVARO

Zdroj: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p24:1-24:76, 76p

Predmety: FUNCTIONAL programming (Computer science), MACHINE theory, LAMBDA calculus, PROGRAM transformation, PROGRAMMING languages

A Survey of the Proof-Theoretic Foundations of Logic Programming.

Autori: MILLER, DALE

Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p859-904, 46p

Predmety: LOGIC programming, PROOF theory, FIRST-order logic, PROGRAMMING languages

Application of Neutrosophic Stratified Ranked Set Sampling: An Efficient Sampling Technique in the Estimation of Average Relative Humidity in USA.

Autori: Singh, Vishwajeet Singh, Rajesh Kumari, Anamika

Zdroj: International Journal of Neutrosophic Science (IJNS); 2025, Vol. 26 Issue 3, p166-190, 25p

Predmety: MONTE Carlo method, PROGRAMMING languages, PARAMETERS (Statistics), HUMIDITY, SAMPLING (Process)

Sustainability of Programming Education Through CDIO-Oriented Practice: An Empirical Study on Syntax-Level Structural Visualization for Functional Programming Languages.

Autori: Lai, Chien-Hung Ho, Liang-Chieh Liao, Zi-Yi

Zdroj: Sustainability (2071-1050); Jun2025, Vol. 17 Issue 12, p5630, 24p

INTEGRATION IN CONES.

Autori: EHRHARD, THOMAS GEOFFROY, GUILLAUME

Zdroj: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-98, 98p

Predmety: VECTOR topology, INTEGRABLE functions, LINEAR operators, ANALYTIC functions, PROGRAMMING languages

Teaching programming in Technology teacher education: Revealing student teachers' perceptions.

Autori: Perez, Anna Svensson, Maria Hallström, Jonas

Zdroj: Design & Technology Education; Sep2024, Vol. 29 Issue 2, p280-294, 15p

Predmety: TECHNOLOGY education, PROGRAMMING languages, PHENOMENOGRAPHY

Beyond English centrality: integrating expansive conceptions of language for literacy programming into IEPs.

Autori: Ferrell, Amy L. Soltero-González, Lucinda Kamioka, Sakura

Zdroj: Frontiers in Education; 2024, p1-9, 9p

Predmety: PROGRAMMING languages, ENGLISH language, BILINGUAL students, SPECIAL education, LANGUAGE acquisition, INSTRUCTIONAL systems design

Development and evaluation of the COntextualised and Personalised Physical activity and Exercise Recommendations (COPPER) Ontology.

Autori: Braun, M. Carlier, S. De Paepe, A. a ďalší

Zdroj: International Journal of Behavioral Nutrition & Physical Activity; 5/5/2025, Vol. 22 Issue 1, p1-18, 18p

Predmety: DECISION support systems, MEDICAL protocols, MANAGEMENT information systems, EXERCISE, HUMAN services programs, RESEARCH funding, DATABASE searching, EVALUATION of human services programs, PROGRAMMING languages, PSYCHOLOGICAL adaptation, DESCRIPTIVE statistics, BEHAVIORAL sciences, ADULT education workshops, ONTOLOGIES (Information retrieval), CASE studies, DECISION trees, PHYSICAL activity

Korporácia: WORLD Health Organization

„History is touchy" Die History‐of‐Programming‐Languages‐Konferenz, 1978. (German)

Alternate Title: "History is touchy": The History of Programming Languages Conference, 1978. (English)

Autori: Mittlmeier, Amelie

Zdroj: Berichte zur Wissenschafts-Geschichte; Sep2024, Vol. 47 Issue 3, p262-286, 25p

Predmety: COMPUTER scientists, COMPUTER science, PROGRAMMING languages, OBJECTIVITY, HISTORIOGRAPHY

Supporting skill integration in an intelligent tutoring system for code tracing.

Autori: Huang, Yun Brusilovsky, Peter Guerra, Julio a ďalší

Zdroj: Journal of Computer Assisted Learning; Apr2023, Vol. 39 Issue 2, p477-500, 24p

Predmety: COMPUTER software, STATISTICS, LEARNING theories in education, PROBLEM solving, CONFIDENCE intervals, INTELLIGENT agents, ABILITY, TRAINING, UNDERGRADUATES, T-test (Statistics), DESCRIPTIVE statistics, FACTOR analysis, PROGRAMMING languages, DATA analysis

Computational Thinking for Science Positions Youth to Be Better Science Learners.

Autori: Cannady, Matthew A. Collins, Melissa A. Hurt, Timothy a ďalší

Zdroj: Education Sciences; Jan2025, Vol. 15 Issue 1, p105, 23p

Predmety: PROGRAMMING languages, PSYCHOMETRICS, MIDDLE school students, SCIENTIFIC method, DESIGN science