5810 search results - page 94 / 1162 » An Approach to Programming Based on Concepts |
129
Voted
CADE
1999
Springer
15 years 8 months ago
1999
Springer
We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...
137
Voted
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...
115
click to vote
ICTAI
2002
IEEE
15 years 9 months ago
2002
IEEE
: Mobile agent structuring is an increasingly practiced branch of distributed computing software engineering. In this paper we discuss the major issues encountered in producing rea...
108
click to vote
NPC
2007
Springer
15 years 10 months ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
151
Voted
INFORMATICALT
2007
15 years 4 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...