6201 search results - page 375 / 1241 » Implementation of Axiomatic Language |
269
click to vote
ICAI
2010
15 years 4 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
239
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdefined dependencies. Unfortunately, most build tools r...
143
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
166
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
277
Voted
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Meaningful method names are crucial for the readability and maintainability of software. Existing naming conventions focus on syntactic details, leaving programmers with little or ...