HOME
*





Astrée Naïve
Astrée may refer to: * L'Astrée ''L'Astrée'' is a pastoral novel by Honoré d'Urfé, published between 1607 and 1627. Possibly the single most influential work of 17th-century French literature, ''L'Astrée'' has been called the "novel of novels", partly for its immense leng ..., a novel by Honoré d'Urfé or its main character * Astrée run-time error analyzer, a tool for static program analysis * Astrée (record label), a record label founded by Michel Bernstein * ''Astrée'' (Collasse), an opera by Pascal Collasse * Astrée (Typeface), a Deberny & Peignot typeface * French ship ''Astrée'', a number of ships of the French Navy See also * Astraea (other) * Astrea (other) {{disambiguation ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

L'Astrée
''L'Astrée'' is a pastoral novel by Honoré d'Urfé, published between 1607 and 1627. Possibly the single most influential work of 17th-century French literature, ''L'Astrée'' has been called the "novel of novels", partly for its immense length (six parts, forty stories, sixty books in 5,399 pages) but also for the success it had throughout Europe: it was translated into a great number of languages and read at every royal court. Even today, this novel is regularly republished, both in full and in abridged edition, and even in comic book form. The first three parts were published in 1607, 1610 and 1619; after Honoré d'Urfé's death in 1625 the fourth was completed by Balthazar Baro, and a fifth and sixth were supplied in 1626 by Pierre Boitel, sieur de Gaubertin.The attribution to "Borstet" is a frequent mistake caused by a misprint in Lenglet Du Fresnoy's ''De l'usage des romans'' (1735). The last two are often counted as one. The plot is immensely complex, but the main threa ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Astrée (static Analysis)
Astrée ("Analyseur statique de logiciels temps-réel embarqués") is a static analysis, static analyzer based on abstract interpretation. It analyzes programs written in C (programming language), the C programming language and outputs an exhaustive list of possible runtime errors and assertion (programming), assertion violations. The defect classes covered include division by zero, divisions by zero, buffer overflows, dereferences of null pointer, null or dangling pointers, data races, deadlocks, etc. Astrée includes a static taint checking, taint checker and helps finding Vulnerability (computing), cybersecurity vulnerabilities, such as Spectre (security vulnerability), Spectre. The tool is tailored towards safety-critical embedded code: specific analysis techniques are used for common control theory constructs (finite state machines, digital filters, rate limiters...) and floating-point numbers. Concurrent code is analyzed with a sound interleaving semantics that is aware of the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Astrée (record Label)
Michel Bernstein (Paris, 1931 – Paris, October 31, 2006) was a French musical producer and founder of several record labels. Bernstein's first contact with classical music was hearing the school music teacher play Beethoven on an out-of-tune piano at the age of 15, but thereafter he took a lively interest in music and recordings. Vendôme Bernstein founded his first record label, Vendôme, in 1954, which released only 5 LPs. The first release was the world premiere recording of Debussy's Proses Lyriques, by Flore Wend a Swiss soprano living in Paris, accompanied by the pianist Odette Gartenlaub, engineered by André Charlin, and recorded at the Salle Adyar, Paris. The LP also included the Chansons de Bilitis and Ballades de François Villon, and received glowing reviews in the French magazine Disques. The next release was of the organist Pierre Cochereau playing Bach on the organ of the Église Saint-Roch. Followed by another disc of Bach, the Orgelbüchlein, with the Danish ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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é Honoré d'Urfé, marquis de Valromey, comte de Châteauneuf (11 February 15681 June 1625) was a French novelist and miscellaneous writer. Life He was born at Marseille, the grandson of Claude d'Urfé, and was educated at the Collège de Tou .... The opera was a failure. Sources Libretto at "Livrets baroques" Félix Clément and Pierre Larousse ''Dictionnaire des Opéras'', Paris, 1881. Operas Tragédies en musique French-language operas 1691 operas Operas by Pascal Collasse {{french-opera-stub ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Astrée (Typeface)
Astrée may refer to: * L'Astrée, a novel by Honoré d'Urfé or its main character * Astrée run-time error analyzer, a tool for static program analysis * Astrée (record label) Michel Bernstein (Paris, 1931 – Paris, October 31, 2006) was a French musical producer and founder of several record labels. Bernstein's first contact with classical music was hearing the school music teacher play Beethoven on an out-of-tune pian ..., a record label founded by Michel Bernstein * ''Astrée'' (Collasse), an opera by Pascal Collasse * Astrée (Typeface), a Deberny & Peignot typeface * French ship ''Astrée'', a number of ships of the French Navy See also * Astraea (other) * Astrea (other) {{disambiguation ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


French Ship Astrée
A number of ships of the French Navy have borne the name ''Astrée'' in honour of Astraea in Greek mythology A major branch of classical mythology, Greek mythology is the body of myths originally told by the Ancient Greece, ancient Greeks, and a genre of Ancient Greek folklore. These stories concern the Cosmogony, origin and Cosmology#Metaphysical co .... Ships named ''Astrée'' * , a 24-gun frigateRoche, vol.1, p.53 * , a 30-gun frigate. * , a 28-gun corvette.Roche, vol.1, p.54 * , a 40-gun ''Nymphe''-class frigate. * , a 44-gun frigate. * , a 46-gun frigate. * , a sail and steam frigate. * , an submarine. * , an submarine. See also * Notes and references Notes References Bibliography * * {{DEFAULTSORT:Astree, French Ship French Navy ship names ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Astraea (other)
Astraea is a Greek goddess. Astraea may also refer to: * ''Astraea'' (gastropod), a genus of sea snails * ''Astraea'' (plant), a genus of plants in the family Euphorbiaceae * 5 Astraea, asteroid * a synonym for Croton (plant), a gymnosperm plant genus of Rushfoil * , a name for warships reused by the Royal Navy * , a Royal Navy ship class * Astraia, the ancient Greek name of the city of Radoviš Radoviš ( mk, Радовиш ) is a city in the southeastern part of North Macedonia. It is the second largest city in the southeastern region. The city is the seat of Radoviš Municipality, which is spread on the bottom of Plačkovica Mountai ... in modern North Macedonia * ASTRAEA (aerospace), UK UAV programme * ''Astraea'' (album), album by Rolo Tomassi, 2012 * Astraea Lesbian Foundation for Justice, an LGBT foundation based in the United States See also * Astrea (other) * Astrée (other) * Asteria (other) {{disambiguation, genus ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]