Search Sciweavers | Sciweavers

6016 search results - page 39 / 1204

» The semantics of graphical languages

161

click to vote

CAD
2004
Springer

390views Theoretical Computer Science» more CAD 2004»

Turtle geometry in computer graphics and computer-aided design

15 years 3 months ago

Download www1.cse.wustl.edu

: LOGO is a programming language incorporating turtle graphics, originally devised for teaching computing to young children in elementary and middle schools. Here we advocate the u...

Ron Goldman, Scott Schaefer, Tao Ju

claim paper

Read More »

111

click to vote

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

16 years 4 months ago

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

106

click to vote

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

15 years 11 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 10 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers