Thumbnail
Access Restriction
Open

Author Bradfield, Julian ♦ Stevens, Perdita
Source CiteSeerX
Content type Text
Publisher Springer
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Recursive Invocation ♦ Previous Semantics ♦ Qvt Standard ♦ Previous Work ♦ Precise Semantics ♦ Checkonly Semantics ♦ Standard At-tempts Formality ♦ Crucial Point ♦ Enforce Semantics ♦ Qvt-r Trans-formations ♦ Precise Game-theoretic Semantics
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2013-01-01
Publisher Institution In Proceedings of FASE’13