6201 search results - page 156 / 1241 » Implementation of Axiomatic Language |
187
click to vote
JOT
2007
15 years 4 months ago
2007
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...
187
click to vote
CEFP
2009
Springer
15 years 2 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
141
click to vote
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
111
click to vote
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
Aspect-oriented software design will need to support languages with first-class and higher-order procedures, such as Python, Perl, ML and Scheme. These language features present ...
123
click to vote
GPCE
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...