About: Typechecking Java Protocols with [St]Mungo

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Typechecking Java Protocols with [St]Mungo Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Typechecking Java Protocols with [St]Mungo
Creator	Dardha, Ornela Gay, Simon Laura Voinea, A
Source	PMC
abstract	This is a tutorial paper on [St]Mungo, a toolchain based on multiparty session types and their connection to typestates for safe distributed programming in Java language. The StMungo (“Scribble-to-Mungo”) tool is a bridge between multiparty session types and typestates. StMungo translates a communication protocol, namely a sequence of sends and receives of messages, given as a multiparty session type in the Scribble language, into a typestate specification and a Java API skeleton. The generated API skeleton is then further extended with the necessary logic, and finally typechecked by Mungo. The Mungo tool extends Java with (optional) typestate specifications. A typestate is a state machine specifying a Java object protocol, namely the permitted sequence of method calls of that object. Mungo statically typechecks that method calls follow the object’s protocol, as defined by its typestate specification. Finally, if no errors are reported, the code is compiled with javac and run as standard Java code. In this tutorial paper we give an overview of the stages of the [St]Mungo toolchain, starting from Scribble communication protocols, translating to Java classes with typestates, and finally to typechecking method calls with Mungo. We illustrate the [St]Mungo toolchain via a real-world case study, the HTTP client-server request-response protocol over TCP. During the tutorial session, we will apply [St]Mungo to a range of examples having increasing complexity, with HTTP being one of them.
has issue date	2020-05-13(xsd:dateTime)
bibo:doi	10.1007/978-3-030-50086-3_12
has license	no-cc
sha1sum (hex)	d1ba9fc4efaa776ee9800927d234fb2a9228a8b3
schema:url	https://doi.org/10.1007/978-3-030-50086-3_12
resource representing a document's title	Typechecking Java Protocols with [St]Mungo
has PubMed Central identifier	PMC7281875
schema:publication	Formal Techniques for Distributed Objects, Components, and Systems
resource representing a document's body	covid:d1ba9fc4efaa776ee9800927d234fb2a9228a8b3#body_text
is schema:about of	named entity 'multiparty' named entity 'Java' named entity 'SAFE' named entity 'toolchain' named entity 'Java language' named entity 'distributed programming' named entity 'Java code' named entity 'Java' named entity 'typestates' named entity 'object-oriented languages' named entity 'type-theoretic' named entity 'Iterator' named entity 'method calls' named entity 'typechecking' named entity 'design and development' named entity 'method calls' named entity 'type signature' named entity 'Java' named entity 'Java' named entity 'HTTP protocol' named entity 'ANTLR' named entity 'source files' named entity 'access control systems' named entity 'typechecking' named entity 'Singularity' named entity 'Java' named entity 'type declaration' named entity 'specification language' named entity 'javac' named entity 'programming language' named entity 'generics' named entity 'Java code' named entity 'API' named entity 'API' named entity 'HTTP client' named entity 'type safety' named entity 'Data Types' named entity 'static type systems' named entity 'transpiler' named entity 'toolchain' named entity 'HTTP client' named entity 'service-oriented' named entity 'communication protocol' named entity 'server' named entity 'typechecker' named entity 'error messages' named entity 'typestate analysis' named entity 'standard language' named entity 'message passing' named entity 'APIs' named entity 'typechecking' named entity 'recursive' named entity 'JavaFX' named entity 'API' named entity 'javac' named entity 'distributed services' named entity 'API' named entity 'communication protocols' named entity 'functional languages' named entity 'software application' named entity 'server' named entity 'APIs' named entity 'APIs' named entity 'paradigm' named entity 'communication protocols' named entity 'communication protocols' named entity 'programming languages' named entity 'HTTP client' named entity 'APIs' named entity 'HTTP servers' named entity 'exception mechanism' named entity 'API' named entity 'type systems' named entity 'APIs' named entity 'API' named entity 'Java API' named entity 'exception handlers' named entity 'Java class' named entity 'internet protocol' named entity 'Java' named entity 'HTTP protocol'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software