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
publisher
Elsevier
journal volume number month
vol. 85, 6
year of publication
2016
pages
p. 1177-1200 : ill
url
https://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
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
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
quartile
Q1
TalTech department
TTÜ Küberneetika Instituut
language
inglise