scientific article; zbMATH DE number 1538023

zbMath0960.68031MaRDI QIDQ4518878

Olivier Danvy

Publication date: 3 December 2000

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

zbMATH Keywords

continuation-passing style programs

Mathematics Subject Classification ID

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

Related Items

A first-order one-pass CPS transformation ⋮ A syntactic correspondence between context-sensitive calculi and abstract machines