1402 search results - page 217 / 281 » A Practical Agent Programming Language |
118
Voted
CONIELECOMP
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
108
Voted
CCS
2005
ACM
15 years 8 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
123
Voted
IFL
2004
Springer
15 years 8 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
93
Voted
TOOLS
1994
IEEE
15 years 7 months ago
1994
IEEE
The term software engineering arose in the 1960s to emphasize that the production of software should not be an art, as it was then (and sometimes still is today), but an engineeri...
108
Voted
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...