Programs as Data Objects - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

1986

Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985Harald Ganzinger, Neil D. Jones, editors, Volume 217 of Lecture Notes in Computer Science, Springer, 1986.

1985

Strictness analysis and polymorphic invarianceSamson Abramsky. pdo 1986: 1-23

Convergent term rewriting systems can be used for program transformationFrançoise Bellegarde. pdo 1986: 24-41

The theory of strictness analysis for higher order functionsGeoffrey L. Burn, Chris Hankin, Samson Abramsky. pdo 1986: 42-62

Recognition of generative languagesHenning Christiansen. pdo 1986: 63-81

Modular first-order specifications of operational semanticsHarald Ganzinger. pdo 1986: 82-95

Logic specification of code generation techniquesRobert Giegerich. pdo 1986: 96-111

Strictness detection in non-flat domainsJohn Hughes. pdo 1986: 112-135

Strictness computation using special lambda-expressionsDieter Maurer. pdo 1986: 136-155

A relational framework for abstract interpretationAlan Mycroft, Neil D. Jones. pdo 1986: 156-171

Code generation from two-level denotational meta-languagesFlemming Nielson, Hanne Riis Nielson. pdo 1986: 192-205

Expected forms of data flow analysesFlemming Nielson. pdo 1986: 172-191

Multilevel functions in Martin-Löf s type theoryBengt Nordström. pdo 1986: 206-221

An implementation from a direct semantics definitionDavid A. Schmidt. pdo 1986: 222-235

The structure of a self-applicable partial evaluatorPeter Sestoft. pdo 1986: 236-256

Program transformation by supercompilationValentin F. Turchin. pdo 1986: 257-281

Listlessness is better than laziness II: composing listless functionsPhilip Wadler. pdo 1986: 282-305

From interpreter to compiler: a representational derivationMitchell Wand. pdo 1986: 306-324

Sign in or sign up to see more results.

runs on WebDSL