18429 search results - page 140 / 3686 » Typing dynamic typing |
112
click to vote
APAL
2008
15 years 5 months ago
2008
Consider the following restriction of the polymorphically typed lambda calculus ("System F"). All quantifications are parameter free. In other words, in every universal ...
149
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
133
click to vote
FUIN
2006
15 years 4 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
146
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture...
246
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...