Concepedia

Christine Röckl

CR

1

Publications

23

Citations

1

H-Index

2003

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Christine Röckl is an author at École Polytechnique Fédérale de Lausanne specializing in formal verification, language studies, and automated reasoning.

Top concepts

SyntaxGrammarLanguageSemanticsEngineeringLinguisticsFormal MethodsComputer ScienceProgram AnalysisSoftware Analysis

Publications per year

2003–2003

1

Publications

1

A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis

Christine Röckl, Daniel Hirschkoff · Journal of Functional Programming · 2003 · 23 citations · Full text

Engineering, Shallow Embeddings, Well-founded Semantics +23

Rows per page

1–1 of 1