6201 search results - page 52 / 1241 » Implementation of Axiomatic Language |
164
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
A programming construct mixin was invented to implement uniform extensions and modifications to classes. Although mixin-based programming has been extensively studied both on the m...
138
click to vote
CL
2006
Springer
15 years 6 months ago
2006
Springer
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
141
click to vote
TASE
2008
IEEE
16 years 11 days ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
159
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definit...
155
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...