3311 search results - page 47 / 663 » Deductive Object Programming |
104
click to vote
ICFP
2012
ACM
13 years 5 days 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...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
104
click to vote
ICCL
1994
IEEE
15 years 1 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...
IFIP
1998
Springer
15 years 2 months ago
1998
Springer
In this paper we describe ICE, an object
119
click to vote
ITCC
2002
IEEE
15 years 2 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...