Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems最新文献

DISCOPAR: a visual reactive programming language for generating cloud-based participatory sensing platforms DISCOPAR:用于生成基于云的参与式感知平台的视觉反应性编程语言

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2018-11-04 DOI: 10.1145/3281278.3281285

Jesse Zaman, Kennedy Kambona, W. Meuter

引用次数: 4

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems 第五届ACM SIGPLAN响应式和基于事件的语言和系统国际研讨会论文集

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2018-11-04 DOI: 10.1145/3281278

引用次数: 0

RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming RHEA:用于数据流编程的响应式、异构、可扩展和抽象框架

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2018-11-04 DOI: 10.1145/3281278.3281279

Orestis Melkonian, A. Charalambidis

引用次数: 1

Composable higher-order reactors as the basis for a live reactive programming environment 可组合的高阶反应器作为实时响应式编程环境的基础

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2018-11-04 DOI: 10.1145/3281278.3281284

Bjarno Oeyen, Humberto Rodríguez-Avila, Sam Van den Vonder, W. Meuter

{"title":"Composable higher-order reactors as the basis for a live reactive programming environment","authors":"Bjarno Oeyen, Humberto Rodríguez-Avila, Sam Van den Vonder, W. Meuter","doi":"10.1145/3281278.3281284","DOIUrl":"https://doi.org/10.1145/3281278.3281284","url":null,"abstract":"A live programming environment allows programmers to edit programs while they are running. This means that successive \"edit steps\" must not allow a programmer to bring the program in a form that does not make any sense to the underlying language processor (i.e., parser, compiler,...). Many live programming environments therefore rely on disciplined edit steps that are based on language elements such as objects, classes, and methods. Textual modifications to these elements are not seen as edit steps until some \"accept\" button is hit. Unfortunately, no such elements exist in current reactive languages. We present a new reactive language, called Haai, that is based on first-class higher-order reactors. Linguistically, Haai programs correspond to reactors or compositions of reactors. At run-time, reactors produce an infinite stream of values just like signals and behaviours in existing languages. Haai's live programming environment relies on textual modifications of entire reactors as its basic edit steps. Changing a reactor automatically updates all occurrences of that reactor in the reactive program, while it is running.","PeriodicalId":430762,"journal":{"name":"Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114151820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

Skitter: a DSL for distributed reactive workflows Skitter:用于分布式响应式工作流的DSL

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2018-11-04 DOI: 10.1145/3281278.3281281

Mathijs Saey, Joeri De Koster, W. Meuter

引用次数: 5

Reactive chatbot programming 响应式聊天机器人编程

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2018-11-04 DOI: 10.1145/3281278.3281282

Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

引用次数: 11

A reactive language for analyzing cloud logs 用于分析云日志的响应式语言

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2018-11-04 DOI: 10.1145/3281278.3281280

Guillaume Baudart, Louis Mandel, O. Tardieu, M. Vaziri

{"title":"A reactive language for analyzing cloud logs","authors":"Guillaume Baudart, Louis Mandel, O. Tardieu, M. Vaziri","doi":"10.1145/3281278.3281280","DOIUrl":"https://doi.org/10.1145/3281278.3281280","url":null,"abstract":"Log analysis is required in many domains, and especially in the emerging field of cloud computing. Cloud applications are often built by composing diverse services. When something goes wrong, finding the root cause of the problem can be difficult. Many services are only reachable through their Application Programming Interfaces (APIs) with no possibility for live introspection. In this context, logs become an essential tool for monitoring and debugging. Cloud services typically generate very large quantities of log messages, with formats that may not be well specified and may vary over time. In this paper, we present CloudLens, a language for the analysis of semi-structured textual data as found in logs, and specify its formal semantics. CloudLens is a reactive language and views logs as streams of objects. Our objective is to facilitate exploring the contents of logs interactively and to write reusable analyses succinctly, using familiar constructs. We implemented an interpreter for the Apache Zeppelin notebook to provide an interactive IDE. Our prototype implementation is open source and we report on a detailed case study using logs from the Apache OpenWhisk project.","PeriodicalId":430762,"journal":{"name":"Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems","volume":"637 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116476765","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Synthesizing manually verifiable code for statecharts 为状态图合成人工验证的代码

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2018-11-04 DOI: 10.1145/3281278.3281283

Steven Smyth, Christian Motika, R. V. Hanxleden

引用次数: 2