Sciweavers

6740 search results - page 369 / 1348
» Using Classification as a Programming Language
Sort
View
134
Voted
IPPS
2000
IEEE
15 years 7 months ago
Online Computation of Critical Paths for Multithreaded Languages
We have developed an instrumentation scheme that enables programs written in multithreaded languages to compute a critical path at run time.Our scheme gives not only the length (ex...
Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa
112
Voted
DOCENG
2007
ACM
15 years 7 months ago
Declarative extensions of XML languages
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
Simon J. Thompson, Peter R. King, Patrick Schmitz
119
Voted
CSLP
2004
Springer
15 years 7 months ago
Multi-dimensional Graph Configuration for Natural Language Processing
Many tasks in computational linguistics can be regarded as configuration problems. In this paper, we introduce the notion of lexicalised multi-dimensional configuration problems (l...
Ralph Debusmann, Denys Duchier, Marco Kuhlmann
123
Voted
LICS
1989
IEEE
15 years 7 months ago
Computational Lambda-Calculus and Monads
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
Eugenio Moggi
132
Voted
GI
2004
Springer
15 years 8 months ago
Type Safe Programming of XML-based Applications
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
Martin Kempa, Volker Linnemann