fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Partial evaluation and mixed computation

Partial evaluation and mixed computation

by IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987 Agernæs, Denmark), Dines Bjorner, Andrei Petrovich Ershov

Automatic programming (Computer science)Compiling (Electronic computers)Computer programmingCongresses
0.0
Open Library
Open Library

Themes & subjects

Automatic programming (Computer science)Compiling (Electronic computers)Computer programmingCongresses

Authors

IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987 Agernæs, Denmark), Dines Bjorner, Andrei Petrovich Ershov

Pages

625

Read time

≈ 16h

Editions

2

Language

English

Publisher

North-Holland

ISBN

9780444704917

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Robot Learning by Visual Observation

Robot vision · Machine learning

Robot Learning by Visual Observation

Aleksandar Vakanski

2017

Automatic Quantum Computer Programming

Automatic programming (Computer science) · Quantum computers

Automatic Quantum Computer Programming

Lee Spector

2004

Self-adaptive heuristics for evolutionary computation

Automatic programming (Computer science) · Evolutionary computation

Self-adaptive heuristics for evolutionary computation

Oliver Kramer

2008

Automatic parallelization for a class of regular computations

Automatic programming (Computer science) · Parallel programming (Computer science)

Automatic parallelization for a class of regular computations

G. M. Megson

1997

Handbook of learning and approximate dynamic programming

Automatic programming (Computer science) · Control theory

Handbook of learning and approximate dynamic programming

Andrew G. Barto

2004

Software Automatic Tuning

Systems engineering · Engineering

Software Automatic Tuning

Ken Naono

2010

Powershell And Wmi

Windows PowerShell (Computer program language) · Groupware (Computer software)

Powershell And Wmi

Richard Siddaway

2012

Attribute grammar inversion and source-to-source translation

Translators (Computer programs) · Programming languages (electronic computers)

Attribute grammar inversion and source-to-source translation

Daniel M. Yellin

1987

Compilers, principles, techniques, and tools

Compilers (Computer programs) · open_syllabus_project

Compilers, principles, techniques, and tools

Alfred V. Aho

1986

The anatomy of a compiler

Compilers (Computer programs) · Compiling (electronic computers)

The anatomy of a compiler

John A. N. Lee

1967

Scheduling and automatic parallelization

Compiling (Electronic computers) · Parallel processing (Electronic computers)

Scheduling and automatic parallelization

Alain Darte

2000

Formal Languages And Compilation

Formal languages · Compiling (electronic computers)

Formal Languages And Compilation

Luca Breveglieri

2013

Compiler design in C

Compilers (Computer programs) · C (Computer program language)

Compiler design in C

Allen I. Holub

1990

The Theory of Parsing, Translation, and Compiling

Compiling (Electronic computers) · Parsing (Computer grammar)

The Theory of Parsing, Translation, and Compiling

Alfred V. Aho

1972

Principles of compiler design

Compilers (Computer programs) · Traducteurs (Programmes d'ordinateur)

Principles of compiler design

Alfred V. Aho

1977

Compiler construction

Compilers (Computer programs) · Compiling (Electronic computers)

Compiler construction

William A. Barrett

1978

Optimal interprocedural program optimization

Computer algorithms · Computer programming

Optimal interprocedural program optimization

Jens Knoop

1998

Compiling ESTEREL

Esterel (Computer program language) · Compiling (Electronic computers)

Compiling ESTEREL

Dumitru Potop-Butucaru

2007