3378 search results - page 18 / 676 » A universe of binding and computation |
MCU
2004
14 years 8 days ago
2004
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
SCP
2002
13 years 10 months ago
2002
We present an algorithm for inverse computation in a
TLCA
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
IIE
2008
13 years 11 months ago
2008
Teaching object-oriented programming (OOP) is related to many difficulties. There is no single view on their causes among the university teachers. The results of applying various m...
FCT
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Generalising modules over associative rings, the notion of modules for an endofunctor of any category is well established and useful in large parts of mathematics includi...