Refinement Types in Jolie

Refinement Types in Jolie

Jolie is the first language for microservices and it is currently dynamically type checked. This paper considers the opportunity to integrate dynamic and static type checking with the introduction of refinement types, verified via an SMT solver. The integration of the two aspects allows a scenario w...

Full description

Bibliographic Details
Main Authors:	Alexander Tchitchigin, Larisa Safina, Mohamed Elwakil, Manuel Mazzara, Fabrizio Montesi, Victor Rivera
Format:	Article
Language:	English
Published:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:	Труды Института системного программирования РАН
Subjects:	микросервисы, jolie, refinement типы, smt, sat, z3
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/58

Similar Items

Jolie Static Type Checker: a Prototype
by: Daniel de Carvalho, et al.
Published: (2017-12-01)

As mamas de Angelina Jolie e as relações de corpo, cultura e comunicação no discurso da revista Veja
by: Muriel Emídio Pessoa do Amaral, et al.
Published: (2015-01-01)

Ephemeral data handling in microservices with Tquery
by: Saverio Giallorenzo, et al.
Published: (2022-07-01)

THE SENTIMENTAL TRAVERSE OF CLAUDE-HENRI WATELET’S EIGHTEENTH-CENTURY PICTURESQUE GARDEN ISLE, THE MOULIN JOLY
by: Rebecca J. SQUIRES
Published: (2023-09-01)

<i>Ascophyllum nodosum</i> (L.) Le Jolis, a Pivotal Biostimulant toward Sustainable Agriculture: A Comprehensive Review
by: Sangeeta Kumari, et al.
Published: (2023-05-01)

Monique Joly, Études sur "Don Quichotte". Publications de la Sorbonne, Paris, 1996; 366 pp. (Textes et Documents du Centre de Recherche sur l'Espagne des xvie et xviie siècles, 6).
by: K. E Virués Anell
Published: (1997-07-01)

Automating Collision Attacks on RIPEMD-160
by: Yingxin Li, et al.
Published: (2023-12-01)

Rotational-XOR Cryptanalysis of Reduced-round SPECK
by: Yunwen Liu, et al.
Published: (2017-09-01)

Linguagem e produção de sentido: o conhecimento do Jornalismo
by: Rafael Paes Henriques
Published: (2012-10-01)

A Value Set Analysis Refinement Approach Based on Conditional Merging and Lazy Constraint Solving
by: Jian Lin, et al.
Published: (2019-01-01)

Celebrification, Authenticity, Gossip: The Celebrity Humanitarian
by: Jerslev Anne
Published: (2020-03-01)

Микросервисная архитектура виртуальных тренажерных комплексов
by: Artem Obukhov, et al.
Published: (2022-11-01)

Finding Bit-Based Division Property for Ciphers with Complex Linear Layers
by: Kai Hu, et al.
Published: (2020-05-01)

De la genèse photographique à la photographie génétique
by: Julie Noirot

Scalable Sandbox Environments for a Modern Organization
by: Artyom Topchyan
Published: (2018-10-01)

La polémique autour de la démolition des églises : le cas du Maine-et-Loire
by: Guy Massin Le Goff
Published: (2009-11-01)

Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains
by: Rozier, Eric W. D., et al.
Published: (2017-02-01)

Survey of memory modeling methods in static verification tools
by: M. U. Mandrykin, et al.
Published: (2018-10-01)

The Study of Prehistoric Artefacts in National Context: Belgian Archaeologists and the Problem of Ancient Stone Implements
by: Matthew R. Goodrum
Published: (2013-09-01)

On The Refined Neutrosophic Real Analysis Based on Refined Neutrosophic Algebraic AH-Isometry
by: Mohammad Bisher Zeina, et al.
Published: (2023-03-01)

En torno a la portada renacentista del palacio del embajador Vich en Valencia
by: Federico Iborra Bernad
Published: (2017-12-01)

Exploring collaborative strategies used by school management teams to sustain parental involvement in Xhariep District schools
by: Thabo Walter Sesinyi, et al.
Published: (2023-12-01)

AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER
by: Réka KOVÁCS, et al.
Published: (2018-12-01)

Endoscopic full‐thickness resection of an esophageal leiomyoma located in close proximity to the azygos vein
by: Hironari Shiwaku, et al.
Published: (2022-04-01)

Segmental Chiropractic Spinal Manipulation Does not Reduce Pain Amplification and the Associated Pain-Related Brain Activity in a Capsaicin-Heat Pain Model
by: Benjamin Provencher, et al.
Published: (2021-11-01)

The degradation, biodegradability and toxicity evaluation of sulfamethazine antibiotics by gamma radiation
by: Liu Yuankun, et al.
Published: (2020-09-01)

MAIN TYPES OF ABBREVIATIONS IN CHINESE
by: Kristina Gennadevna Kachalova, et al.
Published: (2020-12-01)

On Refined Neutrosophic Hyperrings
by: M.A. Ibrahim, et al.
Published: (2021-08-01)

The Influence of Initial Purity Level on the Refining Efficiency of Aluminum via Zone Refining
by: Xiaoxin Zhang, et al.
Published: (2021-01-01)

n-Refined Neutrosophic Modules
by: Hasan Sankari, et al.
Published: (2020-09-01)

On Refined Neutrosophic Algebraic Structures
by: A.A.A. Agboola
Published: (2015-12-01)

Neutrosophic n-Valued Refined Sets and Topologies
by: Murad Arar
Published: (2023-05-01)

Usability of AutoProof: a case study of software verification
by: Mansur Khazeev, et al.
Published: (2018-10-01)

Continuous Knowledge Graph Refinement With Confidence Propagation
by: Alisettar Huseynli, et al.
Published: (2023-01-01)

Evaluation of novel inactivated vaccines for the SAT 1, SAT 2 and SAT 3 serotypes of foot-and-mouth disease in pigs
by: Hye-Eun Jo, et al.
Published: (2019-12-01)

Validation of a Test Platform to Qualify Miniaturized Electric Propulsion Systems
by: Fabrizio Stesina
Published: (2019-09-01)

Study of Refining Effect of Mixed Pulps Using Refiner Plates with Different Bar Patterns
by: Jeong-Heon Ryu, et al.
Published: (2022-11-01)

The modelling and synthesis of chemical reaction networks
by: Whitby, M
Published: (2020)

The effect of endoscopic ultrasound on the precise selection of endoscopic treatment for submucosal tumors in the upper gastrointestinal tract
by: Jian-Hua Li, et al.
Published: (2023-08-01)

Role of surgery in treating epstein‐barr virus‐associated smooth muscle tumor (EBV‐SMT) with central nervous system invasion: A systemic review from 1997 to 2019
by: Ka‐Wei Lau, et al.
Published: (2021-03-01)