Aspect Oriented Programming is a programming language concept for expressing cross-cutting concerns. A key point when dealing with aspects is the notion of interference. Applying several aspects to the same program may lead to unintended results because of conflicts between the aspects. In this paper, we study the notion of interference for Larissa, a formally defined language. Larissa is the a...

the system analysis plays an important role in natural resources, water resources and industrial engineering. in recent years, most parts of iran like golestan province, due to the lack of integrated river basin management, have been suffered numerous losses in variant environmental, social and economic aspects. in this paper an application of system analysis has been applied to optimal pattern...

2007 is a jubilee year: in 1967, programming language SIMULA 67 was presented, which contained all aspects of what was later called object-oriented programming. The present paper contains a description of the development unto the objectoriented programming, the role of simulation in this development and other tools that appeared in SIMULA 67 and that are nowadays called super-object-oriented pr...

Declarative programming languages often fail to effectively address many aspects of control and resource management. Linear logic provides a framework for increasing the strength of declarative programming languages to embrace these aspects. Linear logic has been used to provide new analyses of Prolog's operational semantics, including left-to-right/depth-first search and negation-as-failure. I...

The Brazilian Symposium on Programming Languages (SBLP) is the main event in South America devoted to programming languages. Its scope includes all aspects of programming languages, including language design and implementation, formal semantics, domain-specific languages, and theoretical foundations of programming languages. The Symposium is a yearly event supported by the Brazilian Computer So...

Corner Polyhedra are a natural intermediate step between linear programming and integer programming. This paper first describes how the concept of Corner Polyhedra arose unexpectedly from a practical operations research problem, and then describes how it evolved to shed light on fundamental aspects of integer programming and to provide a great variety of cutting planes for integer programming. ...

Programming languages form the interface between programmers (the users) and the computation that they desire the computer to execute. Although studies exist for some aspects of programming language design (such as conditionals), other aspects have received little or no human factors evaluations. Designers thus have little they can rely on if they want to make new languages highly usable, and u...

Programming languages form the interface between programmers (the users) and the computation that they desire the computer to execute. Although studies exist for some aspects of programming language design (such as conditionals), other aspects have received little or no human factors evaluations. Designers thus have little they can rely on if they want to make new languages highly usable, and u...

Programming languages form the interface between programmers (the users) and the computation that they desire the computer to execute. Although studies exist for some aspects of programming language design (such as conditionals), other aspects have received little or no human factors evaluations. Designers thus have little they can rely on if they want to make new languages highly usable, and u...

Pair programming has been the subject of studies ascertaining its business costs and benefits (Gittins, Hope et al. 2001), providing insight into what it is like (Ambu and Gianneschi 2003) and giving advice about its adoption (Dick and Zarnett 2002). Studies in the psychology of software development have provided insight into the behaviour and knowledge of successful programmers. These two disc...