No photo of Henning Christiansen
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

1981 …2030
If you made any changes in Pure these will be visible here soon.

Research Output 1981 2018

Filter
Report
2004

CHR Grammars

Christiansen, H. 2004 Roskilde: Roskilde Universitet. (Datalogiske Skrifter; No. 101).

Research output: Book/ReportReportResearch

Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level

Christiansen, H. 2004 Roskilde: Roskilde Universitet. 25 p. (Datalogiske Skrifter; No. 100).

Research output: Book/ReportReportResearch

2002

CHRG: a grammar notation based on constraint handling rules

Christiansen, H. 2002 Roskilde: Roskilde Universitet.

Research output: Book/ReportReportResearch

1998

Flexible query answering systems: Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998. proceedings

Andreasen, T. (ed.), Christiansen, H. (ed.) & Legind Larsen, H. (ed.) 1998 Kluwer Academic Publishers. 392 p. (Lecture Notes in Computer Science, Vol. 1495).

Research output: Book/ReportReportResearch

Flexible query-answering systems: proceedings of the 1998 International Conference FQAS'98, Roskilde, Denmark, May 13-15, 1998. preprints

Andreasen, T. (ed.), Christiansen, H. (ed.) & Legind Larsen, H. (ed.) 1998 Roskilde: Roskilde Universitet. 378 p. (Datalogiske Skrifter; No. 78).

Research output: Book/ReportReportResearch

1994

Efficient and complete demo predicates for definite clause languages

Christiansen, H. 1994 Roskilde. 58 p. (Datalogiske Skrifter; No. 51).

Research output: Book/ReportReportResearch

1992

A complete resolution method for logical meta-programming languages

Christiansen, H. 1992 Roskilde: Roskilde Universitet. (Datalogiske Skrifter; No. 38).

Research output: Book/ReportReportResearch

Models and resolution principles for logical meta-programming anguages

Christiansen, H. 1992 Le Chesnay. (INRIA rapports de recherche; No. 1594).

Research output: Book/ReportReportResearch

1991

The Omikron project

Christiansen, H. 1991 Roskilde: Roskilde Universitet. (Datalogiske Skrifter; No. 34).

Research output: Book/ReportReportResearch

1989

Extensible logic for extensible languages

Christiansen, H. 1989 Roskilde. (Datalogiske Skrifter; No. 21).

Research output: Book/ReportReportResearch

1988

Skala: a specification language for visual program presentation

Christiansen, H. 1988 Roskilde. (Datalogiske Skrifter; No. 12).

Research output: Book/ReportReportResearch

Structure sharing in attribute grammars

Christiansen, H. 1988 Roskilde. (Datalogiske Skrifter; No. 13).

Research output: Book/ReportReportResearch

The syntax and semantics of extensible languages

Christiansen, H. 1988 Roskilde. (Datalogiske Skrifter; No. 14).

Research output: Book/ReportReportResearch

1987

Programming environment-programming paradigms

Christiansen, H. 1987 Roskilde. (Datalogiske Skrifter; No. 7).

Research output: Book/ReportReportResearch

1986

Context-sensitive parsing in full prolog

Christiansen, H. 1986 Roskilde. (Datalogiske Skrifter; No. 5).

Research output: Book/ReportReportResearch

Parsing and compilation of generative languages

Christiansen, H. 1986 Roskilde. (Datalogiske Skrifter; No. 1986:3).

Research output: Book/ReportReportResearch

1985

Recognition of generative languages

Christiansen, H. 1985 Roskilde. (Datalogiske Skrifter; No. 2).

Research output: Book/ReportReportResearch

Syntax, semantics and implementation strategies for programming languages with powerful abstraction mechanisms

Christiansen, H. 1985 Roskilde. (Datalogiske Skrifter; No. 1).

Research output: Book/ReportReportResearch

1982

Control flow treatment in a simple semantics-directed compiler generator

Christiansen, H. & Jones, N. D. 1982 København: Københavns Universitet. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 4).

Research output: Book/ReportReportResearch

Mathematical foundation of a semantics-directed compiler generator

Christiansen, H. 1982 Århus. (D A I M I P B; No. 148).

Research output: Book/ReportReportResearch

1981

Control flow aspects of an algebraic approach to compiler generation

Christiansen, H. & Jones, N. D. 1981 Århus. (DAIMI IR; No. 27).

Research output: Book/ReportReportResearch

Control flow treatment in a simple semantics directed compiler generator

Christiansen, H. 1981 Århus. (D A I M I P B; No. 137).

Research output: Book/ReportReportResearch