10575 search results - page 340 / 2115 » T2Script Programming Language |
168
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...
105
click to vote
CTCS
1989
Springer
15 years 8 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
124
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
We present the implementation of several programming languages with support for multi-dimensional separation of concerns (MDSOC) on top of a common delegation-based substrate, whi...
133
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
134
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...