3516 search results - page 81 / 704 » Programming Languages: Application and Interpretation |
TACS
2001
Springer
15 years 2 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
PPDP
1999
Springer
15 years 2 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
ASSETS
2006
ACM
15 years 3 months ago
2006
ACM
The vast proliferation of GUI-based applications, including graphical interactive development environments (IDEs), has placed blind programmers at a severe disadvantage in a profe...
121
click to vote
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
INAP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...