programming

  1. Home
  2. search page
  3. keyword

programming

정의: Program or programme, programmer, or programming may refer to:

📄 키워드 상세정보

핵심 연구 분야Verification
주요 연도2022년
주요 연관 키워드software
좋아요 수0

키워드별 논문 목록 (25건)

A Service Composition Engine for Incremental Computation
저자: Joskel Ngoufo Tagueu , Adrián Puerto Aubel , Maurice Tchoupe Tchendji
키워드: #computing #software #hardware #applications #programming
파트: Software Development | 연도: 2025
Generative AI for Test Driven Development: Preliminary Results
저자: Moritz Mock , Jorge Melegati , Barbara Russo
키워드: #developers #automated #refactoring #testing #programming
파트: Software Development | 연도: 2025
Compiler Fuzzing in Continuous Integration: A Case Study on Dafny
저자: Karnbongkot Boonriong , Stefan Zetzsche , Alastair F. Donaldson
키워드: #software #workflow #programming #devising #compiler
파트: Software Development | 연도: 2025
Detecting Defects in Multicomponent Software Using a Set of Universal Graph Representations of the Code
저자: G. S. Kubrin , D. P. Zegzhda
키워드: #graph #software #analysis #php #programming
파트: Verification | 연도: 2025
Enhancing Source Code Representations for Deep Learning with Static Analysis
저자: Xueting Guan , Christoph Treude
키워드: #learning #engineering #neural #software #programming
파트: Strategies | 연도: 2024
Test-Driven Development and LLM-based Code Generation
저자: Noble Saji Mathews , Meiyappan Nagappan
키워드: #intelligence #engineering #software #methodologies #programming
파트: Software Development | 연도: 2024
A zero-sum hybrid stochastic differential game with impulse controls
저자: Siyu Lv , Zhen Wu , Jie Xiong
키워드: #theorem #programming #differential #equation #variational
파트: Verification | 연도: 2024
Digital Design Flow Based on Open Tools for Programmable Logic Devices
저자: Pablo Navarro-Torrero , Luis Felipe Rojas-Muñoz , Macarena C. Martínez-Rodríguez , Ángel Barriga-Barros , Carlos J. Jiménez-Fernández , María Brox , Piedad Brox
키워드: #academic #hardware #synthesis #programmable #programming
파트: Verification | 연도: 2024
Preliminary Study on Effects of Object-Relational Mapping on the Efficiency of Monolithic and Distributed Relational Database Systems
저자: Elvis Starić , Nikola Tanković
키워드: #databases #sql #database #programming #sqlalchemy
파트: Databases | 연도: 2024
Reusing Single-Language Analyses for Static Analysis of Multi-language Programs
저자: Tobias Roth
키워드: #software #reuse #javascript #programming #hypotheses
파트: Strategies | 연도: 2023