6201 search results - page 260 / 1241 » Implementation of Axiomatic Language |
153
click to vote
DLS
2010
15 years 3 months ago
2010
First-class classes add expressive power to class-based object-oriented languages. Most importantly, programmers ract over common scenarios with first-class classes. When it comes...
219
click to vote
PEPM
2011
ACM
14 years 8 months ago
2011
ACM
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
158
click to vote
BXML
2004
15 years 7 months ago
2004
: The Extensible Markup Language (XML) is based on the concept of schema languages, which are used for validation of XML documents. In most cases, the metamodeling view of XML-base...
159
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
137
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...