Sciweavers

5415 search results - page 284 / 1083
» The Implementation of Functional Programming Languages
Sort
View
ICTAC
2009
Springer
15 years 8 months ago
A Deadlock-Free Semantics for Shared Memory Concurrency
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
Gérard Boudol
ECOOP
2008
Springer
15 years 3 months ago
Prototyping and Composing Aspect Languages
Domain specific aspect languages (DSALs) are becoming more popular because they can be designed to represent recurring concerns in a way that is optimized for a specific domain. H...
Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit
DALT
2004
Springer
15 years 6 months ago
The Semantics of MALLET-An Agent Teamwork Encoding Language
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
Xiaocong Fan, John Yen, Michael S. Miller, Richard...
ECOOP
2006
Springer
15 years 5 months ago
Modeling Runtime Behavior in Framework-Based Applications
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
Nick Mitchell, Gary Sevitsky, Harini Srinivasan
QSIC
2006
IEEE
15 years 7 months ago
Control-Flow Analysis and Representation for Aspect-Oriented Programs
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
Jianjun Zhao