Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Jang, Junyoung"'
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
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
[THIS IS AN UNDERGRADUATE PROJECT] This paper discusses the effectiveness of the bug finder based on "micro-grammar".
Comment: 4 pages
Comment: 4 pages
Externí odkaz:
http://arxiv.org/abs/2112.08010
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
Publikováno v:
Applied Sciences (2076-3417); Nov2024, Vol. 14 Issue 22, p10610, 18p
Publikováno v:
Buildings (2075-5309); Oct2024, Vol. 14 Issue 10, p3074, 18p
Publikováno v:
In Mathematics and Computers in Simulation May 2020 171:136-151
Autor:
Jeong, Eunbeen1 (AUTHOR) eb09080@inu.ac.kr, Jang, Junyoung2 (AUTHOR) injjy@inu.ac.kr, Lee, Seulbi3 (AUTHOR) sblee@inu.ac.kr, Ahn, Seungjun4 (AUTHOR) jun.ahn@hongik.ac.kr, Kim, Tae Wan5 (AUTHOR) taewkim@inu.ac.kr
Publikováno v:
Journal of Management in Engineering. May2024, Vol. 40 Issue 3, p1-11. 11p.
Autor:
Cho, Su-gil, Park, Sanghyun, Oh, Jaewon, Min, Cheonhong, Kim, Hyungwoo, Hong, Sup, Jang, Junyoung, Lee, Tae Hee
Publikováno v:
In Journal of Terramechanics June 2019 83:25-34
Publikováno v:
Computer Methods in Biomechanics & Biomedical Engineering: Imaging & Visualisation; Jul2023, Vol. 11 Issue 4, p1261-1270, 10p