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
2018

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

Christiansen, H. & Kirkeby, M. H., 3 Oct 2018, Computer Science, Roskilde University. 20 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 153).

Research output: Book/ReportReportResearch

Open Access
File
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