10055 search results - page 314 / 2011 » Structured programming using processes |
142
click to vote
ALIFE
1999
15 years 8 days ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
124
click to vote
EPIA
1997
Springer
15 years 4 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
110
Voted
ICFP
2005
ACM
16 years 17 days ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
108
click to vote
UML
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
103
Voted
ICDT
1997
ACM
15 years 4 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...