581 search results - page 29 / 117 » On the Verifiability of Programs Written in the Feature Lang... |
ADBIS
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we describe an approach to representation of data and knowledge using two technologies: XML and regular expressions in a domain of natural language syntactic analysis...
TOPLAS
2010
13 years 6 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
GPCE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...
SCM
1998
13 years 9 months ago
1998
As part of an investigation of scalable development techniques for systems written in the JavaTM programming language, the Forest Project is building JP, a prototype distributed pr...
SAC
2011
ACM
12 years 10 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...