Semantics of Programming Languages and Model Theory
Regular price
€198.40
14 days return policy
Shipping & Delivery
A01=Manfred Droste
A01=Yuri Gurevich
advanced programming language semantics
algebraic logic
asynchronous computation
Author_Manfred Droste
Author_Yuri Gurevich
automata theory
Category=PBCD
Category=UMX
entity-relationship modelling
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
order theory
Petri nets
Product details
- ISBN 9782881249358
- Weight: 811g
- Dimensions: 156 x 234mm
- Publication Date: 10 Sep 1993
- Publisher: Gordon & Breach Science Publishers SA
- Publication City/Country: NL
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
A conference on Semantics of Programming Languages and Model Theory was held at the International Conference and Research Center for Computer Science, SchloB Dägstuhl, during June 23-29, 1991. Participants from 10 countries represented a wide range of interests on the subject where the interaction of different fields is so fruitful. In particular, methods from algebra, logic and order theory were used for the solution of problems from denotational semantics and domain theory; this was reflected in some talks. Several other talks treated topics ranging from functional programming languages and database models to linear logic, boolean algebras and model theory. A number of lectures dealt with the quickly developing area of evolving algebras and in particular with evolving algebra semantics of PROLOG and its relatives. This volume contains papers presented at the conference and a few others submitted by colleagues unable to attend.
Manfred Droste Universitiit Gesamthochschule, Essen Germany and Yuri Gurevich University of Michigan, Ann Arbor, USA.
