Sciweavers

3516 search results - page 5 / 704
» Programming Languages: Application and Interpretation
Sort
View
100
Voted
PPCP
1993
15 years 1 months ago
Higher-Order Logic Programming as Constraint Logic Programming
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
Spiro Michaylov, Frank Pfenning

Book
623views
16 years 5 months ago
Practical Programming in Tcl and Tk
"Tcl is a string-based command language. The language has only a few fundamental constructs and relatively little syntax, which makes it easy to learn. The Tcl syntax is mea...
Ken Jones, Jeff Hobbs
POPL
2007
ACM
15 years 10 months ago
First-class nonstandard interpretations by opening closures
Jeffrey Mark Siskind, Barak A. Pearlmutter
AAAI
1996
14 years 11 months ago
Spatial Aggregation: Language and Applications
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
Christopher Bailey-Kellogg, Feng Zhao, Kenneth Yip