Research Output 1981 2017

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