Write a Blog >>
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Sun 22 Oct 2017 13:30 - 14:00 at Regency B - Runtime Reflection Chair(s): Cyrus Omar

This paper introduces a reflective functional reactive programming language designed for resource-constrained embedded systems. Using the reflection mechanism provided by the language, a program module can observe or modify its execution process via time-varying values that are connected to the internal of the metalevel of the module. Thus reflective operations are also reactive and described in a declarative manner. An example shows how the mechanism can realize an adaptive runtime that reduces the power consumption of a small robot.

Work-in-Progress Paper (meta17-final3.pdf)525KiB

Takuo Watanabe is Professor in the Department of Computer Science at Tokyo Institute of Technology. He received his Ph. D. from the Department of Information Science at the Tokyo Institute of Technology in 1991. He is working in the area of programming languages, programming methodologies, and formal methods. His research focuses on understanding the nature of reflective behaviors in concurrent systems, inventing new applications of computational reflection, and developing new abstraction mechanisms and programming models for safe/secure systems.

Sun 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

13:30 - 15:00: Runtime ReflectionMETA at Regency B
Chair(s): Cyrus OmarCarnegie Mellon University
13:30 - 14:00
Reactive Reflection in an FRP Language for Small-Scale Embedded Systems
Takuo WatanabeTokyo Institute of Technology
File Attached
14:00 - 14:30
Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes
Javier PimásPalantir Solutions, Stefan MarrUniversity of Kent
File Attached
14:30 - 15:00
An Annotation-based API for Supporting Runtime Code Annotation Reading
Phyllipe LimaINPE - National Institute for Space Research, Eduardo GuerraINPE - National Institute for Space Research, Marco NardesINPE - National Institute for Space Research, Andrea MocciUniversita della Svizzera italiana (USI), Gabriele BavotaUniversità della Svizzera italiana (USI), Michele LanzaUniversità della Svizzera italiana (USI)