18429 search results - page 234 / 3686 » Typing dynamic typing |
195
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
186
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
186
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
121
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Learning in complex contexts often requires pure induction to be supported by various kinds of meta-information. Providing such information is a critical, difficult and ...
148
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...