10871 search results - page 329 / 2175 » A stable programming language |
166
click to vote
PADL
1999
Springer
15 years 11 months ago
1999
Springer
Galleys have been introduced by Jeff Kingston as one of the key concepts underlying his advanced document formatting system Lout. Although Lout is built on a lazy functional progra...
183
click to vote
DALT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
140
click to vote
SIGADA
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
192
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
335
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...