Suchergebnisse - 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

Autoren: Viktor Vafeiadis

Resource Type: eBook.

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

Autoren: Stephanie Weirich

Resource Type: eBook.

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

Autoren: Thomas Wies

Resource Type: eBook.

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

Autoren: Ilya Sergey

Resource Type: eBook.

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

Autoren: Nobuko Yoshida

Resource Type: eBook.

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

Autoren: Luís Caires

Resource Type: eBook.

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

Autoren: Peter Müller

Resource Type: eBook.

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

Autoren: Amal Ahmed

Resource Type: eBook.

Schlagworte: 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.

Autoren: Astarte, Troy Kaighin

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

Schlagwörter: 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.

Autoren: Lu, Haihao Yang, Jinwen

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

Schlagwörter: LINEAR programming, GRAPHICS processing units, PROGRAMMING languages, OPTIMIZATION algorithms, MATHEMATICAL optimization, BENCHMARK problems (Computer science)

A Domain-theoretic Approach to Statistical Programming Languages.

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

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

Schlagwörter: 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.

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

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

Schlagwörter: 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.

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

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

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

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

Autoren: MILLER, DALE

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

Schlagwörter: 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)

Autoren: Bulut, Tevfik

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

Schlagwörter: 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.

Autoren: Singh, Vishwajeet Singh, Rajesh Kumari, Anamika

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

Schlagwörter: 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.

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

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

Schlagwörter: CONDENSED matter, MOLECULAR dynamics, QUANTUM theory, POPULATION dynamics, PROGRAMMING languages, QUANTUM computers

Geografische Kategorien: PLOVDIV (Bulgaria)

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

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

Quelle: 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.

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

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

Schlagwörter: DYNAMIC programming, COMPUTER engineering, PROGRAMMING languages, GRAPH theory, ALGORITHMS

INTEGRATION IN CONES.

Autoren: EHRHARD, THOMAS GEOFFROY, GUILLAUME

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

Schlagwörter: VECTOR topology, INTEGRABLE functions, LINEAR operators, ANALYTIC functions, PROGRAMMING languages