Search Sciweavers | Sciweavers

3689 search results - page 58 / 738

» A Language with Distributed Scope

click to vote

VMCAI
2004
Springer

185views Software Engineering» more VMCAI 2004»

Construction of a Semantic Model for a Typed Assembly Language

14 years 3 months ago

Download www.cs.princeton.edu

Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...

Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao...

claim paper

Read More »

click to vote

ICSE
2000
IEEE-ACM

115views Software Engineering» more ICSE 2000»

Little-JIL/Juliette: a process definition language and interpreter

14 years 1 months ago

Download laser.cs.umass.edu

Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...

Aaron G. Cass, Barbara Staudt Lerner, Stanley M. S...

claim paper

Read More »

click to vote

IIE
2007

120views more IIE 2007»

Words are Silver, Mouse-Clicks are Gold? (or how to optimize the level of language formalization of young students in a Logo-bas

13 years 10 months ago

Download www.mii.lt

How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...

Evgenia Sendova, Toni Chehlarova, Pavel Boytchev

claim paper

Read More »

click to vote

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

14 years 7 months ago