1143 search results - page 117 / 229 » Abstract Syntax and Logic Programming |
100
click to vote
IWPC
2003
IEEE
15 years 7 months ago
2003
IEEE
Large industrial legacy systems are challenges of reverseengineering activities. Reverse-engineering approaches use text-search tools based on regular expressions or work on prese...
128
Voted
GPCE
2003
Springer
15 years 7 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
113
Voted
AGTIVE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
124
click to vote
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
126
Voted
ROOM
2000
15 years 4 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...