11345 search results - page 382 / 2269 » Foundations of Computer Science |
184
click to vote
ECEASST
2008
15 years 6 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
160
click to vote
PEPM
2007
ACM
16 years 27 days ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
181
click to vote
IGPL
2007
15 years 6 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
156
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...
193
click to vote
ENTCS
2008
15 years 6 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...