458 search results - page 56 / 92 » Imperative Programming with Dependent Types |
129
click to vote
POPL
1990
ACM
15 years 6 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
113
Voted
CCS
2010
ACM
15 years 12 days ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...
123
Voted
POPL
1996
ACM
15 years 6 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
146
Voted
ASIAN
2009
Springer
15 years 6 days ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
203
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...