1914 search results - page 170 / 383 » Abstract lambda-Calculus Machines |
AC
2000
Springer
14 years 17 days ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
ECAI
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. A conceptual framework, whose goal is the improvement of efficiency of machine learning, is presented. The framework is designed in a broader context of problem solver (P...
DATE
1998
IEEE
14 years 15 days ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
DAC
1996
ACM
14 years 11 days ago
1996
ACM
A language for defining design discipline characteristics is proesign discipline characteristics such as abstraction levels, design object classifications and decompositions, desi...
ESOP
1994
Springer
14 years 9 days ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...