Search Sciweavers | Sciweavers

2700 search results - page 12 / 540

» The role of abstraction in software engineering

click to vote

UIST
1993
ACM

121views Software Engineering» more UIST 1993»

Animation Support in a User Interface Toolkit: Flexible, Robust, and Reusable Abstractions

15 years 3 months ago

Download www.cc.gatech.edu

Scott E. Hudson, John T. Stasko

claim paper

Read More »

click to vote

FSTTCS
1990
Springer

53views Software Engineering» more FSTTCS 1990»

Relating Full Abstraction Results for Different Programming Languages

15 years 3 months ago

Download www.kurims.kyoto-u.ac.jp

Kurt Sieber

claim paper

Read More »

click to vote

CGO
2009
IEEE

114views Software Engineering» more CGO 2009»

Procedural Abstraction with Reverse Prefix Trees

15 years 3 months ago

Download students.engr.scu.edu

Stefan Schäckeler, Weijia Shang

claim paper

Read More »

click to vote

AMAST
2004
Springer

116views Software Engineering» more AMAST 2004»

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

15 years 3 months ago

Download www.irisa.fr

Bertrand Jeannet, Wendelin Serwe

claim paper

Read More »

click to vote

CBSE
2006
Springer

154views Software Engineering» more CBSE 2006»

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers