3535 search results - page 590 / 707 » Logic Program Specialisation |
154
click to vote
BIRTHDAY
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
126
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
The Department of Defense (DoD) needs multilevel secure (MLS) workflow management systems to enable globally distributed users and applications to cooperate across classification l...
156
click to vote
FLOPS
1999
Springer
15 years 8 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
122
Voted
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
108
Voted
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...