Search Sciweavers | Sciweavers

2776 search results - page 17 / 556

» System-Level Abstraction Semantics

click to vote

KBSE
2000
IEEE

58views Software Engineering» more KBSE 2000»

Semantic Abstraction Rules for Class Diagrams

14 years 1 months ago

Download www.alexander-egyed.com

Alexander Egyed

claim paper

Read More »

click to vote

ERCIMDL
1998
Springer

112views Education» more ERCIMDL 1998»

Semantic Structuring and Visual Querying of Document Abstracts in Digital Libraries

14 years 1 months ago

Download www-i5.informatik.rwth-aachen.de

Andreas Becks, Stefan Sklorz, Christopher Tresp

claim paper

Read More »

click to vote

SAS
1997
Springer

101views Formal Methods» more SAS 1997»

Abstract Interpretation Based Static Analysis Parameterized by Semantics

14 years 1 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

click to vote

LICS
1989
IEEE

104views Automated Reasoning» more LICS 1989»

A Fully Abstract Semantics for a Functional Language with Logic Variables

14 years 29 days ago

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

click to vote

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

14 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers