My Wish Lists Login / Join

Intensional Programming - Based on the Papers at ISLIP 95

By: E A Ashcroft (Editor), Mehmet A Orgun (Editor)

Write A Review

Hardcover | 1 December 1995

Sorry, we are not able to source the book you are looking for right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your book.

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 $79.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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Hardware Supercomputers Computer Programming & Software Development Programming & Scripting Languages Object-Oriented Programming or OOP Booktopia Publisher Services World Scientific Publishing

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

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Object-Oriented Programming or OOP

Design Patterns

Elements of Reusable Object-Oriented Software

Statistical Analysis with R For Dummies

For Dummies (Computer/Tech)

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Refactoring 2ed

Improving the Design of Existing Code

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

For Dummies

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Head First Python

3rd Edition - A Learner's Guide to the Fundamentals of Python Programming, a Brain-Friendly Guide

Programming Rust

Fast, Safe Systems Development 2nd Edition

C++ For Dummies

C# Programming in easy steps

Master C# fundamentals!

Mastering Regular Expressions

Understand Your Data and Be More Productive

Head First Object-Oriented Analysis and Design

A Brain Friendly Guide to OOA &D

C++ Primer

Head First PHP & MySQL

A Brain-Friendly Guide

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

Deep Learning with R, Third Edition

Software Design in Python

Principles and Patterns

The Well-Grounded Rubyist, Fourth Edition

The Art of Code

The surprising power of beauty in software development

C++ Software Design

Design Principles and Patterns for High-Quality Software

PowerShell Cookbook

The Complete Guide to Scripting Microsoft's Command Shell 4th Edition

Programming C# 12

Build Cloud, Web, and Desktop Applications

This product is categorised by