Languages

Results: 66134



#Item
471

R in Programming Languages Foundations and Trends Vol. 2, No–69 c 2015 Y. Smaragdakis and G. Balatsouras

Add to Reading List

Source URL: zenodo.org

- Date: 2016-09-12 01:41:05
    472

    Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-03-22 12:39:32
      473

      Formal Syntax of Programming Languages Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pl16.html Benefits of formal definitions

      Add to Reading List

      Source URL: www.cs.tau.ac.il

      - Date: 2016-02-28 09:04:04
        474

        Ryan Sciampacone – Senior Software Developer August 1st 2012 Multitenant JVM JVM Languages Summit

        Add to Reading List

        Source URL: wiki.jvmlangsummit.com

        - Date: 2012-07-31 12:22:07
          475

          Concepts in Programming Languages – Recitation 5: More (Untyped) Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2016-12-07 03:56:32
            476

            VMs for Dynamic Languages © 2015 Oracle, Mario Wolczko Challenges of dynamic

            Add to Reading List

            Source URL: dl.dropboxusercontent.com

              477

              The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML)

              Add to Reading List

              Source URL: rbsla.ruleml.org

              - Date: 2013-12-20 11:58:09
                478

                Grammar Engineering for a Customer: a Case Study with Five Languages Aarne Ranta University of Gothenburg and Digital Grammars AB Christina Unger

                Add to Reading List

                Source URL: www.aclweb.org

                - Date: 2015-07-25 01:14:58
                  479

                  Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2016-03-17 14:06:02
                    480

                    The Pumping Lemma for Well-Nested Multiple Context-Free Languages Makoto Kanazawa? National Institute of Informatics Abstract. Seki et alproved a rather weak pumping lemma for

                    Add to Reading List

                    Source URL: research.nii.ac.jp

                    - Date: 2010-06-08 00:59:12
                      UPDATE