6201 search results - page 283 / 1241 » Implementation of Axiomatic Language |
182
click to vote
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
176
click to vote
POLICY
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we describe the use of description logic as the basis for a policy representation language and show how it is used in our implementation of a policy managed pervasi...
247
click to vote
SIGADA
1999
Springer
15 years 11 months ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
167
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Creating a software product line from a legacy application is a difficult task. We propose a tool that helps automating tedious tasks of refactoring legacy applications into featu...
186
click to vote
JFP
2002
15 years 6 months ago
2002
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they...