2496 search results - page 127 / 500 » Error-detecting properties of languages |
125
click to vote
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
112
Voted
LISA
2004
15 years 2 months ago
2004
One ideal of configuration management is to specify only desired behavior in a high-level language, while an automatic configuration management system assures that behavior on an ...
CORR
2010
Springer
15 years 26 days ago
2010
Springer
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
ENTCS
2008
15 years 25 days ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
145
click to vote
ENTCS
2006
15 years 23 days ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...