Work

SPADE: A Library for Programmatic Parsing and Verification of Discrete Data Structures

Year: 2025

Type: conference-paper

Source: Intermountain Engineering, Technology and Computing (IETC)

DOI: 10.1109/ietc64455.2025.11039449

Authors: Russell Phillips, Paul Bodily

Institution: Idaho State University

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411484229

FWCI:

Cites: 6

Cited by:

Related to: 10