World Scientific
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.
No Access

Intensional Programming I

Based on the Papers at ISLIP '95
    https://doi.org/10.1142/9789814532273Cited by:1 (Source: Crossref)
    Abstract:

    The Table of Contents for the book is as follows:

    • Preface

    • Tutorial

      • Introduction to Intensional Programming

    • Invited Contributions

      • A Functional Extension to Lustre

      • Multidimensional Program Verification: Reasoning about Programs that Deal with Multidimensional Objects

      • Relative Debugging using Multiple Program Versions

      • Possible WOOrlds

    • GLUing

      • Intensional and Extensional Graphical Models for GLU Programming

      • Rank Analysis in the GLU Compiler

    • Programming Paradigms

      • Programming Distributed Systems Based on Graphs

      • Building Logic Constructs into Procedural Programming Languages

    • DataHow Architecture

      • ALFA Fine Grain Dataflow Machine

    • Applications

      • GLU for Multidimensional Signal Processing

      • Particle In-Cell Simulation with Lucid

    • Specification & Verification

      • Real-Time Object-Oriented Specification and Verification

      • Verifying MULTRAN Programs with Temporal Logic

    • Intensional Concepts

      • The Possible-World Wide Web

      • The Intensional Relation

      • Extending the Intensionalization Algorithm to a Broader Class of Higher-Order Programs

    • Concurrency

      • An Asynchronous Calculus Based on Absence of Actions

      • Choice as a First Class Citizen

    • Logic Programming

      • A Meta-Level Approach to Modal Logic Programming

      • Fuzzy Temporal Prolog

      • Knowledge-Based Simulation with Chronolog

    • Author Index

    back