Sciweavers

1623 search results - page 77 / 325
» Programming language concepts for software developers
Sort
View
POPL
2010
ACM
15 years 4 months ago
Nested interpolants
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
Matthias Heizmann, Jochen Hoenicke, Andreas Podels...
AOSD
2010
ACM
15 years 7 months ago
Program analysis environment for writing COBOL aspects
COBOL is still an important language for building mission critical enterprise systems, and there is huge amount of existing COBOL programs. We have been developing an aspect-orien...
Hideaki Shinomi, Yasuhisa Ichimori
110
Voted
EWSPT
1998
Springer
15 years 8 months ago
Programming Process Coordination in Little-JIL
Abstract. Process programming languages have not been readily adopted by practitioners. We are addressing this problem through the development of Little-JIL, a language that focuse...
Barbara Staudt Lerner, Leon J. Osterweil, Stanley ...
KBSE
2008
IEEE
15 years 10 months ago
XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability Gap
—In spite of the modularization benefits supported by the Aspect-Oriented programming paradigm, different usability issues have hindered its adoption. The decoupling between asp...
Wiwat Ruengmee, Roberto Silveira Silva Filho, Sush...
ACMSE
2004
ACM
15 years 9 months ago
JavaCHIME: Java class hierarchy inspector and method executer
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
Pallavi Tadepalli, H. Conrad Cunningham