This volume contains the proceedings of RTA-93, the fifthInternational Conference on Rewriting Techniques andApplications, held in Montreal, Canada, in June 1993.
Dieses von Niklaus Wirth, dem berühmten Entwickler von Pascal und Modula-2 geschriebene Buch, gibt eine Einführung in die universelle Programmiersprache Modula-2.
Modern computing tools like Maple (symbolic computation) and Matlab (a numeric computation and visualization program) make it possible to easily solve realistic nontrivial problems in scientific computing.
Pascal ist heute eine der meistverbreiteten Programmiersprachen der Welt und längst auf nahezu allen Computersystemen verfügbar, auf Personal Computern ebenso wie auf professionellen Systemen.
The continued popularity of Prolog and oflogic programming in general has called for a new edition in which we have corrected a few minor errors found in the previous edition.
Simula-67, Modula-2, Pascal, Smalltalk-80 und Beta werden aus objektorientierter Sicht unter dem Aspekt der Anwendung für die diskrete Simulation eingeordnet, verglichen und bewertet.
Object-oriented database systems have been approached with mainly two major intentions in mind, namely to better support new application areas including CAD/CAM, office automation, knowledge engineering, and to overcome the `impendance mismatch' between data models and programming languages.
Seit etwa zwei Jahren setzen die unterschiedlichsten Anwender in Hochschule und Industrie zur parallelen Datenverarbeitung in steigendem Maß Transputer ein.
In diesem Buch werden Fehlertoleranztechniken in rekonfigurierbaren verteilten Systemen zur Prozeßautomatisierung in einer geschlossenen Form dargestellt.
At present one of the main obstacles to a broaderapplication of expert systems is the lack of a theory totell us which problem-solving methods areavailable for agiven problem class.
Mit der zunehmenden Leistungsfähigkeit verteilter Rechnersysteme und dem wachsenden Bedarf für verteilte Anwendungen steigen auch die Anforderungen an die Entwicklungsunterstützung für solche Anwendungen.
At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems.
