Reflection, the capacity to represent our ideas and to make them the object of our own thoughts, has for many centuries been recognized as a key mark of human i

Clavel proposes a general theory of reflective logics and reflective declarative programming languages that provides a conceptual foundation for judging the ext

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publica

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed syst