scientific article; zbMATH DE number 1953284

zbMath1026.68508MaRDI QIDQ4414737

Charles Consel, Torben Amtoft, Olivier Danvy, Karoline Malmkjær

Publication date: 27 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2566/25660332.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

On obtaining the Boyer-Moore string-matching algorithm by partial evaluation ⋮ Program transformation system based on generalized partial computation ⋮ An investigation of Jones optimality and BTI-universal specializers

Uses Software

• WSDFU

This page was built for publication: