Abacus: a service-oriented programming language for grid applications

2005 ◽  
Author(s):  
Xiaoning Wang ◽  
Lijuan Xiao ◽  
Wei Li ◽  
Haiyan Yu ◽  
Zhiwei Xu
Keyword(s):  
Programming Language ◽  
Service Oriented ◽  
Grid Applications ◽  
Oriented Programming Language

scholarly journals Verified type-checker for Jolie

2017 ◽  
Author(s):  
Evgenii Akentev ◽  
Alexander Tchitchigin ◽  
Larisa Safina ◽  
Manuel Mazzara
Keyword(s):  
Programming Language ◽  
Formal Model ◽  
Type System ◽  
Dependent Types ◽  
Proof Assistant ◽  
Service Oriented ◽  
Oriented Programming Language

Jolie is a service-oriented programming language which comes with the formal speci cation of its type system. However, there is no tool to ensure that programs in Jolie are well-typed. In this paper we provide the results of building a type checker for Jolie as a part of its syntax and semantics formal model. We ex- press the type checker as a program with dependent types in Agda proof assistant which helps to ascertain that the type checker is correct.

A shallow-sea ecological model using an object-oriented programming language

1991 ◽  
Vol 57 (3-4) ◽  
pp. 221-236 ◽  
Author(s):  
Masahiko Sekine ◽  
Hiroshi Nakanishi ◽  
Masao Ukita ◽  
Sadaaki Murakami
Keyword(s):  
Programming Language ◽  
Ecological Model ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Shallow Sea ◽  
Oriented Programming Language
Sign in / Sign up

Export Citation Format

Share Document