3713 search results - page 196 / 743 » Constructing a Calculus of Programs |
144
click to vote
PROMAS
2007
Springer
16 years 19 days ago
2007
Springer
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...
176
click to vote
FPCA
1995
15 years 10 months ago
1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
154
click to vote
PADL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
160
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
144
click to vote
FSTTCS
2007
Springer
16 years 20 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...