Set Types and Applications

We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dynamic properties of sets, allowing runtime optimizations. We demonstrate the utility of pmlB by showing how it can serve as a practical implementation language for higher-level programming language based security systems, and characterize pmlB by comparing the expressiveness of pmlB sets with enumerations.

• Type: Journal
• Year: 2002
• Where: ENTCS
• Authors: Christian Skalka, Scott F. Smith
• Keywords: ENTCS 2002, Precise Type Discipline, Primitive Sets, Programming Language