Formal methods: State of the art and new directions Formal Methods: State of the Art and New
Directions Page 2 Paul Boca • Jonathan P. Bowen Jawed I. Siddiqi Editors Formal Methods: State …

Publisher Summary This chapter focuses on denotational semantics, which is a framework
for the formal description of programming language semantics. The main idea of …

These notes give an overview of the main frameworks that have been developed for
specifying the formal semantics of programming languages. Some of the pragmatic aspects …

The paper develops a framework that is based on the idea that modal logic provides an
appropriate framework for the specification of data flow analysis (DFA) algorithms as soon …

Template and Preprocessor Metaprogramming are both well-known in the C++ community
to have much in common with Functional Programming (FP). Recently, very few research …

Self-applicable partial evaluation has been implemented for half a decade now, but many
problems remain open. This paper addresses and solves the problems of automating call …

The paper develops a framework that is based on the idea that modal logic provides an
appropriate framework for the specification of data flow analysis (DFA) algorithms as soon …

Semantic specifications of programming languages typically have poor modularity. This
hinders reuse of parts of the semantics of one language when specifying a different …

Formal semantic description is significant for design, reasoning and standardization of
programming languages, and it plays an important part in the optimization of the compiler …

Action Semantics is a framework for the formal description of programming languages. Its
main advantage over other frameworks is pragmatic: action-semantic descriptions (ASDs) …