479 search results - page 64 / 96 » Sound and Complete Type Inference for a Systems Programming ... |
191
Voted
PLPV
2011
ACM
14 years 5 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
118
Voted
CC
2002
Springer
15 years 2 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
102
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
121
Voted
TPHOL
1994
IEEE
15 years 6 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
111
Voted
FUIN
2008
15 years 2 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...