Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
15754
search results - page 99 / 3151
»
Programs are Knowledge Bases
Sort
relevance
views
votes
recent
update
View
thumb
title
90
click to vote
ESOP
2005
Springer
86
views
Programming Languages
»
more
ESOP 2005
»
Trace Partitioning in Abstract Interpretation Based Static Analyzers
15 years 9 months ago
Download
www.di.ens.fr
Laurent Mauborgne, Xavier Rival
claim paper
Read More »
115
click to vote
IFIP
2009
Springer
98
views
Programming Languages
»
more
IFIP 2009
»
A Practice-Based Analysis of an Online Strategy Game
15 years 8 months ago
Download
www.uninova.pt
Giannis Milolidakis, Chris Kimble, Demosthenes Ako...
claim paper
Read More »
96
Voted
IFIP
2001
Springer
68
views
Programming Languages
»
more
IFIP 2001
»
Transaction Based Risk Analysis - Using Cognitive Fuzzy Techniques
15 years 8 months ago
Download
osprey.unisa.ac.za
Elmé Smith, Jan H. P. Eloff
claim paper
Read More »
117
click to vote
PADO
2001
Springer
104
views
Programming Languages
»
more
PADO 2001
»
Partial Evaluation for Class-Based Object-Oriented Languages
15 years 8 months ago
Download
www.mip.sdu.dk
Ulrik Pagh Schultz
claim paper
Read More »
99
click to vote
TOOLS
2000
IEEE
130
views
Programming Languages
»
more
TOOLS 2000
»
An Integrated Approach for Documenting, Exploring, and Building Framework-Based Software
15 years 8 months ago
Download
www.swe.uni-linz.ac.at
Rainer Weinreich, Josef Pichler
claim paper
Read More »
« Prev
« First
page 99 / 3151
Last »
Next »