1675 search results - page 140 / 335 » Some thoughts on teaching programming and programming langua... |
147
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...
134
click to vote
DSL
2009
15 years 2 months ago
2009
Abstract. Both XML and Lisp have demonstrated the utility of generic syntax for expressing tree-structured data. But generic languages do not provide the syntactic richness of cust...
156
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
121
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
219
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...