2859 search results - page 139 / 572 » A Programming Environment for Bousi-Prolog |
147
Voted
FCCM
2000
IEEE
15 years 9 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
140
click to vote
MAS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
156
click to vote
PLDI
1997
ACM
15 years 9 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
174
click to vote
POPL
2012
ACM
14 years 14 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
180
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...