Search Sciweavers | Sciweavers

2722 search results - page 30 / 545

» Automating Language Evolution

131

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

15 years 11 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

120

click to vote

RWEB
2005
Springer

111views Automated Reasoning» more RWEB 2005»

Introduction to Semantic Web Ontology Languages

15 years 11 months ago

Download www.inf.unibz.it

Grigoris Antoniou, Enrico Franconi, Frank van Harm...

claim paper

Read More »

132

click to vote

LOPSTR
2004
Springer

81views Automated Reasoning» more LOPSTR 2004»

Unwinding Conditions for Security in Imperative Languages

15 years 11 months ago

Download www.dsi.unive.it

Annalisa Bossi, Carla Piazza, Sabina Rossi

claim paper

Read More »

123

click to vote

PPSWR
2004
Springer

86views Automated Reasoning» more PPSWR 2004»

Towards Generic Query, Update, and Event Languages for the Semantic Web

15 years 11 months ago

Download www.dbis.informatik.uni-goettingen.de

Wolfgang May, José Júlio Alferes, Fr...

claim paper

Read More »

124

click to vote

LICS
2003
IEEE

117views Automated Reasoning» more LICS 2003»

Types and Programming Languages: The Next Generation

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers