Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ENTCS
2002

favoriteEmaildiscussreport

84views more ENTCS 2002»

Set Types and Applications

13 years 4 months ago

Set Types and Applications

Download www.cs.uvm.edu

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.

Christian Skalka, Scott F. Smith

Real-time Traffic

ENTCS 2002 | Precise Type Discipline | Primitive Sets | Programming Language |

claim paper

Related Content

» Representing a web page as sets of named entities of multiple types a model and some preli...

» PhysicsBased Ball Tracking in Volleyball Videos with its Applications to Set Type Recognit...

» Advances in type2 fuzzy sets and systems

» Vague Spatial Data Types Set Operations and Predicates

» Novel Methods for the Design of General Type2 Fuzzy Sets based on Device Characteristics a...

» Simple Types in Type Theory Deep and Shallow Encodings

» A set theoretic framework for enumerating matches in surveys and its application to reduci...

» Inference of WellTypings for Logic Programs with Application to Termination Analysis

» Linear type theory for asynchronous session types

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2002
Where	ENTCS
Authors	Christian Skalka, Scott F. Smith

Comments (0)