230 Hits in 4.0 sec

Syntax directed translations and the pushdown assembler

A.V. Aho, J.D. Ullman
1969 Journal of computer and system sciences (Print)  
A device called the pushdown assembler is defined, and it is shown capable of performing exactly the syntax-directed translations.  ...  It is shown that there exists an infinite hierarchy of syntax-directed translations according to the number of nonterminals allowed on the right side of productions of the underlying context-free grammar  ...  In this paper, we intend to give a generalization of the pushdown automaton, called the pushdown assembler, which is capable of defining every syntax-directed translation.  ... 
doi:10.1016/s0022-0000(69)80006-1 fatcat:rsihtwgfxzeihm7gxqfyy2x3s4

Applications of language theory to compiler design

J. D. Ullman
1971 Proceedings of the November 16-18, 1971, fall joint computer conference on - AFIPS '71 (Fall)  
3 pp 319-334 August 1969 24 A V AHO J D ULLMAN Syntax directed translations and the pushdown assembler J Computer and System Sciences 3 pp 37-56 February 1969 25 L PETRONE Syntax directed mappings of  ...  These areas are, principally, the subjects of context free grammars and syntax directed translations.  ... 
doi:10.1145/1478873.1478904 dblp:conf/afips/Ullman72 fatcat:2hnfp67b7jbw5jkgnrumrhkipa

Page 1221 of Mathematical Reviews Vol. 49, Issue 3 [page]

1975 Mathematical Reviews  
Sci. 3 (1969), 37-56; MR 39 #2544] and showed that they defined exactly the syntax-directed translations (SDT’s).  ...  As a generalization of a pushdown automaton, the authors defined a pushdown assembler in an earlier paper [J. Comput. System.  ... 

The LISP 2 programming language and system

Paul W. Abrahams, Jeffrey A. Barnett, Erwin Book, Donna Firth, Stanley L. Kameny, Clark Weissman, Lowell Hawkinson, Michael I. Levin, Robert A. Saunders
1966 Proceedings of the November 7-10, 1966, fall joint computer conference on XX - AFIPS '66 (Fall)  
The Syntax Translator and the META Compiler The translation from SL to IL is performed by a syntax translator that was generated by the META compiler.  ...  SL is first translated Further, an IL-level macro expassion capability has into IL by syntax translator. I L is then translated into assembly language by a compiler.  ...  The LISP 2 Assembly Program The LISP 2' Assembly Program, LAP, is a program that generates a code segment from a list of symbolic instructions and labels.  ... 
doi:10.1145/1464291.1464362 dblp:conf/afips/AbrahamsBBFKWHLS66 fatcat:2duxrzgcmbemtao5ofrh7up5qu

Page 613 of Computational Linguistics Vol. 34, Issue 4 [page]

2008 Computational Linguistics  
V. and J. D. Ullman. 1969. Syntax directed translations and the pushdown assembler. Journal of Compute System Sciences, 3(1):37—56. Artstein, Ron and Massimo Poesio. 2008.  ...  The mathematics of statistical machine translation: Parameter estimation. Computational Linguistics, 19(2):263-311. Callison-Burch, Chris. 2007. Paraphrasing and Translation.  ... 

The design and implementation of a table driven compiler system

C. L. Liu, G. D. Chang, R. E. Marks
1967 Proceedings of the April 18-20, 1967, spring joint computer conference on - AFIPS '67 (Spring)  
The notion of a "table-driven compiler" is an extension of the notion of a "syntax-directed compiler" first studied by Irons.1, 2, 3, 4 The difference between a conventional compiler and a syntax-directed  ...  A third higher level language: the Syntax Defining Language and its corresponding translator are also needed.  ... 
doi:10.1145/1465482.1465593 dblp:conf/afips/LiuCM67 fatcat:vsgtxgrav5drtclyjdgdncyarq

PoMMaDe: pushdown model-checking for malware detection

Fu Song, Tayssir Touili
2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013  
In PoMMaDe, a binary program is modeled as a pushdown system (PDS) which allows to track the stack of the program, and malicious behaviors are specified in SCTPL or SLTPL, where SCTPL (resp.  ...  LTL) with variables, quantifiers, and predicates over the stack (needed for malware specification). The malware detection problem is reduced to SCT-PL/SLTPL model-checking for PDSs.  ...  Then, the assembly program is translated into a PDS.  ... 
doi:10.1145/2491411.2494599 dblp:conf/sigsoft/SongT13 fatcat:7wgf2lonljb3dfckhm5ecgc66q

Fifty years of automata simulation

Pinaki Chakraborty, P. C. Saxena, C. P. Katti
2011 ACM inroads  
The article concludes with an advocacy for continuing research on simulation of automata and integration of automata simulators in teaching.  ...  A classification of the automata simulators on the basis of their design paradigms has been developed where they have been classified broadly into language based automata simulators and visualization centric  ...  Acknowledgments The authors are thankful to a number of scientists who sent reprints of their papers and provided miscellaneous information about the tools they have developed.  ... 
doi:10.1145/2038876.2038893 fatcat:dyo7kn7lczab3fo54cpcping7q

Page 846 of Mathematical Reviews Vol. 50, Issue 3 [page]

1975 Mathematical Reviews  
(Czech and Russian summaries) Sb. Vysoké. Uéeni Tech. v Brné 1971, 159-170. The author discusses variants of syntax-directed translations and relationships with pushdown store assemblers. S. A.  ...  {The Japanese original appeared in Denshi Tsushin Gakkai Ronbunshi 56-D (1973), no. 7, 393-400.} S. Ginsburg (Van Nuys, Calif.) Kopfiva, Jifi 6217 Decomposition translations and pushdown assembler.  ... 

Abstracts of Current Computer Literature

1969 IEEE transactions on computers  
Pushdown Automata and Semi-Linear Sets, L.  ...  . 6900 Compiler Source Language Syntax Defined in Terms of a Phase Structure Grammarsee 6937. 6901 The Applicability Matrix of a Syntax-Directed Parsing Processor, H.  ... 
doi:10.1109/t-c.1969.222770 fatcat:3u7q7ac3b5hx5fdffcemcrpsay

Design highlights of CABAL

Richard K. Dove
1968 Proceedings of the December 9-11, 1968, fall joint computer conference, part II on - AFIPS '68 (Fall, part II)  
These two tabltis, a single pushdown stack, code generation routines, and common translator facilities form a table-driven translator.  ...  reca'gnizers, syntax-directed symbol processors, metaassemblers and extendible compilers, as well as an introduction to the necessary terminology.  ... 
doi:10.1145/1476706.1476764 dblp:conf/afips/Dove68 fatcat:sk22zspaszaj3dbyi5ejilslkq

Faster Generalized LR Parsing [chapter]

John Aycock, Nigel Horspool
1999 Lecture Notes in Computer Science  
Instead, we speed up LR parsers by building larger pushdown automata, trading space for time. A variant of the GLR algorithm then incorporates our faster LR parsers.  ...  In this paper, we h a ve presented an alternative w ay to construct pushdown automata for use in LR parsers.  ...  By trading space for time | a larger LR parser in exchange for faster execution times | we are able to build GLR parsers which are faster and better suited to more widespread application outside the natural  ... 
doi:10.1007/978-3-540-49051-7_3 fatcat:y4wnhiyamvaznf6qr2hq4zlddm

Semantics of Visual Models in a Rule-based Setting

Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch
2006 Electronical Notes in Theoretical Computer Science  
In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and related to the semantics of visual models.  ...  A rule-based system comprises a set of rules and some control conditions including descriptions of initial and terminal configurations.  ...  Finite state automata and pushdown automata are examples of this kind.  ... 
doi:10.1016/j.entcs.2005.12.013 fatcat:kn2n2ldx5fdgdljebu2w7ivhde

WYSINWYX: What You See Is Not What You eXecute [chapter]

G. Balakrishnan, T. Reps, D. Melski, T. Teitelbaum
2008 Lecture Notes in Computer Science  
Not only can the WYSINWYX phenomenon create a mismatch between what a programmer intends and what is actually executed by the processor, it can cause analyses that are performed on source code to fail  ...  to detect certain bugs and vulnerabilities.  ...  -Instructions inserted because of inlined assembly directives in the source code are visible, and do not need to be treated any differently than other instructions.  ... 
doi:10.1007/978-3-540-69149-5_22 fatcat:i6qg6phc2bhgxmjxhkqybzeizq

Abstracts of Current Computer Literature

1970 IEEE transactions on computers  
A formal procedure is given for deriving from a set of translation equations the specifications for a pushdown translator.  ...  Translator Consisting of Finite Automata and a Pushdown Stack 7734 Syntax Analysis of Context-Free Program- ming Language Grammars 7735 Hardware-Shared Implementation of an Er- ror-Detecting Binary  ... 
doi:10.1109/t-c.1970.223012 fatcat:r5fw2k62rfhphcyztzcnhldnry
« Previous Showing results 1 — 15 out of 230 results