3311 search results - page 47 / 663 » Deductive Object Programming |
143
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
139
click to vote
ICCL
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
83
Voted
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we describe ICE, an object
153
click to vote
ITCC
2002
IEEE
15 years 6 months ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...