2004 search results - page 225 / 401 » Interaction nets: programming language design and implementa... |
183
click to vote
PPDP
2007
Springer
16 years 18 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
265
click to vote
ECOOP
2005
Springer
16 years 23 hour ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
170
click to vote
OOPSLA
2010
Springer
2010
Springer
Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
15 years 4 months ago
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency model...
194
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
While much of the data on the web is unstructured in nature, there is also a significant amount of embedded structured data, such as product information on e-commerce sites or sto...
188
click to vote
AAI
2002
15 years 6 months ago
2002
In this paper, we discuss scripting tools that aim at facilitating the design of web-based interactions with animated characters capable of affective communication. Specifically, ...