10912 search results - page 457 / 2183 » Object-Oriented Programming Languages |
181
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
178
click to vote
ENTCS
2007
15 years 6 months ago
2007
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
172
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
177
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...
185
click to vote
MPC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...