Risultati della ricerca - "Imperative programming"
-
LLASP: Fine-tuning Large Language Models for Answer Set Programming
Pubblicato in arXiv.org (Jul 26, 2024)Citation/Abstract
Full text outside of ProQuest
-
Leroy: Library Learning for Imperative Programming Languages
Pubblicato in arXiv.org (Oct 9, 2024)Citation/Abstract
Full text outside of ProQuest
-
A Brief Overview of the Pawns Programming Language
Pubblicato in arXiv.org (Sep 5, 2024)Citation/Abstract
Full text outside of ProQuest
-
A Diagrammatic Algebra for Program Logics
Pubblicato in arXiv.org (Oct 4, 2024)Citation/Abstract
Full text outside of ProQuest
-
The Significance of Symbolic Logic for Scientific Education
Pubblicato in arXiv.org (Jul 13, 2024)Citation/Abstract
Full text outside of ProQuest
-
Source-level reasoning for quantitative information flow
Pubblicato in arXiv.org (May 22, 2024)Citation/Abstract
Full text outside of ProQuest
-
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Pubblicato in arXiv.org (Jun 21, 2024)Citation/Abstract
Full text outside of ProQuest
-
Window Expressions for Stream Data Processing
Pubblicato in arXiv.org (Mar 1, 2024)Citation/Abstract
Full text outside of ProQuest
-
Abstract Operational Methods for Call-by-Push-Value
Pubblicato in arXiv.org (Oct 26, 2024)Citation/Abstract
Full text outside of ProQuest
-
Specification Slicing for VDM-SL
Pubblicato in arXiv.org (Oct 4, 2024)Citation/Abstract
Full text outside of ProQuest
-
Sound and Complete Proof Rules for Probabilistic Termination
Pubblicato in arXiv.org (Jul 23, 2024)Citation/Abstract
Full text outside of ProQuest