Výsledky vyhledávání - "Jang, Junyoung"

Report

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming

Autor: Jang, Junyoung, Pientka, Brigitte

We describe Elevator, a unifying polymorphic foundation for metaprogramming with memory management based on adjoint modalities. In this setting, we distinguish between multiple memory regions using modes where each mode has a specific set of structur

Externí odkaz: http://arxiv.org/abs/2411.00752

Zobrazit plný text záznamu

Report

Adjoint Natural Deduction (Extended Version)

Autor: Jang, Junyoung, Roshal, Sophia, Pfenning, Frank, Pientka, Brigitte

Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has been defined

Externí odkaz: http://arxiv.org/abs/2402.01428

Zobrazit plný text záznamu

Report

Static Code Analyzer Using Micro-Grammar

Autor: Zhu, Hanwen, Jang, Junyoung, Si, Xujie

[THIS IS AN UNDERGRADUATE PROJECT] This paper discusses the effectiveness of the bug finder based on "micro-grammar".
Comment: 4 pages

Externí odkaz: http://arxiv.org/abs/2112.08010

Zobrazit plný text záznamu

Report

Moebius: Metaprogramming using Contextual Types -- The stage where System F can pattern match on itself (Long Version)

Autor: Jang, Junyoung, Gélineau, Samuel, Monnier, Stefan, Pientka, Brigitte

We describe the foundation of the metaprogramming language, Moebius, which supports the generation of polymorphic code and, more importantly the analysis of polymorphic code via pattern matching. Moebius has two main ingredients: 1) we exploit contex

Externí odkaz: http://arxiv.org/abs/2111.08099

Zobrazit plný text záznamu