6740 search results - page 370 / 1348 » Using Classification as a Programming Language |
129
click to vote
ENTCS
2007
15 years 3 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
116
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
126
Voted
POPL
2010
ACM
16 years 25 days ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
163
click to vote
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
A good foreign-language interface is crucial for the success of any modern programming language implementation. Although all serious compilers for functional languages have some f...
141
Voted
DBPL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...