145 search results - page 14 / 29 » Towards a program logic for JavaScript |
CSL
2009
Springer
14 years 2 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
AAAI
2008
13 years 10 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...
DAGSTUHL
2003
13 years 9 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
COMPSAC
2009
IEEE
13 years 8 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...