MetaKlaim

swMATH1810MaRDI QIDQ14458FDOQ14458

Author name not available (Why is that?)

Described by source

• MetaKlaim: a type safe multi-stage language for global computing

Cited In (4)

• Formal Methods for Open Object-Based Distributed Systems
• Experiences with an object-oriented, multi-stage language
• Security Policies as Membranes in Systems for Global Computing
• A formal approach to the engineering of domain-specific distributed systems

This page was built for software: MetaKlaim