6740 search results - page 632 / 1348 » Using Classification as a Programming Language |
188
Voted
PSSS
2003
15 years 7 months ago
2003
The semantic web is a promising application-area for the Prolog programming language for its non-determinism and patternmatching. In this paper we outline an infrastructure for loa...
190
click to vote
LOBJET
2000
15 years 6 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
214
click to vote
ENTCS
2002
15 years 6 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
155
click to vote
VL
2008
IEEE
16 years 25 days ago
2008
IEEE
Mashups – web applications that integrate multiple data sources or APIs into one interface – have attracted considerable attention in recent years. The availability of web-bas...
183
click to vote
GPCE
2007
Springer
16 years 18 days ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...