10575 search results - page 179 / 2115 » T2Script Programming Language |
124
Voted
IAT
2009
IEEE
15 years 10 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...
111
Voted
POPL
2010
ACM
16 years 20 days ago
2010
ACM
155
click to vote
PPCP
1993
15 years 7 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 ...
114
click to vote
OOPSLA
2009
Springer
15 years 7 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...
229
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...