Abstract categorical semantics for resourceful functional reactive programming
autor
Jeltsch, Wolfgang
vastutusandmed
Wolfgang Jeltsch
allikas
Journal of logical and algebraic methods in programming
kirjastus/väljaandja
Elsevier
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
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/21100403130
https://www.scopus.com/record/display.uri?eid=2-s2.0-84979619802&origin=inward&txGid=ac9399787ae9356d280d813630adb3f9
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016
https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000005
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Logic
Matemaatika. Loogika
Computer science. Computational theory and mathematics
Arvutiteadus. Arvutusteooria ja matemaatika
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. Software
Arvutiteadus. Tarkvara
kvartiil
Q1
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise