青谷 知幸

Consistent Distributed Reactive Programming with Retroactive Computation. 

CoRR abs/2502.20534 2025年2月  

Evolution Language Framework for Persistent Objects. 

CoRR abs/2502.20530 2025年2月  

Evolution Language Framework for Persistent Objects. 

Art Sci. Eng. Program. 10(1) 2025年  

Consistent Distributed Reactive Programming with Retroactive Computation. 

Art Sci. Eng. Program. 10(1) 2025年  

Compilation Semantics for a Programming Language with Versions. 

CoRR abs/2310.00298 2023年  

Compilation Semantics for a Programming Language with Versions. 

APLAS 3-23 2023年  

BatakJava: An Object-Oriented Programming Language with Versions. 

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering(SLE) 222-234 2022年  

A Step toward Programming with Versions in Real-World Functional Languages. 

COP@ECOOP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP)(COP@ECOOP) 44-51 2022年  

A Functional Programming Language with Versions. 

The Art, Science, and Engineering of Programming 6(1) 5-5 2022年  

A Functional Programming Language with Versions. 

CoRR abs/2107.07301 2021年  

Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks. 

35th European Conference on Object-Oriented Programming(ECOOP) 17-30 2021年  

Extending a meta-tracing compiler to mix method and tracing compilation. 

Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming(Programming) 5-3 2019年  

An approach for persistent time-varying values. 

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software(Onward!) 17-31 2019年  

TinyCORP: A Calculus for Context-Oriented Reactive Programming. 

Proceedings of the Workshop on Context-oriented Programming(COP@ECOOP) 1-8 2019年  

Harmonizing Signals and Events with a Lightweight Extension to Java. 

CoRR abs/1803.10199 2018年  

Live, synchronized, and mental map preserving visualization for data structure programming. 

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software(Onward!) 72-87 2018年  

A Context-Oriented Programming Approach to Dependency Hell. 

Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition(COP@ECOOP) 8-14 2018年  

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. 

32nd European Conference on Object-Oriented Programming(ECOOP) 2-33 2018年  

Method safety mechanism for asynchronous layer deactivation. 

Science of Computer Programming 156 104-120 2018年  

Harmonizing Signals and Events with a Lightweight Extension to Java. 

The Art, Science, and Engineering of Programming 2(3) 5-5 2018年