Back to Results
First PageMeta Content



Trace-Based Coinductive Operational Semantics for While Big-step and Small-step, Relational and Functional Styles Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee
Add to Reading List

Document Date: 2009-07-07 10:19:21

Open Document

File Size: 202,62 KB

Share Result on Facebook

City

Tallinn / /

Country

Estonia / /

/

Facility

Tarmo Uustalu Institute of Cybernetics / Tallinn University of Technology / /

IndustryTerm

language accounting / data base systems / classical law / /

Organization

Functional Styles Keiko Nakata and Tarmo Uustalu Institute of Cybernetics / Tallinn University of Technology / /

Person

John Major / /

Position

boolean guard / interpreter / guard / Coq proof assistant / /

Technology

operating systems / /

URL

http /

SocialTag