Search dblp for Publications

export results for "toc:db/conf/programm/programm1974.bht:"

 download as .bib file

@inproceedings{DBLP:conf/programm/AguzziCPSS74,
  author       = {Gianni Aguzzi and
                  Francesca Cesarini and
                  Renzo Pinzani and
                  Giovanni Soda and
                  Renzo Sprugnoli},
  editor       = {Bernard J. Robinet},
  title        = {Tree structures handling by {APS}},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {120--129},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_129},
  doi          = {10.1007/3-540-06859-7\_129},
  timestamp    = {Thu, 24 Feb 2022 13:41:39 +0100},
  biburl       = {https://dblp.org/rec/conf/programm/AguzziCPSS74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/AielloA74,
  author       = {Luigia Aiello and
                  Mario Aiello},
  editor       = {Bernard J. Robinet},
  title        = {Proving program correctness in L. C. F.},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {59--71},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_124},
  doi          = {10.1007/3-540-06859-7\_124},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/AielloA74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/AltonL74,
  author       = {Donald A. Alton and
                  John L. Lowther},
  editor       = {Bernard J. Robinet},
  title        = {Non-existence of program optimizers in an abstract setting},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {253--265},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_138},
  doi          = {10.1007/3-540-06859-7\_138},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/AltonL74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/AmyO74,
  author       = {B. Amy and
                  Farid Ouabdesselam},
  editor       = {Bernard J. Robinet},
  title        = {S. V. P., Un syst{\`{e}}me interactif pour la validation et la pr{\'{e}}paration
                  de programmes},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {41--58},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_123},
  doi          = {10.1007/3-540-06859-7\_123},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/AmyO74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/AntoniMO74,
  author       = {G. Degli Antoni and
                  Pierangelo Miglioli and
                  Mario Ornaghi},
  editor       = {Bernard J. Robinet},
  title        = {Top-down approach to the synthesis of programs},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {88--108},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_127},
  doi          = {10.1007/3-540-06859-7\_127},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/AntoniMO74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/BohmDR74,
  author       = {Corrado B{\"{o}}hm and
                  Mariangiola Dezani{-}Ciancaglini and
                  Simona Ronchi Della Rocca},
  editor       = {Bernard J. Robinet},
  title        = {Listing of information structures defined by fixed-point operators},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {266--279},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_139},
  doi          = {10.1007/3-540-06859-7\_139},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/BohmDR74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/Chanon74,
  author       = {Robert N. Chanon},
  editor       = {Bernard J. Robinet},
  title        = {On a measure of program structure},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {9--16},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_120},
  doi          = {10.1007/3-540-06859-7\_120},
  timestamp    = {Sat, 27 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/programm/Chanon74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/CheathamT74,
  author       = {Thomas E. Cheatham Jr. and
                  Judy A. Townley},
  editor       = {Bernard J. Robinet},
  title        = {A proposed system for structured programming},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {33--40},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_122},
  doi          = {10.1007/3-540-06859-7\_122},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/CheathamT74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/ChimnaudS74,
  author       = {M. Chimnaud and
                  A. Scrizzi},
  editor       = {Bernard J. Robinet},
  title        = {Un syst{\`{e}}me de communications: logiciel ou mat{\'{e}}riel?},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {298--313},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_141},
  doi          = {10.1007/3-540-06859-7\_141},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/ChimnaudS74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/CourcelleV74,
  author       = {Bruno Courcelle and
                  Jean Vuillemin},
  editor       = {Bernard J. Robinet},
  title        = {Compl{\'{e}}tude d'un syst{\`{e}}me formel pour prouver l'{\'{e}}quivalence
                  de certains sch{\'{e}}mas r{\'{e}}cursifs monadiques},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {234--252},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_137},
  doi          = {10.1007/3-540-06859-7\_137},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/CourcelleV74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/DarondeauGO74,
  author       = {Philippe Darondeau and
                  Serge Guiboud{-}Ribaud and
                  Claude Otrage},
  editor       = {Bernard J. Robinet},
  title        = {Application de la strucuturation des syst{\'{e}}me {\`{a}} la
                  conception interne du syst{\`{e}}me {GEMAU}},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {280--297},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_140},
  doi          = {10.1007/3-540-06859-7\_140},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/DarondeauGO74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/Dennis74,
  author       = {Jack B. Dennis},
  editor       = {Bernard J. Robinet},
  title        = {First version of a data flow procedure language},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {362--376},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_145},
  doi          = {10.1007/3-540-06859-7\_145},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/programm/Dennis74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/Fokkinga74,
  author       = {Maarten M. Fokkinga},
  editor       = {Bernard J. Robinet},
  title        = {Inductive assertion patters for recursive procedures},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {221--233},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_136},
  doi          = {10.1007/3-540-06859-7\_136},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/Fokkinga74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/FrantaM74,
  author       = {William R. Franta and
                  Kurt Maly},
  editor       = {Bernard J. Robinet},
  title        = {The suitability of a very high level language {(SETL)} for simulation
                  structuring and control},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {156--169},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_132},
  doi          = {10.1007/3-540-06859-7\_132},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/FrantaM74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/GreifW74,
  author       = {Irene Greif and
                  Richard J. Waldinger},
  editor       = {Bernard J. Robinet},
  title        = {A more mechanical approach to program verification},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {109--119},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_128},
  doi          = {10.1007/3-540-06859-7\_128},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/GreifW74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/Guessarian74,
  author       = {Ir{\`{e}}ne Guessarian},
  editor       = {Bernard J. Robinet},
  title        = {Equivalence dans l'alg{\`{e}}bre ds sch{\'{e}}mas de programmes},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {204--220},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_135},
  doi          = {10.1007/3-540-06859-7\_135},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/Guessarian74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/Gurski74,
  author       = {Aaron Felix Gurski},
  editor       = {Bernard J. Robinet},
  title        = {Towards a high-level job control language},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {130--140},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_130},
  doi          = {10.1007/3-540-06859-7\_130},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/Gurski74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/HamiltonZ74,
  author       = {Margaret H. Hamilton and
                  Saydean Zeldin},
  editor       = {Bernard J. Robinet},
  title        = {Higher order software techniques applied to a space shuttle prototype
                  program},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_121},
  doi          = {10.1007/3-540-06859-7\_121},
  timestamp    = {Mon, 30 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/programm/HamiltonZ74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/Hay74,
  author       = {George G. Hay},
  editor       = {Bernard J. Robinet},
  title        = {Formal definition of a simple on-line teleprocessor in {VDL}},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {141--155},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_131},
  doi          = {10.1007/3-540-06859-7\_131},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/Hay74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/HendersonQ74,
  author       = {Peter Henderson and
                  Peter Quarendon},
  editor       = {Bernard J. Robinet},
  title        = {Finite state testing of structured programs},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {72--80},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_125},
  doi          = {10.1007/3-540-06859-7\_125},
  timestamp    = {Wed, 18 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/HendersonQ74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/HewittBSGSMH74,
  author       = {Carl Hewitt and
                  Peter Boehler Bishop and
                  Richard Steiger and
                  Irene Greif and
                  Brian Cantwell Smith and
                  Todd Matson and
                  Roger Hale},
  editor       = {Bernard J. Robinet},
  title        = {Behavioral semantics of nonrecursive control structures},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {385--407},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_147},
  doi          = {10.1007/3-540-06859-7\_147},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/HewittBSGSMH74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/KeranguevenK74,
  author       = {A. Kerangueven and
                  F. Kerangueven},
  editor       = {Bernard J. Robinet},
  title        = {Structure du syst{\`{e}}me {SAR}},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {314--326},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_142},
  doi          = {10.1007/3-540-06859-7\_142},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/KeranguevenK74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/LampsonMS74,
  author       = {Butler W. Lampson and
                  James G. Mitchell and
                  E. H. Satterthwhaite},
  editor       = {Bernard J. Robinet},
  title        = {On the transfer of control between contexts},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {181--203},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_134},
  doi          = {10.1007/3-540-06859-7\_134},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/LampsonMS74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/MontangeroPT74,
  author       = {Carlo Montangero and
                  Giuliano Pacini and
                  Franco Turini},
  editor       = {Bernard J. Robinet},
  title        = {A model for structured parallel processing in block-structured programming
                  languages},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {350--361},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_144},
  doi          = {10.1007/3-540-06859-7\_144},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/MontangeroPT74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/Morris74,
  author       = {James H. Morris},
  editor       = {Bernard J. Robinet},
  title        = {Towards more flexible type systems},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {377--384},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_146},
  doi          = {10.1007/3-540-06859-7\_146},
  timestamp    = {Tue, 13 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/programm/Morris74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/NoonanP74,
  author       = {Robert E. Noonan and
                  Dale J. Panton},
  editor       = {Bernard J. Robinet},
  title        = {Structured recursive programming},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {81--87},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_126},
  doi          = {10.1007/3-540-06859-7\_126},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/NoonanP74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/Reynolds74,
  author       = {John C. Reynolds},
  editor       = {Bernard J. Robinet},
  title        = {Towards a theory of type structure},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {408--423},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_148},
  doi          = {10.1007/3-540-06859-7\_148},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/programm/Reynolds74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/Roucairol74,
  author       = {G{\'{e}}rard Roucairol},
  editor       = {Bernard J. Robinet},
  title        = {Transformation de programmes s{\'{e}}quentiels en programmes
                  parall{\`{e}}les},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {327--349},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_143},
  doi          = {10.1007/3-540-06859-7\_143},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/Roucairol74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programm/Zahn74,
  author       = {Charles T. Zahn Jr.},
  editor       = {Bernard J. Robinet},
  title        = {A control statement for natural top-down structured programming},
  booktitle    = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  pages        = {170--180},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7\_133},
  doi          = {10.1007/3-540-06859-7\_133},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/Zahn74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/programm/1974,
  editor       = {Bernard J. Robinet},
  title        = {Programming Symposium, Proceedings Colloque sur la Programmation,
                  Paris, France, April 9-11, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {19},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06859-7},
  doi          = {10.1007/3-540-06859-7},
  isbn         = {3-540-06859-7},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/programm/1974.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.