27119 search results - page 382 / 5424 » Languages |
169
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...
175
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
161
click to vote
ADBIS
2007
Springer
16 years 1 months ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
155
click to vote
OOPSLA
2007
Springer
16 years 28 days ago
2007
Springer
A dynamic language improves programmer productivity through flexible typing, a focus on high-level programming, and by streamlining the edit-compile-debug cycle. Live languages g...
146
click to vote
STACS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We give a characterization, in terms of computational complexity, of the family Rec1 of the unary picture languages that are tiling recognizable. We introduce quasi-unary...