2944 search results - page 175 / 589 » On Well Quasi-orders on Languages |
183
click to vote
FECS
2008
15 years 8 months ago
2008
- The choice of programming language, the approach by which students are taught and the software tools made available to students have been controversial issues in many ways. While...
182
click to vote
FMOODS
2008
15 years 8 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
179
click to vote
ACSW
2006
15 years 7 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
186
click to vote
ECIR
2006
Springer
15 years 7 months ago
2006
Springer
Answering multiple-choice questions, where a set of possible answers is provided together with the question, constitutes a simplified but nevertheless challenging area in question ...
212
click to vote
CAINE
2003
15 years 7 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...