Abstract categorical semantics for resourceful functional reactive programming
author
Jeltsch, Wolfgang
statement of authorship
Wolfgang Jeltsch
source
Journal of logical and algebraic methods in programming
journal volume number month
vol. 85, 6
year of publication
2016
pages
p. 1177-1200 : ill
url
http://dx.doi.org/10.1016/j.jlamp.2016.07.001
subject term
funktsionaalprogrammeerimine
temporaalne loogika
matemaatiline loogika
semantika
keyword
functional reactive programming
temporal logic
linear logic
logic of bunched implications
categorical semantics
ISSN
2352-2208
notes
Bibliogr.: 11 ref
TTÜ department
TTÜ Küberneetika Instituut
language
inglise