189 search results - page 30 / 38 » Facilitating Modular Property-Preserving Extensions of Progr... |
174
click to vote
DOCENG
2011
ACM
14 years 6 days ago
2011
ACM
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
80
Voted
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
89
Voted
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
102
Voted
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
214
Voted
POPL
2006
ACM
16 years 21 days ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...