3311 search results - page 105 / 663 » Deductive Object Programming |
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
128
click to vote
PADL
2012
Springer
13 years 7 months ago
2012
Springer
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
SIGDOC
2006
ACM
15 years 5 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
ITICSE
2005
ACM
15 years 5 months ago
2005
ACM
Problems with understanding concepts, so called misconceptions, have been investigated and reported in a number of studies regarding object-oriented programming [4], [3]. In a fi...
117
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...