Search Sciweavers | Sciweavers

6794 search results - page 54 / 1359

» Semantics of Visual Languages

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

14 years 19 days 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 »

click to vote

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

14 years 7 months ago

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

click to vote

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

14 years 2 months ago

Download www.ru.is

Arnar Birgisson, Úlfar Erlingsson

claim paper

Read More »

click to vote

MODELS
2009
Springer

101views Natural Language Processing» more MODELS 2009»

Polymorphic Scenario-Based Specification Models: Semantics and Applications

14 years 2 months ago

Download www.cs.colostate.edu

Shahar Maoz

claim paper

Read More »

click to vote

ESOP
2007
Springer

116views Programming Languages» more ESOP 2007»

A Consistent Semantics of Self-adjusting Computation

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers