Formal Models in Programming: Proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985
Erich J. Neuhold, Gerhard Chroust
North-Holland, 1985 - Reference - 425 pages
What people are saying - Write a review
We haven't found any reviews in the usual places.
abstract algebraic specification algorithms application Artificial Intelligence atomic actions Austrian basic behaviour system called Chroust Editors compile composition Computer Science concept concurrent construction data types defined Definition Let denotational semantics deterministic doirain domain DOMpa E.J. Neuhold Elektronische Rechenanlagen elements environment equivalent evaluation example execution exists expert systems export interface Expr F-algebra Figure finite firing sequences Floyd's formal definition Fun3 function given Heinz Zemanek IFIP implementation infinite informatics Information Processing input interpretation knowledge labelled Lemma logic machine mathematics module specification morphism Neuhold and G non-deterministic notation notion operational semantics parameter partial order partially ordered sets Petri Nets PL/I Plotkin poset powerdomain Proc program schemes programming languages proof system proofoutline Publishers B.V. North-Holland recursive relation representation rule Science Publishers B.V. seirantics sequential signature spec step sequences structural induction structure subset symbols temporal Theorem theory transition variables vector Wien