6054 search results - page 283 / 1211 » Implementation of Andorra-based Languages |
186
Voted
TACS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
154
click to vote
MODELLIERUNG
2008
15 years 8 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
165
Voted
CORR
2010
Springer
15 years 6 months 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...
141
click to vote
ENTCS
2008
15 years 6 months 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 ...