1239 search results - page 31 / 248 » Control Generation for Logic Programs |
105
Voted
CF
2007
ACM
15 years 5 months ago
2007
ACM
We present a computer-aided design flow for quantum circuits, complete with automatic layout and control logic extraction. To motivate automated layout for quantum circuits, we in...
117
Voted
FMCO
2007
Springer
15 years 5 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
108
click to vote
PPDP
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
100
Voted
PLDI
1990
ACM
15 years 6 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
113
click to vote
HYBRID
2004
Springer
15 years 7 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...