6740 search results - page 245 / 1348 » Using Classification as a Programming Language |
TOPLAS
2008
15 years 24 days ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
124
Voted
POPL
1995
ACM
15 years 5 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
135
click to vote
WECWIS
2005
IEEE
15 years 8 months ago
2005
IEEE
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...
106
click to vote
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...