3441 search results - page 280 / 689 » Parallel Logic Programming Systems |
146
click to vote
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
153
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
108
click to vote
AMI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
156
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
154
click to vote
JFP
2007
15 years 3 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...