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

Conceptualising Programming Language Semantics.

Authors: Astarte, Troy Kaighin

Source: Philosophies; Aug2025, Vol. 10 Issue 4, p90, 22p

Subject Terms: PROGRAMMING languages, SEMANTICS, COMPUTER science education, HISTORICAL analysis, THEORY of knowledge, METAPHOR

cuPDLP.jl: A GPU Implementation of Restarted Primal-Dual Hybrid Gradient for Linear Programming in Julia.

Authors: Lu, Haihao Yang, Jinwen

Source: Operations Research; Nov/Dec2025, Vol. 73 Issue 6, p3440-3452, 13p

Subject Terms: LINEAR programming, GRAPHICS processing units, PROGRAMMING languages, OPTIMIZATION algorithms, MATHEMATICAL optimization, BENCHMARK problems (Computer science)

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

Sine-G family of distributions in Bayesian survival modeling: A baseline hazard approach for proportional hazard regression with application to right-censored oncology datasets using R and STAN.

Authors: Muse, Abdisalam Hassan Almohaimeed, Amani Alqifari, Hana N. et al.

Source: PLoS ONE; 3/13/2025, Vol. 20 Issue 3, p1-31, 31p

Subject Terms: PROPORTIONAL hazards models, DISTRIBUTION (Probability theory), AKAIKE information criterion, PROGRAMMING languages, STOMACH cancer

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

Evaluation of Turkish Health System Capacity at Provincial Level by WISP Method Based on Weighting Methods.

Alternate Title: Türk Sağlık Sistemi Kapasitesinin Ağırlıklandırma Yöntemlerine Dayalı WISP Yöntemi ile İl Düzeyinde Değerlendirilmesi. (Turkish)

Authors: Bulut, Tevfik

Source: Verimlilik Dergisi; 2025, Vol. 59 Issue 1, p143-166, 24p

Subject Terms: PROGRAMMING languages, UNCERTAINTY (Information theory), HEALTH systems agencies, ENTROPY, MEDICAL statistics, DATA analysis, HEALTH equity, DECISION making, ORIGINALITY

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)

NQCDynamics.jl: A Julia package for nonadiabatic quantum classical molecular dynamics in the condensed phase.

Authors: Gardner, James Douglas-Gallardo, Oscar A. Stark, Wojciech G. et al.

Source: Journal of Chemical Physics; 2022, Vol. 156 Issue 17, p1-17, 17p

Subject Terms: CONDENSED matter, MOLECULAR dynamics, QUANTUM theory, POPULATION dynamics, PROGRAMMING languages, QUANTUM computers

Geographic Terms: PLOVDIV (Bulgaria)

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

Evaluation of Shortest path on multi stage graph problem using Dynamic approach under neutrosophic environment.

Authors: Raut, Prasanta Kumar Behera, Siva Prasad Broumi, Said et al.

Source: Neutrosophic Sets & Systems; 2024, Vol. 64, p113-131, 19p

Subject Terms: DYNAMIC programming, COMPUTER engineering, PROGRAMMING languages, GRAPH theory, ALGORITHMS

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