Copertina

Study of the Use of Property Probes in an Educational Setting

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Alaküla, Anton Risberg, Fors, Niklas, Söderberg, Emma
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Use of SPEAKEASY Interactive Language for Information Science Education.
di: Chweh, Steven Seokho
Pubblicazione: (1980)

Persistent Amortised Analysis, Operationally
di: Lorenzen, Anton
Pubblicazione: (2026)

Semantics of Sets of Programs
di: Kim, Jinwoo, et al.
Pubblicazione: (2024)

Set-theoretic Types for Erlang
di: Schimpf, Albert, et al.
Pubblicazione: (2023)

Probing the Design Space: Parallel Versions for Exploratory Programming
di: Beckmann, Tom, et al.
Pubblicazione: (2025)

LiveRec: Prototyping Probes by Framing Debug Protocols
di: Döderlein, Jean-Baptiste, et al.
Pubblicazione: (2024)

Modeling Layout Abstractions Using Integer Set Relations
di: Bhaskaracharya, Somashekaracharya G, et al.
Pubblicazione: (2025)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
di: Schimpf, Albert, et al.
Pubblicazione: (2026)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
di: Samuelson, Ashley, et al.
Pubblicazione: (2025)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
di: Bagrel, Thomas
Pubblicazione: (2026)

A Hoare Logic for Symmetry Properties
di: Mehta, Vaibhav, et al.
Pubblicazione: (2025)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2026)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
di: Nagy, Shaan, et al.
Pubblicazione: (2024)

Annotating and Auditing the Safety Properties of Unsafe Rust
di: Rao, Zihao, et al.
Pubblicazione: (2025)

Critical Semantic Properties of Music Notation Datasets
di: Lepper, Markus, et al.
Pubblicazione: (2024)

More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation
di: Zi, Yangtian, et al.
Pubblicazione: (2025)

Two Approaches for Programming Education in the Domain of Graphics: An Experiment
di: Chiodini, Luca, et al.
Pubblicazione: (2025)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
di: Chang, Stephen
Pubblicazione: (2024)

Modal Effect Types
di: Tang, Wenhao, et al.
Pubblicazione: (2024)

Proceedings 14th International Workshop on Trends in Functional Programming in Education
di: Bohrer, Rose
Pubblicazione: (2025)

Performant Dynamically Typed E-Graphs in Pure Julia
di: Cheli, Alessandro, et al.
Pubblicazione: (2024)

Incremental Context-free Grammar Inference in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2024)

Programmable Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

The Condition of Bilingual Education in the Nation. First Report by the U.S. Commissioner of Education to the President and the Congress.
Pubblicazione: (1976)

Type-level Property Based Testing
di: Hansen, Thomas Ekström, et al.
Pubblicazione: (2024)

DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data
di: Wang, Bin, et al.
Pubblicazione: (2024)

MINISA: Minimal Instruction Set Architecture for Next-gen Reconfigurable Inference Accelerator
di: Tong, Jianming, et al.
Pubblicazione: (2026)

LitmusKt: Concurrency Stress Testing for Kotlin
di: Lochmelis, Denis, et al.
Pubblicazione: (2025)

AnCoder: Anchored Code Generation via Discrete Diffusion Models
di: Xue, Anton, et al.
Pubblicazione: (2026)

Instruction Set and Language for Symbolic Regression
di: Lopez-Rubio, Ezequiel, et al.
Pubblicazione: (2026)

A Coq Library of Sets for Teaching Denotational Semantics
di: Cao, Qinxiang, et al.
Pubblicazione: (2024)

Formalizing Stack Safety as a Security Property
di: Anderson, Sean Noble, et al.
Pubblicazione: (2021)

Etna: An Evaluation Platform for Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

Programming Language Case Studies Can Be Deep
di: Bohrer, Rose
Pubblicazione: (2024)

Agentic Proof Automation: A Case Study
di: Xu, Yichen, et al.
Pubblicazione: (2026)

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
di: Sulzmann, Martin
Pubblicazione: (2025)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
di: Thomas, Morgan, et al.
Pubblicazione: (2025)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
di: Seidel, Raphael, et al.
Pubblicazione: (2024)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler
di: Liu, Zixi, et al.
Pubblicazione: (2025)

The Vienna Architecture Description Language
di: Freitag, Florian, et al.
Pubblicazione: (2024)