Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
A categorical foundation for structured reversible flowchart languages
Robert Glück
,
Robin Kaarsgaard
Datalogisk Institut
Datalogisk Institut
8
Citationer (Scopus)
73
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'A categorical foundation for structured reversible flowchart languages'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Categorical
100%
Language
77%
Programming Languages
42%
Flow Control
37%
Semantics
22%
Inverter
20%
Assertion
13%
Predicate
13%
Join
12%
Recursion
12%
Programming
12%
Class
11%
Restriction
8%
Framework
7%
Generalise
7%
Theorem
5%
Teknik og materialevidenskab
Computer programming languages
96%
Semantics
48%
Flow structure
38%
Flow control
34%