A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Syntax directed translations and the pushdown assembler
1969
Journal of computer and system sciences (Print)
Preserved Fulltext
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
1971
Proceedings of the November 16-18, 1971, fall joint computer conference on - AFIPS '71 (Fall)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1966
Proceedings of the November 7-10, 1966, fall joint computer conference on XX - AFIPS '66 (Fall)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1967
Proceedings of the April 18-20, 1967, spring joint computer conference on - AFIPS '67 (Spring)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2011
ACM inroads
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1968
Proceedings of the December 9-11, 1968, fall joint computer conference, part II on - AFIPS '68 (Fall, part II)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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