Login / Signup
Observational program calculi and the correctness of translations.
Manfred Schmidt-Schauß
David Sabel
Joachim Niehren
Jan Schwinghammer
Published in:
Theor. Comput. Sci. (2015)
Keyphrases
</>
image sequences
static analysis
real time
decision making
program execution
real world
social networks
information systems
search algorithm
experimental data
machine translation
computer programs
qualitative spatial
concurrent programs