default search action

combined dblp search
author search
venue search
publication search

ask others

Programs as Data Objects 1985: Copenhagen, Denmark

> Home > Conferences and Workshops > Programs as Data Objects

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/pdo/1985
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/1985
Harald Ganzinger, Neil D. Jones:
Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985. Lecture Notes in Computer Science 217, Springer 1986, ISBN 3-540-16446-4
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Abramsky85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Abramsky85
Samson Abramsky:
Strictness analysis and polymorphic invariance. 1-23
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Bellegarde85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Bellegarde85
Françoise Bellegarde:
Convergent term rewriting systems can be used for program transformation. 24-41
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/BurnHA85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/BurnHA85
Geoffrey Livingston Burn, Chris Hankin, Samson Abramsky:
The theory of strictness analysis for higher order functions. 42-62
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Christiansen85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Christiansen85
Henning Christiansen:
Recognition of generative languages. 63-81
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Ganzinger85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Ganzinger85
Harald Ganzinger:
Modular first-order specifications of operational semantics. 82-95
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Giegerich85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Giegerich85
Robert Giegerich:
Logic specification of code generation techniques. 96-111
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Hughes85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Hughes85
John Hughes:
Strictness detection in non-flat domains. 112-135
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Maurer85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Maurer85
Dieter Maurer:
Strictness computation using special lambda-expressions. 136-155
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/MycroftJ85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/MycroftJ85
Alan Mycroft, Neil D. Jones:
A relational framework for abstract interpretation. 156-171
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Nielson85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Nielson85
Flemming Nielson:
Expected forms of data flow analyses. 172-191
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/NielsonN85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/NielsonN85
Flemming Nielson, Hanne Riis Nielson:
Code generation from two-level denotational meta-languages. 192-205
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Nordstrom85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Nordstrom85
Bengt Nordström:
Multilevel functions in Martin-Löf's type theory. 206-221
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Schmidt85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Schmidt85
David A. Schmidt:
An implementation from a direct semantics definition. 222-235
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Sestoft85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Sestoft85
Peter Sestoft:
The structure of a self-applicable partial evaluator. 236-256
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Turchin85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Turchin85
Valentin F. Turchin:
Program transformation by supercompilation. 257-281
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Wadler85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Wadler85
Philip Wadler:
Listlessness is better than laziness II: composing listless functions. 282-305
- view
  authority control:
- export record
  dblp key:
  - conf/pdo/Wand85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdo/Wand85
Mitchell Wand:
From interpreter to compiler: a representational derivation. 306-324

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.