Hans Loeper

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Programs that reason are playing an increasing role in teaching mathematics at the undergraduate level. This paper is concerned with teaching topics in discrete mathematics for computer science students. It aims to increase the likelihood of using computer programs to understand, represent, and solve problems with the help of automated reasoning. Topics of(More)
Although implicit parallelism is one of the most important advantages besides methodological and software engineering aspects of the object-oriented paradigm, only a few papers are directly dedicated object-oriented concurrency. Based on [Boyd87], [Clark87], [Collard89], and [Baker91], each of which appeared in the ACM Ada Letters, this paper addresses the(More)
In this paper are discussed the <b>concepts of a compiler structure design system and its prototype implementation</b>.In order to obtain the pass structure based on the properties of the deterministic left to right evaluable attribute grammars we use <b>short path</b> algorithms for directed graphs. An algorithm for assignment of attributes to separate(More)
  • 1