Lecture Notes in Computer Science

Festschrift in Honor of Satoru Takasu

By: Neil Jones (Editor), Masami Hagiya (Editor), Masahiko Sato (Editor)

Write A Review

Paperback | 30 March 1994

At a Glance

Paperback
292 Pages

Dimensions(cm)
23.39 x 15.6 x 1.55

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity and coding theory. Not coincidentally, all the authors are either former students or close colleagues of Satoru Takasu, professor and director at the Research Institute of Mathematical Sciences at the University of Kyoto. The purpose of this volume is to celebrate Professor Takasu's influence on theoretical computer science in Japan and worldwide by his research, his philosophy, and his advising of students. The breadth, depth and quality of the papers are characteristic of his interests and activities.

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.

More in Compilers & Interpreters

Java in Two Semesters : Featuring JavaFX - Aaron Kans

$15.19

20%
OFF

Flex & Bison

O'Reilly Ser.

Multi-Item Pack

RRP $57.00

$45.60

20%
OFF

Clean Ruby : A Guide to Crafting Better Code for Rubyists - Carleton DiLeo

$15.75

51%
OFF

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Paperback

RRP $87.35

$41.75

52%
OFF

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime - Himanshu Bhatnagar

$276.75

Compilers: Pearson New International Edition 2ed : Principles, Techniques, and Tools - Alfred Aho

$240.75

Practical Marko : Progressive HTML Rendering and Micro Front-Ends - Damodaran Chingleput Sathyakumar

$69.75

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Paperback

RRP $29.99

$28.75

Compiler Design Using Java®

An Object-Oriented Approach

Paperback

RRP $83.55

$72.75

13%
OFF

Crafting Interpreters

Paperback

RRP $87.99

$75.75

14%
OFF

Lifschitz' Logic of Calculable Numbers and Optimizations in Program Extraction	p. 1
On Implicit Arguments	p. 10
A Functional System with Transfinitely Defined Types	p. 31
The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property	p. 61
Conservativeness of [Lambda] over [lambda][sigma]-Calculus	p. 73
ML with First-Class Environments and its Type Inference Algorithm	p. 95
A Simple Proof of the Genericity Lemma	p. 117
The Logic of FOL Systems: Formulated in Set Theory	p. 119
Well-Ordering of Algebras and Kruskal's Theorem	p. 133
On Locomorphism in Analytical Equivalence Theory	p. 173
Analysis of a Software/Hardware System by Tense Arithmetic	p. 188
The Essence of Program Transformation by Partial Evaluation and Driving	p. 206
Program Transformation via Contextual Assertions	p. 225
On Coding Theorems with Modified Length Functions	p. 255
Thirty four Comparisons are Required to Sort 13 Items	p. 260
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

Festschrift in Honor of Satoru Takasu

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

Java in Two Semesters

Featuring JavaFX

Applied Mathematics with F#

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison

O'Reilly Ser.

Clean Ruby

A Guide to Crafting Better Code for Rubyists

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Compiler Design Using Java®

An Object-Oriented Approach

Crafting Interpreters

Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, Proceedings

Pro Spring Boot 4

An Authoritative Guide with Best Practices

C++23 - The Complete Guide

Python AI Agents

This product is categorised by