5377 search results - page 425 / 1076 » Programming Languages For Interactive Computing |
205
click to vote
FECS
2008
15 years 9 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...
207
click to vote
ERSHOV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
212
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
173
click to vote
IWMM
2004
Springer
16 years 29 days ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
244
Voted
ADAEUROPE
2010
Springer
16 years 12 days ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...