10575 search results - page 1587 / 2115 » T2Script Programming Language |
175
click to vote
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
161
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
188
click to vote
SIGCSE
1996
ACM
15 years 11 months ago
1996
ACM
The Binary Search Tree serves as an important example when teaching data structures. We explore new approaches to understanding the implementation of a Binary Search Tree, using c...
180
click to vote
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
197
click to vote
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...