adicionar à lista de desejos
Algol-Like Languages eBook
idioma: inglês
Editor:
BIRKHAUSER BOSTON, março de 2013 ‧
ver detalhes do produto
118,59€
10% DESCONTO
CARTÃO
TVhaWVNtZGhaa2R0T1hSNFRUTlJSemN4YVZkMVJqVjFibEJVY1hoaVFreHVjR0l3UVRCNlNtbDFkRXRYUmtKdk5EYzRkRXR2TmxNd1NGbFdURmhPWm5KR2NXSm5Zall5U2xsb1ZXVlhOQzlVVDFGWWJHRlZiR3RNWjI1RlZteDRkMWhDY2tsaFFVYzFlSEZXY25WRlpFdG9RMUZ4VjJsSk1FTnBlRkFyVjBsTE5tRmhUakY0Y2pWcGJGcG9SVmN2UnpWb04yMWFVWFZJY2psWE4yWkZaMFJTTm05MGR6QmlVWE5aTWpKc2VtNURiMUpoVGk5VlZqazNabVl4UkU1RVFTOXlWVE12T0c5dWRISk5NalZxUlhaM1JGaE1ha3QwVlV0bE1GWjVhV2hGSzNkVlNDdExaWGhVT0RKT1NXNVFNa3BoUTNGTWRuWm5OalZtTVVSaFFrMXFVbEJGV1hnME4yZFVTalpDUVVsWFlYWkZNVEJuVlZjNWJXRTVVR3MxWXpWNUswUnRjbGN4Y1M4eVpISnpkMHQ1UnpSTGRISjNLMkUzUkVJd1MxVllRVGxSV2pGd1EzY3habFJCVEVvM2EwNXRWek5QVm01b01UUTJjU3RVUm5OUWJrOUNPVVZXTTJSdk1XTTNTQzlJWVdSak9WZFZhR1YyZVROblZERkVZWGxWYzJkbWMySmtkM2gzZFRsblFtdFhjekZPYkhVM09WVjRWbGRaYUcxR2EwTnNWR3RUYjA4MGRtZHdaR3BuVldaVlJWZFBla3AzZGpNNVZXeFFUWFZ1YjBreFVuWlNjVmxPWW5OeE1VSXZaV1ZPUjI4NFN6aE1ibVEwTkVJM1ptSlFZMlkwVGxvNWJHSnROV0pKT1dWWldtUkNaMU5rVVhOR1VHTXhTbkZNVVdoTVJVaGhkV1YyUTBwdWVuWnZTa2t4VGpka01YRldPRGc0V1RKT2VrWlJRMlZWTTFSWFVrVlpUVVpWTDJWd1dHdG5XRUZRV1RWNlNraERTVlZ1ZVRCTVIxVTVNblZtUTFOaE9IQk9ZMWxhUW5kTlpVdFdPSE5aZEVoUmRUTm9aamxFYkRsbllsWlVObkpxTWl0TVlVOU9hbWhZZVZWTGQyaExlQ3RET1c5U1FXRm5UMnRETlRKb01UWlJaREU0S3pWNFJEVmtVSFJ0ZDJaT056UnhaVTF6WkZWc2NIQllSRXN2ZDNKc2R6RlRNakU1ZEU5RFQxTlFLMEp1U0hSMGFtNXVUV2sxVW1NNWIyMTJjSFphYTFCVFFtNVhUR3BhTWtVNGNVY3ZlVGR5V0haMFl6TnRaMmRqUFE9PTp5RVE2SEpoV2U5TFZQZ0t6WjRNa3VBPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in compiler texts that are intended to cover a wide variety of program ming languages. More is said in the Iiterature on semantics-directed compiler construction [1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the continuation-passing transformation to structure compilers for the specific case of call-by-value languages such as SCHEME and ML [21 3]. ln this paperl we will describe a method of structuring the translation of ALGOL-like languages that is based on the functor-category semantics devel oped by Reynolds [4] and Oles [51 6]. An alternative approach using category theory to structure compilers is the early work of F. L. Morris [7]1 which anticipates our treatment of boolean expressionsl but does not deal with procedures. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types. Throughout most of this paper we assume that the primi tive types are comm(and) int(eger)exp(ression) int(eger)acc(eptor) int(eger)var(iable) I and that the set 8 of types is the least set containing these primitive types and closed under the binary operation -.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781475738513 |
| Editor: | BIRKHAUSER BOSTON |
| Data de Lançamento: | março de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Progress In Theoretical Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781475738513 |
LIVROS DA MESMA COLEÇÃO
-
Interpolating Cubic Splines10%Birkhauser Boston Inc101,38€ 10% CARTÃOportes grátis
-
H-Infinity Control For Distributed Parameter Systems10%Birkhauser Boston Inc94,62€ 10% CARTÃOportes grátis