Chapter: A Polynomial-Cost Non-determinism Analysis

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers > A Polynomial-Cost Non-determinism Analysis

Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers |

Thomas Arts; Markus Mohnen

Springer Berlin Heidelberg

Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers

A Polynomial-Cost Non-determinism Analysis

Chapter Info

Authors

Ricardo Pena; Clara Segura

ARI Id

1664752715565_3074633

Access

Not Available Free

Pages

121-137

DOI

10.1007/3-540-46028-4_8

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-46028-4_8

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 13 of 13 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		I-VII
Sized Types for Typing Eden Skeletons	Ricardo Pena; Clara Segura	1-17
A Compilation Scheme for a Hierarchy of Array Types	Dietmar Kreye	18-35
Optimizations on Array Skeletons in a Shared Memory Environment	Clemens Grelck	36-54
Theorem Proving for Functional Programmers	Maarten de Mol; Marko van Eekelen; Rinus Plasmeijer	55-71
Proving Correctness of Programs with IO —A Paradigm Comparison	Andrew Butterfield; Glenn Strong	72-87
Proving the Correctness of the STG Machine	Alberto de la Encina; Ricardo Pena	88-104
Dynamic Cheap Eagerness	Karl-Filip Faxén	105-120
A Polynomial-Cost Non-determinism Analysis	Ricardo Pena; Clara Segura	121-137
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler	Norman Scaife; Greg Michaelson; Susumu Horiguchi	138-154
Runtime Behavior of Conversion Interpretation of Subtyping	Yasuhiko Minamide	155-167
A Generic Programming Extension for Clean	Artem Alimarine; Rinus Plasmeijer	168-185
Back Matter		187-187
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 13 of 13 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries