1152 search results - page 72 / 231 » The Scratch Programming Language and Environment |
118
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
129
click to vote
PVM
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. PVM is a succesfull programming environment for distributed computing in the languages C and Fortran. Recently several implementations of PVM for Java have been added, ma...
235
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
159
click to vote
ECOOP
1995
Springer
15 years 6 months ago
1995
Springer
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise information about the possible classes of the receivers...
136
click to vote
PPDP
1999
Springer
15 years 7 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...