3516 search results - page 74 / 704 » Programming Languages: Application and Interpretation |
173
click to vote
TCS
2002
15 years 5 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...
150
click to vote
ICLP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
147
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
171
click to vote
VLDB
1991
ACM
15 years 9 months ago
1991
ACM
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
155
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...