2135 search results - page 234 / 427 » An Operational Semantics for JavaScript |
121
click to vote
ER
2000
Springer
15 years 7 months ago
2000
Springer
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...
124
click to vote
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
141
click to vote
MPC
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
132
click to vote
SPLST
2003
15 years 4 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...
139
click to vote
IWFM
2000
15 years 4 months ago
2000
Several recent publications have exhibited relationships between the theories of logic programming and of neural networks. We consider a general approach to representing normal lo...