A Reversible Semantics for Janus

2026-02-18 · Ivan Lanese, Germán Vidal arxiv

Janus is a paradigmatic example of a reversible programming language. Indeed, Janus programs can be executed backwards as well as forwards. However, its current small-step semantics (useful, e.g., for debugging or as a basis for extensions with concurrency primitives) is not reversible, since it loses information while computing forwards. E.g., it does not satisfy the Loop Lemma, stating that any reduction has an inverse, a main property of reversibility in process calculi, where a small-step semantics is commonly used. We present here a novel small-step semantics which is actually reversible, while remaining equivalent to the previous one. It involves the non-trivial challenge of defining a semantics based on a "program counter" for a high-level programming language.

📄 PDF Abstract BibTeX arXiv:2602.16913

Code (0)

등록된 구현이 없습니다.

JANUS: A Lightweight Framework for Jailbreaking Text-to-Image Models via Distribution Optimization

2026-03-22 · Haolun Zheng, Yu He, Tailun Chen, Shuo Shao 외 arxiv

Text-to-image (T2I) models such as Stable Diffusion and DALLE remain susceptible to generating harmful or Not-Safe-For-Work (NSFW) content under jailbreak attacks despite deployed safety filters. Existing jailbreak attac…

Categorical Semantics of Reversible Pattern-Matching

2021-09-13 · Kostia Chardonnet, Louis Lemonnier, Benoît Valiron

This paper is concerned with categorical structures for reversible computation. In particular, we focus on a typed, functional reversible language based on Theseus. We discuss how join inverse rig categories do not in ge…

The syntax-semantics interface in a child's path: A study of 3- to 11-year-olds' elicited production of Mandarin recursive relative clauses

2024-06-06 · Caimei Yang, Qihang Yang, Xingzhi Su, Chenxi Fu 외

There have been apparently conflicting claims over the syntax-semantics relationship in child acquisition. However, few of them have assessed the child's path toward the acquisition of recursive relative clauses (RRCs). …

Language Acquisition Object

Janus-Q: End-to-End Event-Driven Trading via Hierarchical-Gated Reward Modeling

2026-02-23 · Xiang Li, Zikai Wei, Yiyan Qi, Wanyun Zhou 외 arxiv

Financial market movements are often driven by discrete financial events conveyed through news, whose impacts are heterogeneous, abrupt, and difficult to capture under purely numerical prediction objectives. These limita…

Reinforcement Learning

JanusVLN: Decoupling Semantics and Spatiality with Dual Implicit Memory for Vision-Language Navigation

2025-09-26 · Shuang Zeng, Dekang Qi, Xinyuan Chang, Feng Xiong 외 arxiv

Vision-and-Language Navigation requires an embodied agent to navigate through unseen environments, guided by natural language instructions and a continuous video stream. Recent advances in VLN have been driven by the pow…

Vision-Language Navigation Spatial Reasoning