4231 search results - page 350 / 847 » Using Language More Responsibly |
178
Voted
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
273
click to vote
PLPV
2011
ACM
14 years 9 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
185
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast rang...
211
click to vote
ACMMSP
2006
ACM
16 years 20 days ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
168
click to vote
ASSETS
2006
ACM
16 years 20 days ago
2006
ACM
VoiceXML (VXML) is a W3C’s standard for specifying interactive dialogs. It finds multiple uses in various Web applications. VXML can also be used in non-visual Web browsing. Th...