7535 search results - page 31 / 1507 » A Type System for CHR |
VL
2007
IEEE
14 years 1 months ago
2007
IEEE
In previous work we have developed a system that automatically checks for unit errors in spreadsheets. In this paper we describe our experiences using the system in a workshop on ...
HICSS
2002
IEEE
14 years 17 days ago
2002
IEEE
This research paper presents a new system's design and development of the prescription order communication system (POCS) based on the Internet between the hospital and the ph...
JSAC
2006
13 years 7 months ago
2006
In an ultra wideband (UWB) impulse radio (IR) system, a number of pulses, each transmitted in an interval called a
POPL
2003
ACM
14 years 8 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
TACS
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...