Search Sciweavers | Sciweavers

10871 search results - page 147 / 2175

» A stable programming language

click to vote

AI
2011
Springer

250views Artificial Intelligence» more AI 2011»

Local closed world reasoning with description logics under the well-founded semantics

13 years 5 months ago

Download knoesis.wright.edu

An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...

Matthias Knorr, José Júlio Alferes, ...

claim paper

Read More »

click to vote

ICFP
2007
ACM

95views Programming Languages» more ICFP 2007»

Extensible pattern matching via a lightweight language extension

14 years 10 months ago

Download blogs.msdn.com

Don Syme, Gregory Neverov, James Margetson

claim paper

Read More »

click to vote

ICFP
2003
ACM

120views Programming Languages» more ICFP 2003»

CDuce: an XML-centric general-purpose language

14 years 10 months ago

Download www.pps.jussieu.fr

Alain Frisch, Giuseppe Castagna, Véronique ...

claim paper

Read More »

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

14 years 10 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

click to vote

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers