Search Results - 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

Authors: Viktor Vafeiadis

Resource Type: eBook.

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

Categories: 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

Authors: Stephanie Weirich

Resource Type: eBook.

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

Categories: 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

Authors: Thomas Wies

Resource Type: eBook.

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

Categories: 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

Authors: Ilya Sergey

Resource Type: eBook.

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

Categories: 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

Authors: Nobuko Yoshida

Resource Type: eBook.

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

Categories: 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

Authors: Luís Caires

Resource Type: eBook.

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

Categories: 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

Authors: Peter Müller

Resource Type: eBook.

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

Categories: 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

Authors: Amal Ahmed

Resource Type: eBook.

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

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

A Domain-theoretic Approach to Statistical Programming Languages.

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

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

Subject Terms: 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.

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

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

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

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

Authors: MILLER, DALE

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

Subject Terms: 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.

Authors: Singh, Vishwajeet Singh, Rajesh Kumari, Anamika

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

Subject Terms: 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.

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

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

INTEGRATION IN CONES.

Authors: EHRHARD, THOMAS GEOFFROY, GUILLAUME

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

Subject Terms: VECTOR topology, INTEGRABLE functions, LINEAR operators, ANALYTIC functions, PROGRAMMING languages

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

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

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

Subject Terms: TECHNOLOGY education, PROGRAMMING languages, PHENOMENOGRAPHY

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

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

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

Subject Terms: 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.

Authors: Braun, M. Carlier, S. De Paepe, A. et al.

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

Subject Terms: 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

Company/Entity: 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)

Authors: Mittlmeier, Amelie

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

Subject Terms: COMPUTER scientists, COMPUTER science, PROGRAMMING languages, OBJECTIVITY, HISTORIOGRAPHY

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

Authors: Huang, Yun Brusilovsky, Peter Guerra, Julio et al.

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

Subject Terms: 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.

Authors: Cannady, Matthew A. Collins, Melissa A. Hurt, Timothy et al.

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

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