435 citations · 840 across the 65 of their papers we have counts for
Showing 2017 · cs.PLShow all
3 papers · 2 filters
cs.PL2017★ 4 cited
Microservices: a Language-based Approach
Claudio Guidi, Ivan Lanese, Manuel Mazzara +1
Microservices is an emerging development paradigm where software is obtained by composing autonomous entities, called (micro)services. However, microservice systems are currently d…
cs.PL2017★ 3 cited
Verified type checker for Jolie programming language
Evgenii Akentev, Alexander Tchitchigin, Larisa Safina +1
Jolie is a service-oriented programming language which comes with the formal specification of its type system. However, there is no tool to ensure that programs in Jolie are well-t…
cs.PL2017
Designing a pi-based Programming Language in the .NET framework: CLR interoperability from the Programmer's point of view
Manuel Mazzara
Interoperability is the ability of a programming language to work with systems based on different languages and paradigms. These days, many widely used high-level language impement…