Search Sciweavers | Sciweavers

2722 search results - page 30 / 545

» Automating Language Evolution

152

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

16 years 9 days ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

135

click to vote

RWEB
2005
Springer

111views Automated Reasoning» more RWEB 2005»

Introduction to Semantic Web Ontology Languages

16 years 8 days ago

Download www.inf.unibz.it

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

claim paper

Read More »

146

click to vote

LOPSTR
2004
Springer

81views Automated Reasoning» more LOPSTR 2004»

Unwinding Conditions for Security in Imperative Languages

16 years 5 days ago

Download www.dsi.unive.it

Annalisa Bossi, Carla Piazza, Sabina Rossi

claim paper

Read More »

133

click to vote

PPSWR
2004
Springer

86views Automated Reasoning» more PPSWR 2004»

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

16 years 4 days ago

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

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

claim paper

Read More »

146

click to vote

LICS
2003
IEEE

117views Automated Reasoning» more LICS 2003»

Types and Programming Languages: The Next Generation

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers