5415 search results - page 770 / 1083 » The Implementation of Functional Programming Languages |
173
click to vote
VVEIS
2008
15 years 8 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
163
click to vote
IM
1997
15 years 8 months ago
1997
Telecommunications Management Network (TMN) systems use the object-oriented information modelling techniques and communication facilities provided by OSI Systems Management (SM). ...
143
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
156
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
142
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
This work demonstrates that high-end classical programmable digital signal processors (DSPs) can implement fuzzy systems for real-time communication processing. A systematic proce...