Social processes, program verification and all that

Social Processes , Program Verification and All

A N D R E A A S P E R T I, H E R M A N G E U V E R S and R A J A N A T A R A J A N 1 Dept. of Comp. Sci., Univ. of Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy Email: [email protected] 2 Dept. of Comp. Sci., Radboud Univ. Nijmegen and Tech. Univ. Eindhoven, The Netherlands Email: [email protected] 3 School of Tech. & Comp. Sci., Tata Institute of Fundamental Research, Mumbai 400 005, Ind...

Dark Chocolate and Metabolic Syndrome; Do Polyphenols All that Matter?

Academic nepotism – all that glitters is not gold

Dear Editor With increasing emphasis on publications forfaculty recruitment, career advancementand obtaining research grants, the issues relatedto author kinship and academic nepotism havegrown significantly and these probably reflectthe inflationary growth rather than the optimalgrowth warranted due to increasing researchcomplexity. Allesina S (1) measured the fullmagnitude of nepotism in the ...

Program Verification

Program Transformation for Program Verification

We present a transformational approach to program verification and software model checking that uses three main ingredients: (i) Constraint Logic Programming (CLP), (ii) metaprogramming and program specialization, and (iii) proof by transformation. (i) Constraints are used for representing in a compact way (finite or infinite) sets of values or memory states, and logic is used for expressing pr...