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

15 years 7 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 »

click to vote

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

16 years 2 months ago

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

Voted

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

15 years 9 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

15 years 9 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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers