959 search results - page 78 / 192 » Fundamental Concepts in Programming Languages |
177
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
174
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Software developers create a variety of artifacts that model viour of applications at different levels of abstraction; e.g. use cases, sequence diagrams, and source code. Aspect-o...
274
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
178
click to vote
IASSE
2003
15 years 7 months ago
2003
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed ...
194
click to vote
LMO
2000
15 years 7 months ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...