10666 search results - page 205 / 2134 » Quantum programming languages |
HOPL
1993
14 years 2 months ago
1993
The C programming language was devised in the early 1970s as a system implementation language for the nascent Unix operating system. Derived from the typeless language BCPL, it ev...
IAT
2009
IEEE
14 years 5 months ago
2009
IEEE
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...
POPL
2010
ACM
14 years 8 months ago
2010
ACM
PPCP
1993
14 years 2 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstracti...