2803 search results - page 22 / 561 » A Type System for Prototyping Languages |
ICPR
2006
IEEE
14 years 9 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...
ASPLOS
2006
ACM
14 years 2 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...
TACS
1994
Springer
14 years 16 days 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...
IFIP
2004
Springer
14 years 1 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...
ICFP
2000
ACM
14 years 25 days ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac