Search Sciweavers | Sciweavers

6794 search results - page 54 / 1359

» Semantics of Visual Languages

138

click to vote

IV
2002
IEEE

126views Visualization» more IV 2002»

The Empathic Visualisation Algorithm (EVA) - An Automatic Mapping from Abstract Data to Naturalistic Visual Structure

15 years 11 months ago

Download www.cs.ucl.ac.uk

from Abstract Data to Naturalistic Visual Structure A. Loizides and M.Slater Department of Computer Science, University College London (UCL), London, UK This paper demonstrates a ...

Andreas Loizides, Mel Slater

claim paper

Read More »

128

click to vote

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

16 years 6 months ago

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

133

click to vote

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

16 years 24 days ago

Download www.ru.is

Arnar Birgisson, Úlfar Erlingsson

claim paper

Read More »

118

click to vote

MODELS
2009
Springer

101views Natural Language Processing» more MODELS 2009»

Polymorphic Scenario-Based Specification Models: Semantics and Applications

16 years 16 days ago

Download www.cs.colostate.edu

Shahar Maoz

claim paper

Read More »

118

click to vote

ESOP
2007
Springer

116views Programming Languages» more ESOP 2007»

A Consistent Semantics of Self-adjusting Computation

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers