Coinductive big-step semantics for concurrency
autor
Uustalu, Tarmo
vastutusandmed
Tarmo Uustalu
allikas
Proceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013
ilmumiskoht
Sydney
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2013
leheküljed
p. 63-78
seeria-sari
Electronic proceedings in theoretical computer science ; 137
konverentsi nimetus, aeg
5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, 23 March 2013
konverentsi toimumispaik
Rome
leitav
https://doi.org/10.4204/EPTCS.137.6
märksõna
semantika
programmeerimiskeeled
muutujad
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-84954516018&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.4204%2FEPTCS.137.6%29&sessionSearchId=b54b8b263198aa2b467a2e833e85bb3b
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
computational linguistics
computer programming languages
big-step semantics
constructive logic
ISSN
2075-2180
märkused
Bibliogr.: 14 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
küberneetika instituut
keel
ingliae