Search Sciweavers | Sciweavers

9455 search results - page 19 / 1891

» The Modelling Language Zinc

click to vote

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

15 years 3 months ago

Download research.microsoft.com

Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...

claim paper

Read More »

click to vote

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

15 years 3 months ago

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

click to vote

IFIP
1994
Springer

147views Programming Languages» more IFIP 1994»

Towards a model of exploration in computer-aided design

15 years 3 months ago

Download mason.gmu.edu

John S. Gero

claim paper

Read More »

click to vote

IBM
1990

106views Programming Languages» more IBM 1990»

Evolution of Data Models

15 years 3 months ago

Download www.massey.ac.nz

Hans-Jörg Schek, Marc H. Scholl

claim paper

Read More »

click to vote

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers