The university library will be closed from December 20, 2025 to January 11, 2026. From January 12, 2026, regular opening hours will apply again. Exception: The main medical library and the central library will be open again from January 5, 2026. Further information
  • Search: "Programming Language"

Showing 1 - 20 of 62,174

1

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.
Garion, Christophe ; Brun, Lélio ; Garoche, Pierre-Loïc ; et al.
Communications of the ACM. Jan2026, Vol. 69 Issue 1, p93-101. 9p.

Journal
Add to favourites
2

Monadic Intersection Types, Relationally, and Ordered.
Galal, Zeinab ; Gavazzo, Francesco ; Treglia, Riccardo ; et al.
ACM Transactions on Programming Languages & Systems. Dec2025, Vol. 47 Issue 4, p1-51. 51p.

Academic journal
Add to favourites
3

Type-Safe Compilation of Dynamic Inheritance via Merging.
Sun, Yaozhu ; Huang, Xuejing ; Oliveira, Bruno C. D. S.
ACM Transactions on Programming Languages & Systems. Dec2025, Vol. 47 Issue 4, p1-70. 70p.

Academic journal
Add to favourites
4

UNMANAGED TEMPLATES.
Salmanov, Vugar ; Eyvazov, Zaur
German International Journal of Modern Science / Deutsche Internationale Zeitschrift für Zeitgenössische Wissenschaft. Nov2025, Issue 116, p91-94. 4p.

Academic journal
Add to favourites
5

Toward a Formally Verified Compiler for a Synchronous, Functional, Data-Flow Programming Language.
Girault, Alain
Communications of the ACM. Jan2026, Vol. 69 Issue 1, p92-92. 1p.

Journal
Add to favourites
6

easyPARM v4.00: A Python-based tool for the automated parameterization of metalloproteins and metal-organic polyhedra with multiple metal centers.
Abdelgawwad, Abdelazim M. A. ; Francés-Monerris, Antonio
Journal of Chemical Physics. 12/14/2025, Vol. 163 Issue 22, p1-16. 16p.

PYTHON programming langu... PARAMETERIZATION METALLOPROTEINS MOLECULAR force constant... MOLECULAR dynamics
Academic journal
Add to favourites
7

VIAF Governance Concerns about the Refurbished VIAF Web and API Interfaces.
Bargioni, Stefano
Information Technology & Libraries. Dec2025, Vol. 44 Issue 4, p1-17. 17p.

MEDICAL informatics JAVA programming languag... DECISION making COMMUNICATION INFORMATION resources ma...
Academic journal
Add to favourites
8

pyTTN: An open-source toolbox for open and closed system quantum dynamics simulations using tree tensor networks.
Lindoy, Lachlan P. ; Rodrigo-Albert, Daniel ; Rath, Yannic ; et al.
Journal of Chemical Physics. 11/28/2025, Vol. 163 Issue 20, p1-32. 32p.

PYTHON programming langu... TENSOR algebra HAMILTON'S principle fun... BENCHMARKING (Management...
Academic journal
Add to favourites
9

A Python tutorial for 3DRISM solvation calculations of chemical and biological molecules.
Swanson, Peter C. ; Cao, Siqin ; Huang, Xuhui
Journal of Chemical Physics. 11/7/2025, Vol. 163 Issue 17, p1-11. 11p.

PYTHON programming langu... BIOMOLECULES SOLVATION FREE energy (Thermodynam... SIMULATION methods & mod... C++
Academic journal
Add to favourites
10

'Vibe coding' your own apps with AI is easy! 7 tools and tricks to get started.
SMITH, MATTHEW S.
PCWorld. Aug2025, Vol. 43 Issue 8, p89-94. 6p. 3 Color Photographs, 3 Diagrams.

Journal
Add to favourites
11

MANAGING FLIGHTS DURING FOG EVENTS ON THE EXAMPLE OF KRAKÓW-BALICE AIRPORT.
OLEKSÓW, Mikołaj ; BRYŚ, Mateusz ; SANGUEDOLCE, Christian ; et al.
Scientific Papers of Silesian University of Technology. Organization & Management / Zeszyty Naukowe Politechniki Slaskiej. Seria Organizacji i Zarzadzanie. 2025, Issue 224, p405-420. 16p.

Academic journal
Add to favourites
12

Using Python in Management Accounting: Monte Carlo Simulation for Cost-Volume-Profit Analysis.
Hesford, James W. ; Pizzini, Mina ; Turner, Michael J. ; et al.
Issues in Accounting Education. Aug2025, Vol. 40 Issue 3, p185-201. 17p.

Academic journal
Add to favourites
13

Validating JIT Compilers via Compilation Space Exploration.
Li, Cong ; Jiang, Yanyan ; Xu, Chang ; et al.
ACM Transactions on Computer Systems. Aug2025, Vol. 43 Issue 3, p1-37. 37p.

Academic journal
Add to favourites
14

JavaScript Language Design and Implementation in Tandem.
Ryu, Sukyoung ; Park, Jihyeok
Communications of the ACM. May2024, Vol. 67 Issue 5, p86-95. 10p.

Journal
Add to favourites
15

Forecasting: Principles and Practice, the Pythonic Way.
HOOVER, JIM
Foresight: The International Journal of Applied Forecasting. 2025Q4, Issue 79, p46-48. 3p.

Academic journal
Add to favourites
16

Opinion divergence, investor sentiment, and stock liquidity: Evidence from social media.
Wang, Gaoshan ; Chen, Mingyue ; Wang, Xiaomin ; et al.
Investment Analysts Journal. Jun2025, Vol. 54 Issue 2, p167-186. 20p.

Academic journal
Add to favourites
17

pyJedAI: A Library with Resolution-Related Structures and Procedures for Products.
Ioannou, Ekaterini ; Nikoletos, Konstantinos ; Papadakis, George
INFORMS Journal on Computing. May/Jun2025, Vol. 37 Issue 3, p516-530. 15p.

Academic journal
Add to favourites
18

Automating Data Analysis with Python Dashboards.
Kasztelnik, Karina
CPA Journal. May/Jun2025, Vol. 95 Issue 5/6, p56-61. 6p. 1 Color Photograph, 8 Diagrams.

Academic journal
Add to favourites
19

Java at 30: Oracle leaders on why Java 25 matters for the next decade.
G., Shrikanth
Dataquest. Oct2025, Vol. 41 Issue 10, p41-43. 3p.

Journal
Add to favourites
20

10A VPN Security Log Management and Visualization System.
Onah, Fidelis I. ; Ukoha, Samuel
IUP Journal of Telecommunications. Feb2025, Vol. 17 Issue 1, p54-74. 21p.

Academic journal
Add to favourites
Search tools: Get RSS Feed Email this Search Save search

Filter