2343 search results - page 29 / 469 » Structure and Interpretation of Computer Programs |
127
click to vote
IANDC
2008
15 years 2 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
139
click to vote
JAIR
2007
15 years 2 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
127
click to vote
AGP
1993
IEEE
15 years 6 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
123
Voted
ENTCS
2010
14 years 11 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
162
click to vote
COMSIS
2007
15 years 2 months ago
2007
A prototype compiler of the ST language (Structured Text), its operation and internal structure is presented. The compiler is a principal part of CPDev engineering environment for ...