Similar Search Results

Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs

Popov, Nikolaj; Jebelean, Tudor - In: Mathematics and Computers in Simulation (MATCOM) 79 (2009) 8, pp. 2302-2309

We describe an innovative method for proving total correctness of tail recursive programs having a specific structure, namely programs in which an auxiliary tail recursive function is driven by a main nonrecursive function, and only the specification of the main function is provided. The...

Persistent link: https://www.econbiz.de/10011051043

Mathematik für Informatiker

Buchberger, Bruno; Lichtenberger, Franz

Persistent link: https://www.econbiz.de/10004740694

Computer algebra : symbolic and algebraic computation

Buchberger, Bruno (contributor) - 1982

Persistent link: https://www.econbiz.de/10004046995

Zukunftssicherung durch Technologiepolitik

Buchberger, Bruno (contributor) - In: Wirtschaftspolitische Blätter : österreichische … 43 (1996) 1, pp. 4-65

Persistent link: https://www.econbiz.de/10001200831

University Research Vitalization and Social Contribution

Buchberger, Bruno - In: Technological forecasting & social change : an … 57 (1998) 3, pp. 211-216

Persistent link: https://www.econbiz.de/10007823318