3,757 research outputs found
Rosemary Miller as 'Isabelle', Ring round the moon [picture] /
No full textPart of: Robin Lovejoy collection.; Pencil sketches on front and reverse of sheet.; Costume for the character 'Isabelle' in Jean Anouilh's Ring round the moon, 1952/53. Performed at the Mercury Theatre. Costume design and direction by Robin Lovejoy.; Also available in an electronic version via the Internet at: http://nla.gov.au/nla.pic-vn3063632
Verification of Refactorings in Isabelle/HOL
No full textRefactorings are source-to-source behaviour-preserving program transformations that are used for improving program structure. Programmers refactor code to adapt it when new functionality is added or when the code is being repaired -- refactoring serves to keep the code ``clean'' and more maintainable. Refactoring can also be used as an exploratory technique for understanding source code. The process of refactoring has been automated through the implementation of tools; these tools assist programmers by handling the consistent application of behaviour-preserving changes to the code. It is desirable that the implementations of refactorings are correct: bugs might otherwise be introduced in refactored programs. The correctness, i.e. behaviour-preservation, of refactoring is traditionally probed by testing the refactored program and not the refactoring implementation directly. Recently, automated testing techniques have been used to test implementations of refactorings directly, but the coverage of testing is partial at best. The verification of refactorings is more challenging but determines whether a refactoring is behaviour-preserving for all possible programs. We study the verification of refactorings using the proof assistant Isabelle/HOL for untyped and typed lambda-calculi. Some of the issues encountered during verification are technical rather than purely theoretical: they relate to the embedding of the programming language in the proof environment. The reasons for our choice of techniques are discussed. We also discuss other practical considerations such as the readability of mechanised refactorings, and the avoidance of computationally expensive refactorings
Les établissements pour orphelins à Paris aux XVIIe-XVIIIe siècles
No full textRobin-Romero Isabelle. Les établissements pour orphelins à Paris aux XVIIe-XVIIIe siècles. In: Histoire, économie et société, 1998, 17ᵉ année, n°3. L'État comme fonctionnement socio-symbolique (1547-1635) sous la direction de Denis Crouzet. pp. 441-453
Le phénomène de la domesticité en Europe, XVIe-XXe siècles, Acta demographica, XIII, Table ronde des 17-18 septembre 1996. 1997
No full textRobin Isabelle. Le phénomène de la domesticité en Europe, XVIe-XXe siècles, Acta demographica, XIII, Table ronde des 17-18 septembre 1996. 1997. In: Annales de démographie historique, 1998-1. Le mariage, règles et pratiques. pp. 264-265
Didier Lett, L'enfant des miracles. Enfance et société au Moyen Âge (XIIe- XIIIe siècles), 1997
No full textRobin Isabelle. Didier Lett, L'enfant des miracles. Enfance et société au Moyen Âge (XIIe- XIIIe siècles), 1997. In: Annales de démographie historique, 1998-2. Le fil de la vie. Approches biographiques et généalogiques. pp. 277-279
Sylvie Perrier, Des enfances protégées. La tutelle des mineurs en France (XVIIe-XVIIIe siècles), 1998
No full textRobin Isabelle. Sylvie Perrier, Des enfances protégées. La tutelle des mineurs en France (XVIIe-XVIIIe siècles), 1998. In: Annales de démographie historique, 1999-1. Faire son chemin dans la ville. La mobilité intra-urbaine. pp. 242-245
Cut-elimination, substitution and normalisation
No full textDate of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term calculus, and with a particular strongly normalising and confluent system of cut-reduction rules, every reduction step has, as its natural deduction translation, a sequence of zero or more reduction steps (detour reductions, permutation reductions or simplifications). This complements and (we believe) clarifies earlier work by (e.g.) Zucker and Pottinger on a question raised in 1971 by Kreisel.Peer reviewe
Géographie des enfants trouvés de Paris aux XVIIe et XVIIIe siècles
No full textRobin Isabelle, Walch Agnès. Géographie des enfants trouvés de Paris aux XVIIe et XVIIIe siècles. In: Histoire, économie et société, 1987, 6ᵉ année, n°3. L'enfant abandonné. pp. 343-360
Catherine Rollet, Marie-France Morel, Le temps de l'enfance. Tradition et modernité des soins aux tout-petits. Approche historique et anthropologique, 1998
No full textRobin Isabelle. Catherine Rollet, Marie-France Morel, Le temps de l'enfance. Tradition et modernité des soins aux tout-petits. Approche historique et anthropologique, 1998. In: Annales de démographie historique, 1999-1. Faire son chemin dans la ville. La mobilité intra-urbaine. pp. 246-248
Salve Regina Oral History Project: Robin Hoffman [audio]
No full textOral History interview with administration of justice professor Dr. Robin Hoffman. The interview was conducted April 12, 2019
- …
