Filters








101 Hits in 3.0 sec

Lightweight Session Programming in Scala (Artifact) [article]

Alceste Scalas, Nobuko Yoshida, Tijs Van, Matthew Flatt
2016 Dagstuhl Artifacts Series (DARTS)  
In the paper "Lightweight Session Programming in Scala", we introduce a "lightweight" integration of session types in the Scala programming language, based on (1) a formal type-level encoding, and (2)  ...  This artifact is the source code of lchannels, with all the examples and benchmarks discussed in the paper.  ...  Scope This artifact allows to repeat all examples and benchmarks presented in the companion paper.  ... 
doi:10.4230/darts.2.1.11 dblp:journals/darts/ScalasY16 fatcat:awrnesfcgrefdmcvgz4cz2e7qi

Lightweight Session Programming in Scala *

Alceste Scalas, Nobuko Yoshida
unpublished
To address this problem, we propose lightweight session programming in Scala: we leverage the native features of the Scala type system and standard library, to introduce (1) a representation of session  ...  We illustrate how session programming can be carried over in Scala: how to formalise a communication protocol, and represent it using Scala classes and lchannels, letting the compiler help spotting protocol  ...  Thanks to Julien Lange and Nicholas Ng for their feedback during artifact testing, and to the anonymous artifact reviewers for their detailed remarks and suggestions.  ... 
fatcat:ess3padlkbekriss6ad2eiv32m

Front Matter, Table of Contents, Preface, Conference Organization

Robert Hirschfeld, Tobias Pape
2020 European Conference on Object-Oriented Programming  
Other conferences and several of ECOOP's satellite events like the Scala Symposium followed, such that SPLASH this year is a true multi-conference on programming and related communities.  ...  In particular, the process was based on the artifact evaluation guidelines by Shriram Krishnamurthi, Matthias Hauswirth, Steve Blackburn, and Jan Vitek published on the Artifact Evaluation site. 1 In addition  ... 
doi:10.4230/lipics.ecoop.2020.0 dblp:conf/ecoop/X19a fatcat:amf4qxktj5bwla224edl24to7a

Mashup of metalanguages and its implementation in the Kermeta language workbench

Jean-Marc Jézéquel, Benoit Combemale, Olivier Barais, Martin Monperrus, François Fouquet
2013 Journal of Software and Systems Modeling  
With the growing use of domain-specific languages (DSL) in industry, DSL design and implementation goes far beyond an activity for a few experts only and becomes a challenging task for thousands of software  ...  In particular, the composition are described both formally and with respect to language operators of the Scala programming language.  ...  Figure 1 . 1 Activity of the members of our team during our work sessions.  ... 
doi:10.1007/s10270-013-0354-4 fatcat:73jjhfz4nbfebjltzmynxo75z4

Multi-DSL Applications with Ruby

Sebastian Gunther
2010 IEEE Software  
In this paper, we explain multi-DSL applications in the context of web applications and the Ruby programming language.  ...  expressions of several DSLs to express all application layers, concerns, and artifacts.  ...  Multi-DSL applications facilitate expressing every layer, concern, and artifact based on one common programming language.  ... 
doi:10.1109/ms.2010.91 fatcat:we22ndt4ivfwbnnnpxxxkmv5xi

On the Monitorability of Session Types, in Theory and Practice [article]

Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas
2021 arXiv   pre-print
This work takes a fresh look at the run-time verification of communicating systems using session types, in theory and in practice.  ...  Our executable monitors can be used to instrument black-box processes written in any programming language; we assess the viability of our approach with a series of benchmarks.  ...  A linear decomposition of multiparty sessions for safe distributed programming (artifact). Alceste Scalas and Nobuko Yoshida. Lightweight session programming in scala.  ... 
arXiv:2105.06291v1 fatcat:wpy4l4tf3rhqhhqgyzbohtrcbu

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems [chapter]

Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek
2018 Lecture Notes in Computer Science  
This makes programming of such systems daunting, particularly in regards to avoiding inconsistencies due to failures and asynchrony.  ...  This work introduces a formal model for crash failure handling in asynchronous distributed systems featuring a lightweight coordinator, modeled in the image of widely used systems such as ZooKeeper and  ...  That work is well suited for recovery of lightweight processes in an actor setting.  ... 
doi:10.1007/978-3-319-89884-1_28 fatcat:br2mlvqndvfqpgdlfgec3f5dn4

On Visual Assessment of Software Quality

Cezary Bartoszuk, Grzegorz Timoszuk, Robert Dąbrowski, Krzysztof Stencel
2014 e-Informatica Software Engineering Journal  
In this article we describe an innovative method of software analysis and visualization using graph-based approach.  ...  A project's documentation gets outdated in a matter of days. These problems can be addressed using software analysis and visualization tools.  ...  Play 1.2.5 Play is a popular Scala and Java web framework. It is built on a lightweight, stateless and web friendly architecture.  ... 
doi:10.5277/e-inf140101 dblp:journals/eInformatica/BartoszukTDS14 fatcat:vcd456hl4zdlrnrlhu43o2hcgy

jsr223: A Java Platform Integration for R with Programming Languages Groovy, JavaScript, JRuby, Jython, and Kotlin

Floid,R. Gilbert, David,B. Dahl
2019 The R Journal  
The R package jsr223 is a high-level integration for five programming languages in the Java platform: Groovy, JavaScript, JRuby, Jython, and Kotlin.  ...  The jsr223 package also features extensive data exchange capabilities and a callback interface that allows embedded scripts to access the current R session.  ...  Notice that a dependency has a group ID, an artifact ID, and a version. (Artifact is the general term for any file residing in a repository.)  ... 
doi:10.32614/rj-2018-066 fatcat:f5lnojsmvjffraypzorqtwkj7a

Managing Messes in Computational Notebooks

Andrew Head, Fred Hohman, Titus Barik, Steven M. Drucker, Robert DeLine
2019 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19  
and lightweight versioning.  ...  messes in computational notebooks.  ...  ACKNOWLEDGMENTS We thank Christian Bird and Ian Drosos for helpful discussions about tool and study design, and the data scientists at Microsoft who participated in the interviews and studies.  ... 
doi:10.1145/3290605.3300500 dblp:conf/chi/HeadHBDD19 fatcat:u5v45ukcxfgbhkp7ccac34ksh4

Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware [chapter]

Cosmin Arad, Jim Dowling, Seif Haridi
2012 Lecture Notes in Computer Science  
However, many middleware platforms lend themselves more naturally to a stateful programming model, supporting session and application state.  ...  In this paper, we present Kompics, a component model and programming framework, that supports the construction and composition of dynamically reconfigurable middleware using stateful, concurrent, message-passing  ...  programming model, supporting session and application state.  ... 
doi:10.1007/978-3-642-35170-9_11 fatcat:km5adcjd3bg5hg6e5u7pftsl4q

Statically verified refinements for multiparty protocols

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
We provide an implementation of RMPST, in a toolchain called Session ⋆ , using Scribble, a toolchain for multiparty protocols, and targeting F ⋆ , a verification-oriented functional programming language  ...  With distributed computing becoming ubiquitous in the modern era, safe distributed programming is an open challenge.  ...  ACKNOWLEDGMENTS We thank OOPSLA reviewers for their comments and suggestions, David Castro, Julia Gabet and Lorenzo Gheri for proofreading, and Wei Jiang and Qianyi Shu for testing the artifact.  ... 
doi:10.1145/3428216 fatcat:fu275gk4anhhxnxejwveib2uf4

Microservices: a Language-based Approach [article]

Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2017 arXiv   pre-print
We discuss the approach in general, and then we instantiate it in terms of the Jolie programming language.  ...  However, microservice systems are currently developed using general-purpose programming languages that do not provide dedicated abstractions for service composition.  ...  However, they are designed for the creation of sin- gle executable artifacts, called monoliths.  ... 
arXiv:1704.08073v1 fatcat:hyo6rgqevnbfnjbc3slj264g2u

Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP'16)

Matthew Flatt, Tijs Van Der Storm, Matthew Flatt
2016 DARTS   unpublished
Aims and Scope The Dagstuhl Artifacts Series (DARTS) publishes evaluated research data and artifacts in all areas of computer science.  ...  An artifact can be any kind of content related to computer science research, e.g., experimental data, source code, virtual machines containing a complete setup, test suites, or tools.  ...  Visser . . . . . . . . . 10:1-10:3 Lightweight Session Programming in Scala (Artifact) . . 11:1-11:2 Boomerang: Demand-Driven Flow-and Context-Sensitive Pointer Analysis for Java (Artifact) Johannes  ... 
fatcat:ritf7oaxrfflrip7ocevx2fpoy

Cross-disciplinary higher education of data science – beyond the computer science student

Evangelos Pournaras, Tobias Kuhn
2017 Data Science  
Izabela Moise for her contribution and our collaboration to design and run the MSc course "Data Science in Techno-socio-economic Systems". The author would also like to thank Prof. Dr.  ...  Last but not least, I would like to thank Pia Scherrer and Benno Volk for their feedback on the paper and the invaluable experience I had in their course "Foundations of Teaching and Learning" at ETH Zurich  ...  Although most programming languages, e.g. python, scala, java, etc., provide advanced data manipulation methods, teaching a general-purpose programming language in a cross-disciplinary audience of students  ... 
doi:10.3233/ds-170005 dblp:journals/datasci/Pournaras17 fatcat:prlsb3pu6fbozbyfjrs7iynhwq
« Previous Showing results 1 — 15 out of 101 results