633 search results - page 51 / 127 » Casting an Object with a Core |
102
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
JRoute is a set of Java classes that provide an application programming interface (API) for routing of Xilinx FPGA devices. The interface allows various levels of control from conn...
106
click to vote
BIRTHDAY
2000
Springer
15 years 4 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
ECOOP
1987
Springer
15 years 3 months ago
1987
Springer
The Smalltalk-80 system offers a language with a small and elegant conceptual core, and a highly interactive programming environment. We believe, however, that it could be made mor...
ENTCS
2002
14 years 11 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
116
click to vote
FECS
2006
15 years 1 months ago
2006
: Selecting an appropriate programming paradigm in which to teach the first programming and problem solving course in a Computer Science undergraduate program has been discussed ex...