6201 search results - page 162 / 1241 » Implementation of Axiomatic Language |
146
click to vote
IEE
2002
15 years 4 months ago
2002
Abstract. This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By...
133
click to vote
TOPLAS
2010
15 years 2 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...
131
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
141
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
144
click to vote
DBPL
1991
Springer
15 years 8 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...