2803 search results - page 20 / 561 » A Type System for Prototyping Languages |
131
Voted
CP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
119
Voted
ERCIMDL
2006
Springer
15 years 7 months ago
2006
Springer
This demonstration provides a "hands on" experience to the "internals" of Pergamos, the University of Athens DL System. Pergamos provides uniform high level DL ...
164
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
96
Voted
POS
1990
Springer
15 years 7 months ago
1990
Springer
113
click to vote
CCS
2004
ACM
15 years 8 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...