6201 search results - page 59 / 1241 » Implementation of Axiomatic Language |
106
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes how we address the different steps proposed in the workshop “Comparing Educational Modeling Languages on a case study” with LDL and the associated infrast...
141
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Modern IDEs for object-oriented languages like Java provide support for a basic set of simple automated refactorings whose behaviour is easy to describe intuitively. It is, howeve...
203
click to vote
DLS
2010
15 years 1 months ago
2010
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
155
click to vote
INFSOF
2008
15 years 3 months ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
141
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...