2803 search results - page 22 / 561 » A Type System for Prototyping Languages |
110
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a framework that enables the use of traditional feature selection algorithms in a new context - for building a set of subsets of specified properties. During the course...
141
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
126
click to vote
TACS
1994
Springer
15 years 7 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
158
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
110
click to vote
ICFP
2000
ACM
15 years 7 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac