713 search results - page 55 / 143 » Syntax and Semantics of Babel-17 |
127
Voted
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...
115
Voted
DEXA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
106
Voted
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
122
Voted
GTTSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Domain Specific Languages (DSLs) are small languages designed for use in a specific domain. DSLs typically evolve quite radically throughout their lifetime, but current...
121
Voted
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
The system of Peirce’s existential graphs is a diagrammatic version of first order logic. To be more precisely: As Peirce wanted to develop a logic of relatives (i.e., relations...