1) Opera by Pascal Collasse
Found on
https://www.crosswordclues.com/clue/astrée
[Collasse] Astrée is an opera by the French composer Pascal Collasse, first performed at the Académie Royale de Musique (the Paris Opéra) on 25 November 1691. It takes the form of a tragédie lyrique in three acts. The libretto, by Jean de La Fontaine, is based on the romance Astrée by Honoré d`Urfé. The opera was a failure. ==Sources...
Found on
http://en.wikipedia.org/wiki/Astrée_(Collasse)
[static analysis] Astrée is a static analyzer based on abstract interpretation. It analyzes programs written in the C programming language and outputs an exhaustive list of possible runtime errors and assertion violations. The tool is tailored towards safety-critical embedded code: source programs are assumed not to contain dynamic allocat...
Found on
http://en.wikipedia.org/wiki/Astrée_(static_analysis)
No exact match found.
