15783 search results - page 282 / 3157 » Evidence-Based Software Engineering |
217
click to vote
APAL
2011
15 years 1 months ago
2011
Abstract. We give classical proofs, strengthenings, and generalizations of Lecomte’s characterizations of analytic ω-dimensional hypergraphs with countable Borel chromatic numbe...
132
Voted
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
173
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...