Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Coroutine sequencing in a block structured environment (1971)
    Springer
    BIT 11 (1971), S. 425-449 
    Details
    ISSN: 1572-9125
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01939412
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Analysis of an algorithm for priority queue administration (1975)
    Springer
    BIT 15 (1975), S. 409-422 
    Details
    ISSN: 1572-9125
    Keywords: algorithm analysis ; binary trees ; priority queues ; event scheduling
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01931680
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Litt om symbolbruken i ALGOL (1962)
    Springer
    BIT 2 (1962), S. 7-8 
    Details
    ISSN: 1572-9125
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02024776
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Generator induction in order sorted algebras (1991)
    Springer
    Formal aspects of computing 3 (1991), S. 2-20 
    Details
    ISSN: 1433-299X
    Keywords: Algebraic specification ; Order sorted algebras ; Generator induction ; Functional programming
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01211433
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Book
    Book
    Structured programming (1972)
    London u.a. :Academic Press,
    Details
    Title: Structured programming
    Author: Dahl, Ole-Johan
    Contributer: Dijkstra, E.W. , Hoare, Charles Antony Richard
    Publisher: London u.a. :Academic Press,
    Year of publication: 1972
    Pages: 220 S.
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 6
    Book
    Book
    Common base language (1968)
    Oslo :Norwegian Computing Center,
    Details
    Title: Common base language
    Author: Dahl, Ole-Johan
    Contributer: Myhrhaug, Bjorn , Nygaard, Kristen
    Publisher: Oslo :Norwegian Computing Center,
    Year of publication: 1968
    Pages: 144 S.
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...