Search Results - "Computer program"

Automatically Translating C to Rust.

Authors: Hong, Jaemin Ryu, Sukyoung

Source: Communications of the ACM. Nov2025, Vol. 68 Issue 11, p58-65. 8p.

Subject Terms: *C (Computer program language), *PROGRAMMING languages, *COMPUTER programming, *LEGACY systems, COMPILERS (Computer programs), LANGUAGE models, TRANSLATORS (Computer programs)

PRWHA: RGB Image-Based Hybrid Attention for Cross-File SQLI/XSS Vulnerability Detection in PHP Web Applications.

Authors: Ren, Rong Song, Qingyu Zhang, Bing et al.

Source: International Journal of Software Engineering & Knowledge Engineering. Nov2025, p1-32. 32p. 14 Illustrations.

Subject Terms: PHP (Computer program language), PENETRATION testing (Computer security), IMAGE representation, MACHINE learning, DEEP learning

PoCL-R: An open standard based heterogeneous offloading layer with server side scalability.

Authors: Solanti, Jan Babej, Michal Ikkala, Julius et al.

Source: International Journal of High Performance Computing Applications. Nov2025, Vol. 39 Issue 6, p750-769. 20p.

Subject Terms: *SCALABILITY, *DISTRIBUTED computing, OPENCL (Computer program language), HETEROGENEOUS computing, AUGMENTED reality, MOBILE apps

Analysis of student leave submission system based on cloud server at Manado Polytechnic.

Authors: Waroh, Anthoinete Eksan, Sulastri Melolo, Ottopianus et al.

Source: AIP Conference Proceedings. 2025, Vol. 3334 Issue 1, p1-8. 8p.

Subject Terms: *CLOUD computing, *PHP (Computer program language), *ORGANIZATION, *TEST systems, *SQL, *INFORMATION storage & retrieval systems

Online medicine prescription system.

Authors: Malik, Aqil Faisal Abdul Ali, Darmawaty Mohd

Source: AIP Conference Proceedings. 2025, Vol. 3322 Issue 1, p1-10. 10p.

Subject Terms: *JAVASCRIPT programming language, *PHP (Computer program language), *MEDICAL care, *DATABASES, *CASCADING style sheets, *INTERNET pharmacies, *CLINICAL competence, *DRUGS

Optimization of Kleene closure regular path query on large RDF graphs.

Authors: Ren, Tenglong Zhang, Xiaowang Feng, Zhiyong

Source: Computer Journal. Nov2025, Vol. 68 Issue 11, p1595-1609. 15p.

Subject Terms: *COMPUTATIONAL complexity, *SPARQL (Computer program language), *ONTOLOGIES (Information retrieval), *DATA structures

Co-Developing Programs and Their Proof of Correctness.

Authors: Chapman, Roderick Dross, Claire Matthews, Stuart et al.

Source: Communications of the ACM. Mar2024, Vol. 67 Issue 3, p84-94. 11p.

Subject Terms: *PROGRAMMING languages, *ELECTRONIC data processing, *COMPUTER programming, *COMPUTER software development, SPARK (Computer program language), COMPUTER software correctness

Go-ing to the Cloud.

Authors: Williams, Alex¹ (AUTHOR) alex@williamstechcopy.com

Source: Communications of the ACM. Feb2025, Vol. 68 Issue 2, p8-9. 2p.

Subject Terms: GO (Computer program language), CLOUD computing

Benchmarking Static Analysis for PHP Applications Security.

Authors: Zhao, Jiazhen Zhu, Kailong Lu, Canju et al.

Source: Entropy. Sep2025, Vol. 27 Issue 9, p926. 23p.

Subject Terms: *PHP (Computer program language), *EVALUATION methodology, *SOURCE code, *DATA flow computing, *BENCHMARKING (Management), *HETEROGENEITY, *RISK assessment

Fast and accurate approximation algorithms for computing floating point square root.

Authors: Kokosiński, Zbigniew Gepner, Paweł Moroz, Leonid et al.

Source: Numerical Algorithms. Aug2025, Vol. 99 Issue 4, p1805-1828. 24p.

Subject Terms: *C (Computer program language), *SQUARE root, *ROOT-mean-squares, *MICROCONTROLLERS, *HERONS

Development of Spreadsheet Design Tool for R.C.C. Two Way Slab Design Using V.B.A.

Authors: Dubey, Harshit Grover, Rakesh

Source: Journal of Computational Analysis & Applications. 2025, Vol. 34 Issue 5, p1-37. 37p.

Subject Terms: *MICROSOFT Visual Basic (Computer program language), *REINFORCED cement, *REINFORCING bars, *DESIGN software, *REINFORCED concrete, *ELECTRONIC spreadsheets

FINITE-TIME NONLINEAR SPEED CONTROLLER OF PERMANENT MAGNET SYNCHRONOUS MOTOR USING C MEX S-FUNCTION.

Authors: Varin Cholahan Kritsana Rattanakun Worapong Tangsrirat

Source: EUREKA: Physics & Engineering. 2025, Issue 4, p89-98. 10p.

Subject Terms: *C (Computer program language), *PERMANENT magnet motors, *SCHUR functions, *LYAPUNOV functions, *USER interfaces

The Rational Programmer: Investigating Programming Language Pragmatics.

Authors: Dimoulas, Christos Felleisen, Matthias

Source: Communications of the ACM; Jul2025, Vol. 68 Issue 7, p120-130, 11p

Subject Terms: PRAGMATICS, PROGRAMMING languages, PROGRAMMING language semantics, TYPESCRIPT (Computer program language), JAVASCRIPT programming language, COMPUTER software development

Cosymlib: a Python library for continuous symmetry measures and its application to problems in structural chemistry

Authors: Bernuz Fito, Efrem

Contributors: University/Department: Universitat de Barcelona. Facultat de Química

Thesis Advisors: Alemany i Cahner, Pere

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Simetria (Física), Simetría (Física), Symmetry (Physics), Programació (Ordinadors), Programación de ordenadores, Computer programming, Compostos organometàl·lics, Compuestos organometálicos, Organometallic compounds, Estructura cristal·lina (Sòlids), Estructura cristalina (Sólidos), Layer structure (Solids), Python (Llenguatge de programació), Python (Lenguaje de programación), Python (Computer program language), Ciències Experimentals i Matemàtiques

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/672227

OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization.

Authors: NAVAS, JORGE A. GEHANI, ASHISH

Source: Communications of the ACM. Apr2023, Vol. 66 Issue 4, p40-47. 8p. 1 Color Photograph, 1 Diagram, 2 Graphs.

Subject Terms: OCCAM (Computer program language), SOFTWARE architecture, COMPILERS (Computer programs), MODULAR programming, INTERPRETERS (Computer programs)

Can AI Fix Wall Street's 'Spaghetti Code' Crisis?

Authors: WEISS, BEN

Source: Fortune. Oct/Nov2023, Vol. 188 Issue 2, p31-34. 3p. 1 Cartoon or Caricature.

Subject Terms: *ARTIFICIAL intelligence, *ELECTRONIC data processing, COBOL (Computer program language), JAVA programming language, COMPUTER programming software

Realfreq: real-time base modification analysis for nanopore sequencing Open Access.

Authors: Samarasinghe, Suneth Deveson, Ira Gamaarachchi, Hasindu

Source: Bioinformatics. Apr2025, Vol. 41 Issue 4, p1-4. 4p.

Subject Terms: *C (Computer program language), *RNA modification & restriction, *CLIENT/SERVER computing equipment, *THIRD-party software, *PERSONAL computers

Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies.

Authors: Hagedorn, Bastian Lenfers, Johannes Koehler, Thomas et al.

Source: Communications of the ACM. Mar2023, Vol. 66 Issue 3, p89-97. 9p. 5 Diagrams, 2 Graphs.

Subject Terms: *PROGRAMMING languages, *COMPUTER programming, *ELECTRONIC data processing, *COMPUTER software development, OPL (Computer program language), DOMAIN-specific programming languages

Design of a web-based building material sales and inventory information system with the waterfall method at the NK Mandiri Leles building store.

Authors: Herman, Sukrina Nugraha, Yopi Budiman, Tedy et al.

Source: AIP Conference Proceedings. 2025, Vol. 3141 Issue 1, p1-17. 17p.

Subject Terms: *CONSTRUCTION materials, *PHP (Computer program language), *RELATIONAL databases, *PROJECT management, *INVENTORIES, *WEB-based user interfaces, *INVENTORY control

Web-based reservation information system at boarding house.

Authors: Rosliani, Elin Nugraha, Yopi Rahayu, Dinar et al.

Source: AIP Conference Proceedings. 2025, Vol. 3141 Issue 1, p1-14. 14p.

Subject Terms: *RESERVATION systems, *PHP (Computer program language), *GUESTHOUSES, *RELATIONAL databases, *PROJECT management, *WEB-based user interfaces, *ONLINE data processing, *MODELING languages (Computer science)