3299 search results - page 83 / 660 » A general mathematics of names |
139
click to vote
ICTAI
1994
IEEE
15 years 10 months ago
1994
IEEE
An object-oriented neural network simulator kernel is presented. It is based on a general mathematical model for arbitrary feedforward nets. We propose a C++ implementation of thi...
143
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
130
click to vote
MLQ
1998
15 years 6 months ago
1998
In 1990, J.L. Krivine introduced the notion of storage operator to simulate, for Church integers, the “call by value” in a context of a “call by name” strategy. In this pre...
159
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
163
click to vote
PPDP
2009
Springer
16 years 25 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...