Concepedia

Christian Mossin

CM

4

Publications

223

Citations

4

H-Index

1993

Active since

Affiliations

University of Copenhagen(Current)

Christian Mossin is an author at University of Copenhagen specializing in automated reasoning, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSyntaxGrammarParsing

Publications per year

1993–2003

4

Publications

4

Once upon a type

David N. Turner, Philip Wadler, Christian Mossin · 1995 · 147 citations

Humanities, Automated Reasoning, Dependently Typed Programming +2

Peter Harry Eidorff, Fritz Henglein, Christian Mossin et al. · 1999 · 50 citations · Full text

Engineering, Generic Programming, Program Analysis +15

Exact flow analysis

Christian Mossin · Mathematical Structures in Computer Science · 2003 · 14 citations

Partial evaluation of general parsers

Christian Mossin · 1993 · 12 citations

Syntactic Parsing, Higher Order Subset, Engineering +26

Rows per page

1–4 of 4