Sciweavers

10585 search results - page 366 / 2117
» The Orc Programming Language
Sort
View
PADL
2012
Springer
14 years 2 months ago
Typing the Numeric Tower
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Fla...
JLP
2007
81views more  JLP 2007»
15 years 6 months ago
The SL synchronous language, revisited
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...
Roberto M. Amadio
ATAL
2004
Springer
15 years 10 months ago
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
Mehdi Dastani, Leendert W. N. van der Torre
ESOP
2008
Springer
15 years 8 months ago
Programming in JoCaml (Tool Demonstration)
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...
Louis Mandel, Luc Maranget
FOAL
2009
ACM
16 years 1 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr