• Suche: "Program Verification"

Treffer 1 - 20 von 13.912

1

Incremental Certified Programming
Díaz, Tomás ; Maillard, Kenji ; Tabareau, Nicolas ; et al.
OOPSLA 2025 - ACM Conference on Object Oriented Programming Systems Languages and Applications. :1-28

Singapore, Singapore Incremental programming Program verification Program reasoning Type theory [INFO]Computer Science [...
Konferenz
Zu den Favoriten
2

Structural Temporal Logic for Mechanized Program Verification
Ioannidis, Eleftherios ; Zakowski, Yannick ; Zdancewic, Steve ; et al.
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):1148-1175

Proof Assistant Systems Program Verification Temporal Logic Semantics Theory of computation →... …
Zeitschrift
Zu den Favoriten
3

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
André, Étienne ; Béchennec, Jean-Luc ; Chattopadhyay, Sudipta ; et al.
SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing. :1998-2006

Catania (IT), Italy • Software and its engin... execution time timing attacks formal methods • Software and its engin... …
Konferenz
Zu den Favoriten
4

Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages
Dal Lago, Ugo ; Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS) ; Centre Inria d'Université Côte d'Azur ; et al.
PPDP 2025 - Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming. :1-3

Rende, Italy Theory of computation Program verification Quantum computation theo... Software and its enginee... Context specific languag... …
Konferenz
Zu den Favoriten
5

Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust
Golfouse, Arnaud ; Guéneau, Armaël ; Jourdan, Jacques-Henri ; et al.

Rennes, France Ghost code Rust Deductive verification CCS Concepts: • Theory o... [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
6

Semantics of Probabilistic Programs Using s-Finite Kernels in Dependent Type Theory
Affeldt, Reynald ; Cohen, Cyril ; Saito, Ayumu ; et al.
ACM Transactions on Probabilistic Machine Learning. 1(3):1-34

Rocq Probabilistic algorithms Denotational semantics Program verification formal proofs probabilistic programmin... …
Zeitschrift
Zu den Favoriten
7

Formal Semantics and Program Logics for a Fragment of OCaml
Seassau, Remy ; Yoon, Irene ; Madiot, Jean-Marie ; et al.
Proceedings of the ACM on Programming Languages. :128-159

Program verification Separation logic [INFO]Computer Science [...
Zeitschrift
Zu den Favoriten
8

Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic
Krebbers, Robbert ; van der Maas, Luko ; Tassi, Enrico ; et al.
16th International Conference on Interactive Theorem Proving (ITP25).

Reykjavik, Iceland Elpi Rocq Iris Data Structures Program Verification …
Konferenz
Zu den Favoriten
9

Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting
Qiu, Qi ; Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon ; et al.
18th International Conference on Graph Transformation (ICGT 2025), Jun 2025, Koblenz, Germany. ⟨10.1007/978-3-031-94706-3_1⟩

Koblenz, Germany Graph transformation Program verification Automated reasoning Rewrite system Termination …
Konferenz
Zu den Favoriten
10

Termination of Graph Rewriting using Weighted Type Graphs over Non-well-founded Semirings
Qiu, Qi ; Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon ; et al.
16th International Workshop on Graph Computation Models, Jun 2025, Koblenz, Germany

Koblenz, Germany Weighted type graph Graph transformation Termination Program verification Automated reasoning …
Konferenz
Zu den Favoriten
11

Quantum Denoising for BCI: A Study
Mostafa, Ahmed ; Chauhan, Yash ; Ahmed, Wasif ; et al.
5th International Neuroergonomics Conference. :494-499

Bordeaux, France Quantum variational algo... Autoencoder Neural Netwo... Neuroergonomics Brain-computer interface Signal analysis in EEG …
Konferenz
Zu den Favoriten
12

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
Colledan, Andrea ; Dal Lago, Ugo ; Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS) ; et al.
Proceedings of the ACM on Programming Languages. :1386-1416

Theory of computation Hardware Domain specific language... Software and its enginee... Type theory Lambda calculus …
Zeitschrift
Zu den Favoriten
13

Tail Modulo Cons, OCaml, and Relational Separation Logic
Allain, Clément ; Bour, Frédéric ; Clément, Basile ; et al.
Proceedings of the ACM on Programming Languages. :2337-2363

CCS Concepts: • Software... [INFO]Computer Science [...
Zeitschrift
Zu den Favoriten
14

The Logical Essence of Well-Bracketed Control Flow
Timany, Amin ; Guéneau, Armaël ; Birkedal, Lars ; et al.
popl24.sigplan.org

Londres, United Kingdom program logics program verification logical relations semantic typing stack discipline …
Konferenz
Zu den Favoriten
15

Type Inference Logics
Carnier, Denis ; Pottier, François ; Keuchel, Steven ; et al.
Proceedings of the ACM on Programming Languages. 8(OOPSLA2):2125-2155

Program verification Type inference Elaboration [INFO]Computer Science [...
Zeitschrift
Zu den Favoriten
16

Snapshottable Stores
Allain, Clément ; Clément, Basile ; Moine, Alexandre ; et al.
Proceedings of the ACM on Programming Languages. :338-369

Program verification Semi-persistence Persistence Backtracking [INFO]Computer Science [...
Zeitschrift
Zu den Favoriten
18

Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting with anti-patterns
Qiu, Qi ; Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon ; et al.
Université Claude Bernard Lyon 1. 2025

Termination Rewrite syst... Termination Rewrite system Automated reasoning Program verification Graph transformation …
Report
Zu den Favoriten
19

Monotonicity and the Precision of Program Analysis
Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto ; et al.
Proceedings of the ACM on Programming Languages. :1629-1662

Program reasoning Abstra... Program verification Abstraction Theory of computation →... CCS Concepts Program Monotonicity …
Zeitschrift
Zu den Favoriten
20

Will it Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection
Moine, Alexandre ; Charguéraud, Arthur ; Pottier, François ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS), 2025, ⟨10.1145/3716312⟩

Tracing garbage collecti... Concurrency Separation logic Program verification [INFO.INFO-PL]Computer S... Programming Languages [c...
Zeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter