Search Sciweavers | Sciweavers

21342 search results - page 445 / 4269

» Structured language modeling

297

click to vote

POPL
2009
ACM

124views Programming Languages» more POPL 2009»

A model of cooperative threads

16 years 7 months ago

Download users.soe.ucsc.edu

We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...

Gordon D. Plotkin, Martín Abadi

claim paper

Read More »

135

click to vote

ECOOP
2008
Springer

93views Programming Languages» more ECOOP 2008»

Ptolemy: A Language with Quantified, Typed Events

15 years 8 months ago

Download www.cs.iastate.edu

Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...

Hridesh Rajan, Gary T. Leavens

claim paper

Read More »

143

click to vote

MODELS
2009
Springer

128views Natural Language Processing» more MODELS 2009»

Incremental Model Synchronization for Efficient Run-Time Monitoring

16 years 1 months ago