nope · @stacked_automation
133 followers · 7196 posts · Server mastodon.socialA structural approach to operational semantics
(1981) : Plotkin, Gordon GD
url: https://www.alice.virginia.edu/~weimer/2006-655/reading/plotkin81structural.pdf
#dissertation #semantics #operational_semantics #transition_system #my_bibtex
#dissertation #semantics #operational_semantics #transition_system #my_bibtex
nope · @stacked_automation
124 followers · 6890 posts · Server mastodon.socialLcf Considered As a Programming Language
(1977) : Plotkin, G. D.
DOI: https://doi.org/10.1016/0304-3975(77)90044-5
#LCF #equivalence #PCF #termination #operational_semantics #denotational_semantics #my_bibtex
#lcf #equivalence #pcf #termination #operational_semantics #denotational_semantics #my_bibtex
nope · @stacked_automation
124 followers · 6890 posts · Server mastodon.social
Programming Norm Change
(2010) : Tinnemeier, Nick Meyer, John-j...
url: http://dl.acm.org/citation.cfm?id=1838335
#__printed #operational_semantics #dynamic_norms #programming #my_bibtex
#__printed #operational_semantics #dynamic_norms #programming #my_bibtex