Search Results - Automatic Programming- Program verification~

Automatic Programming: Large Language Models and Beyond.

Authors: Lyu, Michael R. Ray, Baishakhi Roychoudhury, Abhik et al.

Source: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-33, 33p

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, PROGRAMMING languages, TRUST, POPULARITY

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference.

Authors: Menguy, Grégoire Bardin, Sébastien Gotlieb, Arnaud et al.

Source: Journal of Artificial Intelligence Research; 2025, Vol. 82, p901-936, 36p

Subject Terms: BINARY codes, CONSTRAINT programming, INFORMATION storage & retrieval systems, RETROFITTING, DOCUMENTATION

An Exercise in Automatic Program Verification.

Authors: Polak, Wolfgang¹

Source: IEEE Transactions on Software Engineering. Sep79, Vol. 5 Issue 5, p453-458. 6p. 2 Diagrams.

Subject Terms: *SOFTWARE verification, *PASCAL (Computer program language), *PROGRAMMING languages, *COMPUTER software, *COMPUTER systems, *SOFTWARE engineering

Automatic verification of Java programs with dynamic frames.

Authors: Smans, Jan Jacobs, Bart Piessens, Frank et al.

Source: Formal Aspects of Computing. May2010, Vol. 22 Issue 3/4, p423-457. 35p. 18 Diagrams, 1 Chart.

Subject Terms: *JAVA programming language, *ABSTRACT thought, *FIRST-order logic, *PROTOTYPES, *OBJECT-oriented programming

Modeling of parallel program synchronization primitives

Authors: Oleg S. Kryukov Anna G. Voloshko Alexey N. Ivutin

Source: Моделирование и анализ информационных систем, Vol 32, Iss 2, Pp 150-171 (2025)

Subject Terms: verification, parallel program, petri nets, synchronization primitives, Information technology, T58.5-58.64

File Description: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1938; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Access URL: https://doaj.org/article/476b53e183cc4cccb2c78126ff79ed1d

Packet processing and data plane program verification: A survey with tools, techniques, and challenges.

Authors: Akarte, Harishchandra A. Yadav, Dharmendra K.

Source: International Journal of Communication Systems; 9/25/2023, Vol. 36 Issue 14, p1-27, 27p

Subject Terms: DATA packeting, SOFTWARE-defined networking, DOMAIN-specific programming languages, ELECTRONIC data processing

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Authors: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. et al.

Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Subject Terms: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

Specification and Verification: The Spec# Experience.

Authors: BARNETT, MIKE FÄHNDRICH, MANUEL LEINO, K. RUSTAN M. et al.

Source: Communications of the ACM; Jun2011, Vol. 54 Issue 6, p81-91, 11p, 2 Color Photographs, 2 Diagrams

Subject Terms: COMPUTER programming, SOFTWARE verification, PROGRAMMING languages, SOFTWARE engineering, COMPUTER science

Company/Entity: MICROSOFT Corp.

Automatic Inference of Synchronous Regular Invariants.

Authors: Vasenina, A. I. Kostyukov, Yu. O. Mordvinov, D. A.

Source: Programming & Computer Software. Aug2025, Vol. 51 Issue 4, p242-256. 15p.

Subject Terms: *FIRST-order logic, *INTERNATIONAL competition, *DATA structures, *TREES

PropR: property-based automatic program repair.

Authors: Gissurarson, Matthías Páll Applis, Leonhard Panichella, Annibale et al.

Source: ICSE: International Conference on Software Engineering; 2022, p1768-1780, 13p

Subject Terms: AUTOMATIC programming (Computer science), QUALITY control, LOCALIZATION theory, SOFTWARE engineering, COMPUTER software

Compile-time analysis of array sections for parallelization and parallel program verification

Authors: Manjunathaiah, M.

Subject Terms: 005, Computer software & programming

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.243078

Automation of C Program Deductive Verification without Using Loop Invariants.

Authors: Kondratyev, D. A. Nepomniaschy, V. A.

Source: Programming & Computer Software; Oct2022, Vol. 48 Issue 5, p331-346, 16p

Subject Terms: RECURSIVE functions, AUTOMATION, COMPUTER software development, SPECIAL functions, SOURCE code, SYMBOLIC computation

Company/Entity: RUSSIAN Academy of Sciences

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Authors: FERENCZ, Endre GOLDSCHMIDT, Balázs

Source: Pollack Periodica; 2017, Vol. 12 Issue 2, p3-15, 13p

Subject Terms: COMPUTER software development, JAVA programming language, SOURCE code, AUTOMATIC programming (Computer science), SOFTWARE verification

VIAP : an automated system for verifying integer assignment programs with loops

Authors: Rajkhowa, Pritom CSE

Subject Terms: Computer programs, Automatic programming (Computer science), Verification, Computer software

Parallel Refinement for Multi-Threaded Program Verification.

Authors: Liangze Yin Wei Dong Wanwei Liu et al.

Source: ICSE: International Conference on Software Engineering; 5/25/2019, p643-653, 11p

Subject Terms: ABSTRACTION (Computer science), SOFTWARE engineering, ARTIFICIAL intelligence, COMPUTER programmers, COMPUTER programming

VERIFYING AN EFFECT-HANDLER-BASED DEFINE-BY-RUN REVERSE-MODE AD LIBRARY.

Authors: DE VILHENA, PAULO EMÍLIO POTTIER, FRANÇOIS

Source: Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 4, p1-51, 51p

Subject Terms: AUTOMATIC differentiation, SYSTEMS software

Exploring Representation of Horn clauses using GNNs

Authors: Liang, Chencheng Rümmer, Philipp Brockschmidt, Marc

Source: PAAR’22 CEUR workshop proceedings.

Subject Terms: Constraint Horn clauses, Graph Neural Networks, Automatic program verification

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-509886
https://ceur-ws.org/Vol-3201/

Performance Verification for Behavior-Based Robot Missions.

Authors: Lyons, Damian M. Arkin, Ronald C. Jiang, Shu et al.

Source: IEEE Transactions on Robotics. Jun2015, Vol. 31 Issue 3, p619-636. 18p.

Subject Terms: *ROBOT programming, *AUTOMATIC control systems, *CONFIRMATION (Logic), *PROGRAMMABLE controllers, *ROBOTICS

Automated Termination Proofs for Haskell by Term Rewriting.

Authors: Giesl, Jürgen Raffelsieper, Matthias Schneider-Kamp, Peter et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2011, Vol. 33 Issue 2, p7-7:39, 39p

Subject Terms: REWRITING systems (Computer science), DOCUMENT markup languages, HASKELL (Computer program language), POLYMORPHIC projection (Cartography), AUTOMATIC programming (Computer science), AUTOMATIC theorem proving, SOFTWARE verification, FUNCTIONAL programming (Computer science)

Automatic generation of recursive algorithms for list manipulation

Authors: Cárdenas, Mauricio Sepúlveda Daza, Victor Parada Galvez, Juan Parra et al.

Source: 15(1and2):18-32