publications: - title: "The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference" author: - name: "John Warner Backus" link: "http://www-03.ibm.com/ibm/history/exhibits/builders/builders_backus.html" year: "1959" abstract: "This paper gives a tutorial summary of the syntax and interpretation rules of the proposed international algebraic language put forward by the Zurich ACM-GAMM Conference, followed by a formal, complete presentation of the same information. Notations are presented for numbers, numerical variables, Boolean variables, relations, n-dimensional arrays, functions, operators and algebraic expressions. Means are provided in the language for specifying assignment of values to variables, conditional execution of statements, iterative procedures, formation of compound statements from sequences of statements, definition of new statements for arbitrary procedures, reuse and alteration of program segments. The proposed language is intended to provide convenient and concise means for expressing virtually all procedures of numerical computation while employing relatively few syntactical rules and statement types." tags: - "programming languages" - "semantics" - "rule-based" - "syntax definition" - "completeness" - "formal semantics" - "reuse" - "rules" - " algebra" researchr: "https://researchr.org/publication/Backus59" cites: 0 citedby: 0 pages: "125-131" booktitle: "ifip" kind: "inproceedings" key: "Backus59" - title: "Iterated Register Coalescing" author: - name: "Lal George" link: "https://researchr.org/alias/lal-george" - name: "Andrew W. Appel" link: "http://www.cs.princeton.edu/~appel/" year: "1996" doi: "http://doi.acm.org/10.1145/237721.237777" links: doi: "http://doi.acm.org/10.1145/237721.237777" researchr: "https://researchr.org/publication/GeorgeA96" cites: 0 citedby: 0 pages: "208-218" booktitle: "POPL" kind: "inproceedings" key: "GeorgeA96" - title: "Iterated Register Coalescing" author: - name: "Lal George" link: "https://researchr.org/alias/lal-george" - name: "Andrew W. Appel" link: "http://www.cs.princeton.edu/~appel/" year: "1996" doi: "http://doi.acm.org/10.1145/229542.229546" links: doi: "http://doi.acm.org/10.1145/229542.229546" researchr: "https://researchr.org/publication/GeorgeA96%3A0" cites: 0 citedby: 0 journal: "TOPLAS" volume: "18" number: "3" pages: "300-324" kind: "article" key: "GeorgeA96:0" - title: "A Theory of Objects" author: - name: "Martín Abadi" link: "http://users.soe.ucsc.edu/~abadi/home.html" - name: "Luca Cardelli" link: "http://lucacardelli.name" year: "1996" month: "April" abstract: "Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming." tags: - "programming languages" - "object-oriented programming" - "semantics" - "rule-based" - "meta programming" - "formal semantics" - "rules" - "subtyping" - "programming" - "subject-oriented programming" - "type theory" - "Meta-Environment" - "systematic-approach" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/abadi%3Atheoryofobjects" cites: 0 citedby: 0 series: "Monographs in Computer Science" publisher: "Springer" isbn: "0387947752" kind: "book" key: "abadi:theoryofobjects" - title: "The Java Virtual Machine Specification, Second Edition" author: - name: "Tim Lindholm" link: "https://researchr.org/alias/tim-lindholm" - name: "Frank Yellin" link: "https://researchr.org/alias/frank-yellin" year: "1999" links: "online version": "http://java.sun.com/docs/books/jvms/second_edition/html/VMSpecTOC.doc.html" tags: - "Java" - "JVM" researchr: "https://researchr.org/publication/LindholmY99" cites: 0 citedby: 0 edition: "2" publisher: "Addison-Wesley" kind: "book" key: "LindholmY99" - title: "Compiler Construction: Principles and Practice" author: - name: "Kenneth C. Louden" link: "https://researchr.org/alias/kenneth-c.-louden" year: "1997" month: "January" tags: - "principles" - "C++" - "compiler" researchr: "https://researchr.org/publication/louden%3Acc" cites: 0 citedby: 0 address: "Boston, MA, USA" publisher: "Course Technology" isbn: "0534939724" kind: "book" key: "louden:cc" - title: "Foundations of Object-Oriented Languages: Types and Semantics" author: - name: "Kim B. Bruce" link: "https://researchr.org/alias/kim-b.-bruce" year: "2002" tags: - "semantics" - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/bruce%3Afoundations-ool" cites: 0 citedby: 0 address: "Cambridge, MA, USA" publisher: "MIT Press" isbn: "0-262-02523-X" kind: "book" key: "bruce:foundations-ool" - title: "Modern Compiler Implementation in ML" author: - name: "Andrew W. Appel" link: "http://www.cs.princeton.edu/~appel/" year: "1998" tags: - "compiler" researchr: "https://researchr.org/publication/Appel1998ml" cites: 0 citedby: 0 publisher: "Cambridge University Press" isbn: "0-521-58274-1" kind: "book" key: "Appel1998ml" - title: "Syntactic Structures" author: - name: "Noam Chomsky" link: "http://www.chomsky.info/" year: "1957" month: "February" links: "google books": "http://www.google.com/books?id=a6a_b-CXYAkC" "wikipedia": "http://en.wikipedia.org/wiki/Syntactic_Structures" researchr: "https://researchr.org/publication/chomsky%3Asyntacticstructure" cites: 0 citedby: 0 address: "The Hague, The Netherlands" publisher: "Mouton" kind: "book" key: "chomsky:syntacticstructure" - title: "An Introduction to Object-Oriented Programming, 2nd edition" author: - name: "Timothy A. Budd" link: "https://researchr.org/alias/timothy-a.-budd" year: "2002" tags: - "object-oriented programming" - "meta programming" - "programming" - "subject-oriented programming" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/budd%3Aoo-programming" cites: 0 citedby: 0 edition: "2nd" address: "Redwood City, CA, USA" publisher: "Addison Wesley Longman Publishing Co., Inc." isbn: "0-201-82419-1" kind: "book" key: "budd:oo-programming" - title: "Ethnologue: Languages of the World" year: "2009" researchr: "https://researchr.org/publication/ethnologue" cites: 0 citedby: 0 edition: "Sixteenth" editor: - name: "M. Paul Lewis" link: "https://researchr.org/alias/m.-paul-lewis" address: "Dallas, TX, USA" publisher: "SIL International" kind: "book" key: "ethnologue" - title: "Language. An Introduction to the Study of Speech" author: - name: "Edward Sapir" link: "https://researchr.org/alias/edward-sapir" year: "1921" links: "google books": "http://books.google.com/books?id=VOxa9KSytLoC&dq" researchr: "https://researchr.org/publication/sapir%3Alanguage" cites: 0 citedby: 0 address: "New York, NY, USA" organization: "Harcourt Brace" kind: "book" key: "sapir:language" - title: "Modern Compiler Implementation in Java, 2nd edition" author: - name: "Andrew W. Appel" link: "http://www.cs.princeton.edu/~appel/" year: "2002" tags: - "Java" - "compiler" researchr: "https://researchr.org/publication/Appel2002" cites: 0 citedby: 0 publisher: "Cambridge University Press" isbn: "0-521-82060-X" kind: "book" key: "Appel2002" - title: "Introduction to Automata Theory, Languages, and Computation" author: - name: "J. E. Hopcroft" link: "https://researchr.org/alias/j.-e.-hopcroft" - name: " R. Motwani" link: "https://researchr.org/alias/r.-motwani" - name: " J. D. Ullman" link: "https://researchr.org/alias/j.-d.-ullman" year: "2006" tags: - "automata theory" - "e-science" researchr: "https://researchr.org/publication/HopcroftMU2006" cites: 0 citedby: 2 edition: "3rd ed. " address: "Boston, MA, USA" publisher: "Addison-Wesley" kind: "book" key: "HopcroftMU2006" - title: "Inside the Java 2 Virtual Machine" author: - name: "Bill Venners" link: "https://researchr.org/alias/bill-venners" year: "2000" links: "read online": "http://www.artima.com/insidejvm/ed2/index.html" "interactive illustrations": "http://www.artima.com/insidejvm/applets/index.html" tags: - "Java" researchr: "https://researchr.org/publication/venners%3Ainsidejvm" cites: 0 citedby: 0 edition: "2" publisher: "McGraw-Hill Companies" kind: "book" key: "venners:insidejvm" - title: "Stratego/XT 0.17. A language and toolset for program transformation" author: - name: "Martin Bravenboer" link: "http://martin.bravenboer.name/" - name: "Karl Trygve Kalleberg" link: "http://www.ii.uib.no/~karltk/" - name: "Rob Vermaas" link: "https://researchr.org/profile/robvermaas/publications" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2008" doi: "http://dx.doi.org/10.1016/j.scico.2007.11.003" abstract: "Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing the patterns of rules in the syntax of the object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development of transformation components at a high level of abstraction. The XT toolset offers a collection of flexible, reusable transformation components, and tools for generating such components from declarative specifications. Complete program transformation systems are composed from these components." links: doi: "http://dx.doi.org/10.1016/j.scico.2007.11.003" "technical report (pdf)": "http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2008-011.pdf" "stratego/xt": "http://strategoxt.org" tags: - "control systems" - "programming languages" - "object-oriented programming" - "concrete object syntax" - "reusable components" - "rule-based" - "completeness" - "meta programming" - "pattern language" - "graph transformation" - "Stratego/XT" - "transformation language" - "reuse" - "graph-rewriting" - "rules" - "transformation system" - "DSL" - "programming" - "subject-oriented programming" - "context-aware" - "abstraction" - "Meta-Environment" - "rewriting" - "rewriting strategies" - "feature-oriented programming" - "concrete syntax" - "meta-objects" - "transformation" - "Stratego" - "program transformation" researchr: "https://researchr.org/publication/BravenboerKVV08" cites: 0 citedby: 7 journal: "SCP" volume: "72" number: "1-2" pages: "52-70" kind: "article" key: "BravenboerKVV08" - title: "A Family of Syntax Definition Formalisms" author: - name: "Eelco Visser" link: "http://eelcovisser.org" year: "1995" month: "May" abstract: "In this paper we design a syntax definition formalism as a family of formalisms. Starting with a small kernel, several features for syntax definition are designed orthogonally to each other. This provides a framework for constructing new formalisms by adapting and extending old ones. The formalism is developed with the algebraic specification formalism ASF+SDF. It provides the following features: lexical and context-free syntax, variables, disambiguation by priorities, regular expressions, character classes and modular definitions. New are the uniform treatment of lexical syntax, context-free syntax and variables, the treatment of regular expressions by normalization yielding abstract syntax without auxiliary sorts, regular expressions as result of productions and modules with hidden imports and renamings." links: successor: "https://researchr.org/publication/Visser97-SDF" "postscript": "http://www.st.ewi.tudelft.nl/~eelco/papers/P9504-7.ps" tags: - "syntax definition" - "SDF" - "lexical syntax" - "syntax definition formalism" - "abstract syntax" - "disambiguation" - "algebraic specification" - " algebra" - "context-aware" - "parsing" - "design" - "ASF+SDF" researchr: "https://researchr.org/publication/Visser95" cites: 0 citedby: 0 booktitle: "ASF+SDF" kind: "inproceedings" key: "Visser95" - title: "Three models for the description of language" author: - name: "Noam Chomsky" link: "http://www.chomsky.info/" year: "1956" month: "September" doi: "10.1109/TIT.1956.1056813 " abstract: "We investigate several conceptions of linguistic structure to determine whether or not they can provide simple and \"revealing\" grammars that generate all of the sentences of English and only these. We find that no finite-state Markov process that produces symbols with transition from state to state can serve as an English grammar. Furthermore, the particular subclass of such processes that producen-order statistical approximations to English do not come closer, with increasingn, to matching the output of an English grammar. We formalize-the notions of \"phrase structure\" and show that this gives us a method for describing language which is essentially more powerful, though still representable as a rather elementary type of finite-state process. Nevertheless, it is successful only when limited to a small subset of simple sentences. We study the formal properties of a set of grammatical transformations that carry sentences with phrase structure into new sentences with derived phrase structure, showing that transformational grammars are processes of the same elementary type as phrase-structure grammars; that the grammar of English is materially simplified if phrase structure description is limited to a kernel of simple sentences from which all other sentences are constructed by repeated transformations; and that this view of linguistic structure gives a certain insight into the use and understanding of language." tags: - "model-to-model transformation" - "meta-model" - "modeling language" - "transformation language" - "language modeling" - "source-to-source" - "model transformation" - "Markov" - "Meta-Environment" - "higher-order transformations" - "process modeling" - "transformation" - "grammar" researchr: "https://researchr.org/publication/chomsky56" cites: 0 citedby: 0 journal: "IRE Transactions on Information Theory" volume: "2" number: "3" kind: "article" key: "chomsky56" - title: "Semantics of Programming Languages: Structures and Techniques" author: - name: "Gunter, Carl A." link: "https://researchr.org/alias/gunter%2C-carl-a." year: "1992" tags: - "programming languages" - "semantics" - "programming" researchr: "https://researchr.org/publication/gunter%3Asemantics" cites: 0 citedby: 0 address: "Cambridge, MA, USA" publisher: "MIT Press" isbn: "0-262-07143-6" kind: "book" key: "gunter:semantics"