Search Sciweavers | Sciweavers

31387 search results - page 308 / 6278

» Abstracts

120

click to vote

CORR
2008
Springer

109views Education» more CORR 2008»

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax

15 years 6 months ago

Download www.site.uottawa.ca

Amy P. Felty, Alberto Momigliano

claim paper

Read More »

129

click to vote

ENTCS
2010

73views more ENTCS 2010»

Full Abstraction Without Synchronization Primitives

15 years 6 months ago

Download www.comlab.ox.ac.uk

Andrzej S. Murawski

claim paper

Read More »

157

click to vote

ACS
2006

124views Distributed And Parallel Com...» more ACS 2006»

Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems

15 years 6 months ago

Download voutsadakis.com

George Voutsadakis

claim paper

Read More »

140

click to vote

ACTA
2006

78views more ACTA 2006»

Abstractions of data types

15 years 6 months ago

Download www.cs.cmu.edu

Ferucio Laurentiu Tiplea, Constantin Enea

claim paper

Read More »

129

click to vote

ACTAC
2006

56views more ACTAC 2006»

Extending the Sparkle Core language with object abstraction

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers