926 search results - page 105 / 186 » Prolog as the First Programming Language |
154
click to vote
TOOLS
1998
IEEE
15 years 10 months ago
1998
IEEE
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...
156
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...
156
click to vote
IFIP
1997
Springer
15 years 10 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...
163
click to vote
APLAS
2001
ACM
15 years 9 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
167
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
We consider the problem of scheduling n independent jobs on m identical machines that operate in parallel. Each job has a controllable processing time. The fact that the jobs have...