Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Example searches: 'automated testing', 'berners-lee 1992', 'Turing entscheidungsproblem', 'domain specific language oopsla'.
… of a subset of Java (we call this subset JavaS). In Chapter 3, a formal semantics …:
Sign in or sign up to see more results.