10585 search results - page 647 / 2117 » The Orc Programming Language |
174
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
170
click to vote
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
211
click to vote
PPDP
1999
Springer
15 years 11 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
202
Voted
VL
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a scalable visualization technique for automatic animation of data-flow visual program execution. We also show a framework to assist programmers' browsing tasks by...
177
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...