4211 search results - page 35 / 843 » Types as Abstract Interpretations |
JCS
2010
14 years 6 months ago
2010
103
click to vote
HOA
1993
15 years 3 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
121
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
104
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...