Towards the definition of an experimental programming environment from language formal specifications