Abstract categorical semantics for resourceful functional reactive programming
autor
Jeltsch, Wolfgang
vastutusandmed
Wolfgang Jeltsch
allikas
Journal of logical and algebraic methods in programming
ajakirja aastakäik number kuu
vol. 85, 6
ilmumisaasta
2016
leheküljed
p. 1177-1200 : ill
leitav
https://doi.org/10.1016/j.jlamp.2016.07.001
märksõna
funktsionaalprogrammeerimine
temporaalne loogika
matemaatiline loogika
semantika
võtmesõna
functional reactive programming
temporal logic
linear logic
logic of bunched implications
categorical semantics
ISSN
2352-2208
märkused
Bibliogr.: 11 ref
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise