Mathematical Foundation of Programming Semantics Image close
Mathematical Foundation of Programming Semantics
Mathematical Foundation of Programming Semantics
Show Hide Adult Content
Mathematical Foundation of Programming Semantics close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Mathematical Foundation of Programming Semantics

International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$153.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.25 with Afterpay Learn more

6 weekly interest-free payments of $25.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-28 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Theory and Applications of Models of Computation
$367.00
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$315.00
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Axiomatising the Logic of Computer Programming by R. Goldblatt
$92.00
Axiomatising the Logic of Computer Programming
by R. Goldblatt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Semantics by Irene Guessarian
$96.00
Algebraic Semantics
by Irene Guessarian ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Rules on the Web: From Theory to Applications
$153.00
Rules on the Web: From Theory to Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Swarm Intelligence Based Optimization
$149.00
Swarm Intelligence Based Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Unconventional Computation and Natural Computation
$151.00
Unconventional Computation and Natural Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Software Science and Computation Structures
$164.00
Foundations of Software Science and Computation Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness
$155.00
Engineering Psychology and Cognitive Ergonomics: Performance, Emotion...
Paperback / softback
Available - Usually ships in 3-4 weeks
Dynamic Logic. New Trends and Applications
$151.00
Dynamic Logic. New Trends and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Digital Libraries for Open Knowledge
$228.00
Digital Libraries for Open Knowledge
Paperback / softback
Available - Usually ships in 3-4 weeks
Application and Theory of Petri Nets and Concurrency
$151.00
Application and Theory of Petri Nets and Concurrency
Paperback / softback
Available - Usually ships in 3-4 weeks
Code-Based Cryptography
$151.00
Code-Based Cryptography
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Science – Theory and Applications
$151.00
Computer Science – Theory and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Knowledge Discovery and Data Mining
$267.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Available - Usually ships in 3-4 weeks
Functional and Constraint Logic Programming
$151.00
Functional and Constraint Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks

Description



Table of Contents

Standard, storeless semantics for ALGOL-style block structure and call-by-name.- Cartesian closed categories, quasitopoi and topological universes.- Concrete categories and injectivity.- Fixed points in process algebras with internal actions.- A fully abstract semantics and a proof system for an algol-like language with sharing.- Comparing categories of domains.- Galois connections.- Retracts of SFP objects.- Continuous categories.- Free constructions of powerdomains.- Additive domains.- A topological framework for cpos lacking bottom elements.- Detecting local finite breadth in continuous lattices and semilattices.- On the variety concept for ?-continuous algebras. Application of a general approach.- On denotational semantics of data bases.- Postconditional semantics of data base queries.- What is a model? A consumer's perspective on semantic theory.- Modal theory, partial orders, and digital geometry.- An FP domain with infinite objects.- Union complete countable subset systems.- On the syntax and semantics of concurrent computing.
Release date NZ
October 1st, 1986
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributor
  • Edited by Austin Melton
Illustrations
VIII, 400 p.
Pages
400
Dimensions
156x234x21
ISBN-13
9783540168164
Product ID
2841994

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation