2416 search results - page 338 / 484 » The Language of Cortical Dynamics |
162
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
158
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Programming object interactions is at the heart of object-oriented programming. To improve reusability of the interactions, it is important to program object interactions generica...
196
click to vote
FSTTCS
1999
Springer
15 years 10 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
180
click to vote
ICCL
1998
IEEE
15 years 10 months ago
1998
IEEE
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
168
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...