Imagen de Portada

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lybech, Stian, Gorla, Daniele, Aceto, Luca
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Typing Composite Subjects
por: Aceto, Luca, et al.
Publicado: (2024)

A Sound Type System for Secure Currency Flow
por: Aceto, Luca, et al.
Publicado: (2024)

Preventing Out-of-Gas Exceptions by Typing
por: Aceto, Luca, et al.
Publicado: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
por: Zilberstein, Noam, et al.
Publicado: (2025)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
por: Xu, Ziyun, et al.
Publicado: (2025)

Open-World Assertion Checking for Smart Contracts via Game Semantics
por: Koutavas, Vasileios, et al.
Publicado: (2025)

Pacing Types: Safe Monitoring of Asynchronous Streams
por: Kohn, Florian, et al.
Publicado: (2025)

Abstraction Functions as Types
por: Grodin, Harrison, et al.
Publicado: (2025)

Semantic-Type-Guided Bug Finding
por: Qian, Kelvin, et al.
Publicado: (2024)

A Complementary Approach to Incorrectness Typing
por: Li, Celia Mengyue, et al.
Publicado: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
por: Castagna, Giuseppe, et al.
Publicado: (2024)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
por: Devriese, Dominique, et al.
Publicado: (2020)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
por: Leißa, Roland, et al.
Publicado: (2024)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
por: Fowler, Simon, et al.
Publicado: (2026)

Constructing Trustworthy Smart Contracts
por: Chait-Roth, Devora, et al.
Publicado: (2024)

Typed Embedding of miniKanren for Functional Conversion
por: Engel, Igor, et al.
Publicado: (2025)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
por: Deng, Haotian, et al.
Publicado: (2025)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
por: Bao, Yuyan, et al.
Publicado: (2025)

TypeDis: A Type System for Disentanglement
por: Moine, Alexandre, et al.
Publicado: (2025)

From Traces to Program Incorrectness: A Type-Theoretic Approach
por: Yuan, Yongwei, et al.
Publicado: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
por: He, Yifeng, et al.
Publicado: (2025)

Smart Contract Languages: a comparative analysis
por: Bartoletti, Massimo, et al.
Publicado: (2024)

Automatic Code and Test Generation of Smart Contracts from Coordination Models
por: Selabi, Elvis Konjoh, et al.
Publicado: (2026)

Local Type Inference for Context-Free Session Types
por: Almeida, Bernardo, et al.
Publicado: (2025)

A Word Sampler for Well-Typed Functions
por: Considine, Breandan
Publicado: (2025)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
por: Giovannini, Eric, et al.
Publicado: (2024)

Stream Types
por: Cutler, Joseph W., et al.
Publicado: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
por: Li, Senxi, et al.
Publicado: (2026)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
por: Böhler, Timon, et al.
Publicado: (2026)

Syntax and Semantics of Linear Dependent Types
por: Vákár, Matthijs
Publicado: (2014)

Type-Based Approaches to Rounding Error Analysis
por: Kellison, Ariel Eileen
Publicado: (2025)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
por: Cho, Hyunhum, et al.
Publicado: (2026)

SoliDiffy: AST Differencing for Solidity Smart Contracts
por: Eshghie, Mojtaba, et al.
Publicado: (2024)

Gradual Verification for Smart Contracts
por: Sun, Haojia, et al.
Publicado: (2023)

If-T: A Benchmark for Type Narrowing
por: Guo, Hanwen, et al.
Publicado: (2025)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
por: Wang, Sally Junsong, et al.
Publicado: (2024)

A Core Calculus for Type-safe Product Lines of C Programs
por: Damiani, Ferruccio, et al.
Publicado: (2026)

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
por: He, Siyuan, et al.
Publicado: (2026)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
por: Yao, Siqiu, et al.
Publicado: (2024)

Polymorphic Coverage Types
por: Zhou, Zhe, et al.
Publicado: (2023)