Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Robert Glück
,
Robin Kaarsgaard
Department of Computer Science
6
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A categorical foundation for structured reversible flowchart languages: Soundness and adequacy'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Flowchart Languages
100%
Reversible Programming Languages
100%
Control Flow
66%
Inverse Category
66%
Operational Semantics
33%
Recursion
33%
Diagrammatic Representation
33%
Language-based
33%
Flow Structure
33%
Extensivity
33%
Janus
33%
Categorical Semantics
33%
Computer Science
Programming Language
100%
Soundness
100%
Control Flow
66%
Operational Semantics
33%
Categorical Semantics
33%
Material Science
Control Flow
100%