6054 search results - page 250 / 1211 » Implementation of Andorra-based Languages |
175
click to vote
POLICY
2005
Springer
16 years 4 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...
246
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
Voted
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...
184
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...
168
click to vote
LISP
1998
15 years 6 months ago
1998
Inspired by ACTORS [7, 17], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [2], but extended for side effects, multiprocessing, a...