809 search results - page 97 / 162 » Formal Semantics for the Java Modeling Language |
158
Voted
JMLR
2012
13 years 5 months ago
2012
Open-text semantic parsers are designed to interpret any statement in natural language by inferring a corresponding meaning representation (MR – a formal representation of its s...
99
Voted
POPL
2010
ACM
16 years 1 days ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
129
Voted
FMOODS
2000
15 years 4 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
111
Voted
ESWS
2005
Springer
15 years 8 months ago
2005
Springer
RDF uses the RFC3066 standard for language tags for literals in natural languages. The revision RFC3066bis includes productive use of language, country and script codes. These form...
121
Voted
JUCS
2008
15 years 2 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...