Intensional Programming - Based on the Papers at ISLIP 95

Name: Intensional Programming - Based on the Papers at ISLIP 95
Brand: WORLD SCIENTIFIC PUB CO INC
Price: 281.99 AUD
Availability: BackOrder

By: M.A. Orgun (Editor), Edward A. Ashcroft (Editor)

Write A Review

Hardcover | 1 December 1995

At a Glance

Hardcover
308 Pages

Dimensions(cm)
22.86 x 16.51 x 1.91

Hardcover

$281.99

or 4 interest-free payments of $70.50 with

or

Available for Backorder. We will order this from our supplier however there isn't a current ETA.

There is a growing interest in programming languages and systems, and computational models based on intensional logics - such as temporal logic, interval logic and modal logic - and possible world semantics. In fact, a whole new programming model called intensional programming has emerged with applications in a wide range of areas including parallel programming dataflow computation, temporal reasoning, scientific computation, software version control, real-time programming, temporal query languages, executable temporal logics, spreadsheets, attribute grammars, and hardware synthesis. Intensional programming is especially suited to application domains where the notion of dynamic change is central. This collection features papers dealing with theoretical foundations, design, implementation and prototype development issues, comparative studies, and applications, as well as those describing new challenges arising out of applications of intensional programming. It contains revised and extended versions of the papers presented at the Eighth International Symposium on Languages for Intensional Programming held on May 3-5, 1995, at Macquarie University in Sydney, Australia.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Object-Oriented Programming or OOP

Statistical Analysis with R For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$38.75

22%
OFF

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

Design Patterns

Elements of Reusable Object-Oriented Software

Hardcover

RRP $97.60

$69.75

29%
OFF

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Paperback

RRP $82.95

$59.75

28%
OFF

Programming Rust

Fast, Safe Systems Development 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

C# Programming in easy steps

Master C# fundamentals!

Paperback

RRP $54.99

$40.75

26%
OFF

Head First Object-Oriented Analysis and Design

A Brain Friendly Guide to OOA &D

Paperback

RRP $133.00

$64.75

51%
OFF

C++ Primer

Paperback

RRP $97.60

$76.75

21%
OFF

Learning C# 3.0

Master the Fundamentals of C# 3.0

Paperback

RRP $76.00

$39.75

48%
OFF

C++ For Dummies

Paperback

RRP $60.95

$50.75

17%
OFF

Objects First with Java 6ed

A Practical Introduction Using BlueJ, Global Edition

Paperback

RRP $152.96

$122.75

20%
OFF

Modern Concurrency in Java

A Deep Dive Into Virtual Threads, Structured Concurrency, and Scoped Values

Paperback

RRP $123.75

$60.75

51%
OFF

Fight Fraud with Machine Learning - Ashish Jha

$55.75

51%
OFF

C++ Software Design

Design Principles and Patterns for High-Quality Software

Paperback

RRP $152.00

$73.75

51%
OFF

AI Agents and Applications : With Langchain, Langgraph, and MCP - Roberto Infante

$73.75

51%
OFF

Programming IOS 14

Dive Deep Into Views, View Controllers, and Frameworks

Paperback

RRP $125.75

$60.99

51%
OFF

Learning Python : Powerful Object-Oriented Programming - Mark Lutz

$47.75

50%
OFF

Computer Science Why

Answers to Computer Science Questions They Donât Cover in Class

Paperback

RRP $110.00

$96.75

12%
OFF

Computer Science Why

Answers to Computer Science Questions They Donât Cover in Class

Hardcover

RRP $326.00

$280.99

14%
OFF

Preface
Introduction to Intensional Programming	p. 1
A Functional Extension to Lustre	p. 15
Multidimensional Program Verification: Reasoning about Programs that Deal with Multidimensional Objects	p. 30
Relative Debugging using Multiple Program Versions	p. 42
Possible WOOrlds	p. 56
Intensional and Extensional Graphical Models for GLU Programming	p. 63
Rank Analysis in the GLU Compiler	p. 76
Programming Distributed Systems Based on Graphs	p. 83
Building Logic Constructs into Procedural Programming Languages	p. 96
ALFA Fine Grain Dataflow Machine	p. 110
GLU for Multidimensional Signal Processing	p. 135
Particle In-Cell Simulation with Lucid	p. 149
Real-Time Object-Oriented Specification and Verification	p. 162
Verifying MULTRAN Programs with Temporal Logic	p. 186
The Possible-World Wide Web	p. 207
The Intensional Relation	p. 214
Extending the Intensionalization Algorithm to a Broader Class of Higher-Order Programs	p. 228
An Asynchronous Calculus Based on Absence of Actions	p. 234
Choice as a First Class Citizen	p. 249
A Meta-Level Approach to Modal Logic Programming	p. 260
Fuzzy Temporal Prolog	p. 273
Knowledge-Based Simulation with Chronolog	p. 281
Author Index	p. 296
Table of Contents provided by Blackwell. All Rights Reserved.

Intensional Programming - Based on the Papers at ISLIP 95

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Object-Oriented Programming or OOP

Statistical Analysis with R For Dummies

For Dummies (Computer/Tech)

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Design Patterns

Elements of Reusable Object-Oriented Software

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Programming Rust

Fast, Safe Systems Development 2nd Edition

C# Programming in easy steps

Master C# fundamentals!

Head First Object-Oriented Analysis and Design

A Brain Friendly Guide to OOA &D

C++ Primer

Learning C# 3.0

Master the Fundamentals of C# 3.0

C++ For Dummies

Objects First with Java 6ed

A Practical Introduction Using BlueJ, Global Edition

Modern Concurrency in Java

A Deep Dive Into Virtual Threads, Structured Concurrency, and Scoped Values

Fight Fraud with Machine Learning

Deep Learning with R, Third Edition

Effective Rust

35 Specific Ways to Improve Your Rust Code

C++ Software Design

Design Principles and Patterns for High-Quality Software

AI Agents and Applications

With Langchain, Langgraph, and MCP

The Rust Programming Language, 3rd Edition

Scala Cookbook

Recipes for Object-Oriented and Functional Programming 2nd Edition

Programming IOS 14

Dive Deep Into Views, View Controllers, and Frameworks

Learning Python

Powerful Object-Oriented Programming

21st Century C

Computer Science Why

Answers to Computer Science Questions They Donât Cover in Class

Computer Science Why

Answers to Computer Science Questions They Donât Cover in Class

This product is categorised by