10912 search results - page 1728 / 2183 » Object-Oriented Programming Languages |
207
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
193
click to vote
CSSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
197
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
208
click to vote
ACSW
2004
15 years 8 months ago
2004
Software protection via obscurity is now considered fundamental for securing software systems. This paper proposes a framework for obfuscating the program interpretation instead o...
191
click to vote
DEDUCTIVE
1997
15 years 8 months ago
1997
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...