Inspec keywords: programming languages; software performance evaluation; reasoning about programs

Other keywords: dynamically typed languages; error detection; concern separation principle; compiler optimisations; static programming; software development; statically typed languages; reasoning about program; performance assessment; StaDyn programming language; direct interoperation

Subjects: Programming languages; Software performance evaluation; Diagnostic, testing, debugging and evaluating systems