Enforcing and validating user-defined programming disciplines

Authors:
Brian Chin;Daniel Marino;Shane Markstrum;Todd Millstein
Affiliations:
University of California: Los Angeles, Los Angeles, CA;University of California: Los Angeles, Los Angeles, CA;University of California: Los Angeles, Los Angeles, CA;University of California: Los Angeles, Los Angeles, CA
Venue:
PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Year:
2007

Polymorphic effect systems

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A theory of type qualifiers

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Confined types

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Type-based race detection for Java

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Semantic type qualifiers

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
A framework for implementing pluggable type systems

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

Hi-index	0.00