newsBRILLANT - News: ABTOOLS - Nouvelle structure

 
 
Show feedback again
Latest News
B parsing is complete posted by scolin, Mon Apr 16 16:22:19 2012 - 0 replies
CSP||B tool for calculating control loop invariants posted by scolin, Mon Nov 30 18:01:23 2009 - 0 replies
BiCoax, a Coq library for B, is in the repository posted by scolin, Tue Sep 2 14:54:50 2008 - 0 replies
Alpha (debian) package : brillant-core posted by gmariano, Tue Jan 29 11:57:45 2008 - 1 reply

ABTOOLS - Nouvelle structure

Item posted by Boulanger Jean-Louis <boulangerjl> on Wed Aug 25 17:47:40 2004.

La nouvelle architecture des sources
- introduit une s├ęparation entre le langage des expressions et le langage B en introduisant une grammaire interm├ędiaire, ce qui permet de disposer d'un analyseur d'expression autonome (ainsi que d'un analyseur de substitution).
- prend en compte la notion de paquetage JAVA
- prend en compte un meilleur traitement des erreurs.

Comments:

No messages in ABTOOLS - Nouvelle structure

 

Start a New Thread:

You could post if you were logged in
Show feedback again

Back to the top


Powered by Savane 3.1-cleanup