Showing 41 - 60 of 491

41

Rust Quick Start Guide
Arbuckle, Daniel ; Arbuckle, Daniel ; Arbuckle, Daniel ; et al.

Electronic Resource
Save to List
42

Extracting functional programs from Coq, in Coq.
ANNENKOV, DANIL ; MILO, MIKKEL ; NIELSEN, JAKOB BOTSCH ; et al.
Journal of Functional Programming. 2022, Vol. 32, p1-60. 60p.

WEB-based user interface... PROGRAMMING languages TRUST LINEAR network coding
Academic journal
Save to List
43

Verus: Verifying Rust Programs using Linear Ghost Types
Lattuada, Andrea ; Hance, Travis ; Cho, Chanhee ; et al.
Proceedings of the ACM on Programming Languages, 7 (OOPSLA1)

Rust linear types systems verification
Academic journal
Save to List
44

Board 58: Work in Progress: Iron Coder: An Integrated Development Environment for Embedded Development in Rust
Carsten Thue-Bludworth ; Jeremiah Blanchard
2024 ASEE Annual Conference & Exposition Proceedings.

Academic journal
Save to List
45

Mehanizmi za konkurentno programiranje u programskom jeziku Rust ; Mechanisms of Concurrent Programming in Rust Programming Language
Dukić, Andrija ; Knezović, Josip

Rust Go konkurentnost paralelizam asinkronost upravljanje memorijom
Dissertation/ Thesis
Save to List
46

Leveraging Uniqueness for Modular Verification of Heap-Manipulating Programs
Astrauskas, Vytautas ; Müller, Peter ; Marché, Claude ; et al.

VERIFICATION (SOFTWARE E... Rust (programming langua... Separation logic type systems heap-manipulating progra... info:eu-repo/classificat...
Dissertation/ Thesis
Save to List
47

Profiling with trust: system monitoring from trusted execution environments
Eichler, Christian ; Röckl, Jonas ; Jung, Benedikt ; et al.
Design Automation for Embedded Systems: An International Journal. 28(1):23-44

Academic journal
Save to List
48

Violator spaces : Structure and algorithms
GÄRTNER, B ; MATOUSEK, J ; RÜST, L ; et al.
Discrete applied mathematics. 156(11):2124-2141

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Academic journal
Save to List
49

Gretl—variation GRaph Evaluation TooLkit.
Vorbrugg, Sebastian ; Bezrukov, Ilja ; Bao, Zhigui ; et al.
Bioinformatics; Jan2025, Vol. 41 Issue 1, p1-4, 4p

SOURCE code GENETIC variation DATA structures GENOMES PYTHON programming langu...
Academic journal
Save to List
50

PanKmer: k-mer-based and reference-free pangenome analysis.
Aylward, Anthony J ; Petrus, Semar ; Mamerto, Allen ; et al.
Bioinformatics; Oct2023, Vol. 39 Issue 10, p1-5, 5p

PAN-genome GENETIC variation PLANT hybridization PYTHON programming langu... NUCLEOTIDE sequence
Academic journal
Save to List
51

Framework pro reaktivní uživatelská rozhraní v Rustu ; Framework for reactive user interfaces in Rust
Husička, David ; Beránek, Jakub ; Gaura, Jan

uživatelská rozhraní Rust knihovna user interfaces library
Dissertation/ Thesis
Save to List
52

Exploiting Mixed Binaries.
PAPAEVRIPIDES, MICHALIS ; ATHANASOPOULOS, ELIAS
ACM Transactions on Privacy & Security; Feb2021, Vol. 24 Issue 2, p1-29, 29p

PROGRAMMING languages DATA integrity C++ COMPUTER software securi... COMPILERS (Computer prog...
Academic journal
Save to List
53

COCHIS: Stable and coherent implicits.
SCHRIJVERS, TOM ; OLIVEIRA, BRUNO C.D.S. ; WADLER, PHILIP ; et al.
Journal of Functional Programming. 2019, Vol. 29, p1-82. 82p.

PROGRAMMING languages HASKELL (Computer progra... SEMANTICS DEBATE MODULARITY (Grammar)
Academic journal
Save to List
54

Development of a course on learning the Rust programming language and its usage in developing DApps using Substrate framework
Михайленко, Олександр ; Гороховський, Кирило

blockchain Ethereum bitcoin курсова робота...
Save to List
55

Is there a curse of dimensionality for contraction fixed points in the worst case?
RUST, J ; TRAUB, J. F ; WOZNIAKOWSKI, H
Econometrica. 70(1):285-329

Control theory, operatio... Automatique, recherche o... Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Academic journal
Save to List
56

Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach
Nils Fitinghoff ; Johan Eriksson ; Marcus Lindner ; et al.
2019 IEEE 17th International Conference on Industrial Informatics (INDIN). :432-439

0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
57

Alire: a Library Repository Manager for the Open Source Ada Ecosystem.
Mosteo, Alejandro R.
Ada User Journal. Sep2018, Vol. 39 Issue 3, p189-196. 8p.

LIBRARY storage centers PROGRAMMING languages LIBRARY administration COMPUTER software manage... ECOSYSTEMS COMPILERS (Computer prog...
Academic journal
Save to List
58

Location graphs : a formal approach to encapsulation and its implementation
Graphes de localités : une approche formelle à l'encapsulation et implémentation

Vassor, Martin ; Centre Inria de l'Université Grenoble Alpes ; Institut National de Recherche en Informatique et en Automatique (Inria) ; et al.
Génie logiciel [cs.SE]. Université Grenoble Alpes [2020-..], 2021. Français. ⟨NNT : 2021GRALM015⟩

Software engineering Programming language Formal Methods Langage de programmation Génie Logiciel Méthodes Formelles
Dissertation/ Thesis
Save to List

Filter