Výsledky vyhledávání - "Imperative programming"
-
A Diagrammatic Algebra for Program Logics
Vydáno v arXiv.org (Oct 4, 2024)Citation/Abstract
Full text outside of ProQuest
-
Window Expressions for Stream Data Processing
Vydáno v arXiv.org (Mar 1, 2024)Citation/Abstract
Full text outside of ProQuest
-
Abstract Operational Methods for Call-by-Push-Value
Vydáno v arXiv.org (Oct 26, 2024)Citation/Abstract
Full text outside of ProQuest
-
Specification Slicing for VDM-SL
Vydáno v arXiv.org (Oct 4, 2024)Citation/Abstract
Full text outside of ProQuest