Conferences in DBLP
R. N. Chanon On a measure of program structure. [Citation Graph (0, 0)][DBLP ] Conf ] Margaret Hamilton , Saydean Zeldin Higher order software techniques applied to a space shuttle prototype program. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas E. Cheatham Jr. , Judy A. Townley A proposed system for structured programming. [Citation Graph (0, 0)][DBLP ] Conf ] B. Amy , Farid Ouabdesselam S. V. P., Un système interactif pour la validation et la préparation de programmes. [Citation Graph (0, 0)][DBLP ] Conf ] Luigia Aiello , Mario Aiello Proving program correctness in L. C. F.. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Henderson , Peter Quarendon Finite state testing of structured programs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Noonan , Dale J. Panton Structured recursive programming. [Citation Graph (0, 0)][DBLP ] Conf ] G. Degli Antoni , Pierangelo Miglioli , Mario Ornaghi Top-down approach to the synthesis of programs. [Citation Graph (0, 0)][DBLP ] Conf ] Irene Greif , Richard J. Waldinger A more mechanical approach to program verification. [Citation Graph (0, 0)][DBLP ] Conf ] Gianni Aguzzi , Francesca Cesarini , Renzo Pinzani , Giovanni Soda , Renzo Sprugnoli Tree structures handling by APS. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Felix Gurski Towards a high-level job control language. [Citation Graph (0, 0)][DBLP ] Conf ] George G. Hay Formal definition of a simple on-line teleprocessor in VDL. [Citation Graph (0, 0)][DBLP ] Conf ] William R. Franta , Kurt Maly The suitability of a very high level language (SETL) for simulation strucuturing and control. [Citation Graph (0, 0)][DBLP ] Conf ] Charles T. Zahn Jr. A control statement for natural top-down structured programming. [Citation Graph (0, 0)][DBLP ] Conf ] Butler W. Lampson , James G. Mitchell , E. H. Satterthwhaite On the transfer of control between contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Irène Guessarian Equivalence dans l'algèbre ds schémas de programmes. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten M. Fokkinga Inductive assertion patters for recursive procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle , Jean Vuillemin Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques. [Citation Graph (0, 0)][DBLP ] Conf ] Donald A. Alton , John L. Lowther Non-existence of program optimizers in an abstract setting. [Citation Graph (0, 0)][DBLP ] Conf ] Corrado Böhm , Mariangiola Dezani-Ciancaglini , Simona Ronchi Della Rocca Listing of information structures defined by fixed-point operators. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Darondeau , Serge Guiboud-Ribaud , Claude Otrage Application de la strucuturation des systéme à la conception interne du système GEMAU. [Citation Graph (0, 0)][DBLP ] Conf ] M. Chimnaud , A. Scrizzi Un système de communications: logiciel ou matériel?. [Citation Graph (0, 0)][DBLP ] Conf ] A. Kerangueven , F. Kerangueven Structure du système SAR. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Roucairol Transformation de programmes séquentiels en programmes parallèles. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Montangero , Giuliano Pacini , Franco Turini A model for structured parallel processing in block-structured programming languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jack B. Dennis First version of a data flow procedure language. [Citation Graph (0, 0)][DBLP ] Conf ] J. H. Morris Towards more flexible type systems. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Hewitt , Peter Bishop , Richard Steiger , Irene Greif , Brian Smith , Todd Matson , Roger Hale Behavioral semantics of nonrecursive control structures. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Reynolds Towards a theory of type structure. [Citation Graph (0, 0)][DBLP ] Conf ] 