Sciweavers

10575 search results - page 338 / 2115
» T2Script Programming Language
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
15 years 4 months ago
From Functional Programs to Interaction Nets via the Rewriting Calculus
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...
Horatiu Cirstea, Germain Faure, Maribel Fern&aacut...
ATAL
2009
Springer
15 years 11 months ago
Roles and norms for programming agent organizations
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 ...
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules C...
ICFP
2010
ACM
15 years 5 months ago
Using functional programming within an industrial product group: perspectives and perceptions
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...
David Scott, Richard Sharp, Thomas Gazagnaire, Ani...
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
15 years 10 months ago
Prototyping Generic Programming in Template Haskell
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...
Ulf Norell, Patrik Jansson
CLIMA
2009
15 years 2 months ago
Operational Semantics for BDI Modules in Multi-agent Programming
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
Mehdi Dastani, Bas R. Steunebrink