3713 search results - page 81 / 743 » Constructing a Calculus of Programs |
141
Voted
VL
2002
IEEE
15 years 8 months ago
2002
IEEE
This study examines the comprehension and modification by novices of programs written with taskspecific and non-task-specific constructs. Teachers who write programs for use in th...
152
click to vote
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
123
click to vote
JLP
2010
14 years 9 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
152
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
110
click to vote
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...