Meso: An object-oriented programming language for building strongly-typed Internet-based network applications
Journal
ACM Symposium on Applied Computing
Pages
1579-1586
Date Issued
2013
Author(s)
Hong, S
Abstract
Programming languages rely on type systems to safeguard the correctness of a program. In existing technologies, types defined in a program are meaningful only within its runtime, so the definition of a remote resource must be obtained and verified to ensure a correct and type-safe interaction. However, obtaining a consistent meaning of a resource in a distributed environment requires much human effort and coordination, thus making the development process difficult to scale to an Internet-like open environment.
Type
conference paper