Suchergebnisse - Automatic Programming- Program verification

Automatic Programming: Large Language Models and Beyond.

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

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

Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, PROGRAMMING languages, TRUST, POPULARITY

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

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

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

Schlagwörter: BINARY codes, CONSTRAINT programming, INFORMATION storage & retrieval systems, RETROFITTING, DOCUMENTATION

An Exercise in Automatic Program Verification.

Autoren: Polak, Wolfgang¹

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

Schlagwörter: *SOFTWARE verification, *PASCAL (Computer program language), *PROGRAMMING languages, *COMPUTER software, *COMPUTER systems, *SOFTWARE engineering

Automatic verification of Java programs with dynamic frames.

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

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

Schlagwörter: *JAVA programming language, *ABSTRACT thought, *FIRST-order logic, *PROTOTYPES, *OBJECT-oriented programming

Modeling of parallel program synchronization primitives

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

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

Schlagwörter: verification, parallel program, petri nets, synchronization primitives, Information technology, T58.5-58.64

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/476b53e183cc4cccb2c78126ff79ed1d

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

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

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

Schlagwörter: DATA packeting, SOFTWARE-defined networking, DOMAIN-specific programming languages, ELECTRONIC data processing

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

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

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

Schlagwörter: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

Specification and Verification: The Spec# Experience.

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

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

Schlagwörter: COMPUTER programming, SOFTWARE verification, PROGRAMMING languages, SOFTWARE engineering, COMPUTER science

Firma/Körperschaft: MICROSOFT Corp.

Automatic Inference of Synchronous Regular Invariants.

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

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

Schlagwörter: *FIRST-order logic, *INTERNATIONAL competition, *DATA structures, *TREES

PropR: property-based automatic program repair.

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

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

Schlagwörter: AUTOMATIC programming (Computer science), QUALITY control, LOCALIZATION theory, SOFTWARE engineering, COMPUTER software

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

Autoren: Manjunathaiah, M.

Schlagwörter: 005, Computer software & programming

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

Automation of C Program Deductive Verification without Using Loop Invariants.

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

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

Schlagwörter: RECURSIVE functions, AUTOMATION, COMPUTER software development, SPECIAL functions, SOURCE code, SYMBOLIC computation

Firma/Körperschaft: RUSSIAN Academy of Sciences

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Autoren: FERENCZ, Endre GOLDSCHMIDT, Balázs

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

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

Autoren: Rajkhowa, Pritom CSE

Schlagwörter: Computer programs, Automatic programming (Computer science), Verification, Computer software

Parallel Refinement for Multi-Threaded Program Verification.

Autoren: Liangze Yin Wei Dong Wanwei Liu et al.

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

Schlagwörter: ABSTRACTION (Computer science), SOFTWARE engineering, ARTIFICIAL intelligence, COMPUTER programmers, COMPUTER programming

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

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

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

Schlagwörter: AUTOMATIC differentiation, SYSTEMS software

Exploring Representation of Horn clauses using GNNs

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

Quelle: PAAR’22 CEUR workshop proceedings.

Schlagwörter: Constraint Horn clauses, Graph Neural Networks, Automatic program verification

Dateibeschreibung: electronic

Zugangs-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.

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

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

Schlagwörter: *ROBOT programming, *AUTOMATIC control systems, *CONFIRMATION (Logic), *PROGRAMMABLE controllers, *ROBOTICS

Automated Termination Proofs for Haskell by Term Rewriting.

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

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

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

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

Quelle: 15(1and2):18-32