Bibliothek

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Digitale Medien
    Digitale Medien
    Coroutine sequencing in a block structured environment (1971)
    Springer
    BIT 11 (1971), S. 425-449 
    Details
    ISSN: 1572-9125
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik
    Notizen: Abstract A certain primitive sequencing operation is defined, applicable as an extension to Algol-like languages. The operation serves the double purpose of “intermediate exit” from or “reentry” into procedure-like block instances. A second primitive, which corresponds to a fully symmetric coroutine linkage, is derived from the former. An abstract notation is introduced for the concepts of textual and dynamic enclosure of block instances. The effects of the sequencing primitives are explored in terms of this notation, and certain results are proved. Finally applications are given within the language framework of Simula 67.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01939412
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 2
    Digitale Medien
    Digitale Medien
    Analysis of an algorithm for priority queue administration (1975)
    Springer
    BIT 15 (1975), S. 409-422 
    Details
    ISSN: 1572-9125
    Schlagwort(e): algorithm analysis ; binary trees ; priority queues ; event scheduling
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik
    Notizen: Abstract A special kind of priority queue structure, priority trees (p-trees), and an algorithm for building such trees are investigated. The main part of the paper is devoted to a mathematical analysis of the algorithm showing that the expected number of key comparisons to insert a “random” element into a “random”p-tree withn nodes isO((logn)2). Also some practical experiments, comparing different types of priority queue strategies, are presented.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01931680
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 3
    Digitale Medien
    Digitale Medien
    Litt om symbolbruken i ALGOL (1962)
    Springer
    BIT 2 (1962), S. 7-8 
    Details
    ISSN: 1572-9125
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik
    Notizen: Abstract Some critical remarks are made in connection with the use of symbols in ALGOL. The underlined words and the for-statements are especially considered.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF02024776
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 4
    Digitale Medien
    Digitale Medien
    Generator induction in order sorted algebras (1991)
    Springer
    Formal aspects of computing 3 (1991), S. 2-20 
    Details
    ISSN: 1433-299X
    Schlagwort(e): Algebraic specification ; Order sorted algebras ; Generator induction ; Functional programming
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Linguistic and semantic consequences of combining the ideas of order sorted algebras (as in OBJ) and generator induction (as in Larch) are investigated. It is found that one can gain the advantages of both, in addition to increased flexibility in defining signatures and generator bases. Our treatment also gives rise to typing control stronger in a certain sense than that of OBJ, as well as the detection of inherently inconsistent signatures.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01211433
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 5
    Buch
    Buch
    Structured programming (1972)
    London u.a. :Academic Press,
    Details
    Titel: Structured programming
    Autor: Dahl, Ole-Johan
    Beteiligte Person(en): Dijkstra, E.W. , Hoare, Charles Antony Richard
    Verlag: London u.a. :Academic Press,
    Erscheinungsjahr: 1972
    Seiten: 220 S.
    Materialart: Buch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 6
    Buch
    Buch
    Common base language (1968)
    Oslo :Norwegian Computing Center,
    Details
    Titel: Common base language
    Autor: Dahl, Ole-Johan
    Beteiligte Person(en): Myhrhaug, Bjorn , Nygaard, Kristen
    Verlag: Oslo :Norwegian Computing Center,
    Erscheinungsjahr: 1968
    Seiten: 144 S.
    Materialart: Buch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...