Вы здесь

Главная

синтаксис

Связанные издания:

A Compact Syntax Chart for Ada
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems
Agora: Message Passing as a Foundation for Exploring OO Language Concepts
Algebra of States and Transitions
A Logic Language Based on GAMMA-like Multiset Rewriting
A Mechanisation of Name-carrying Syntax up to Alpha-conversion
A Meta-Environment for Generating Programming Environments
An Axiomatization of Lamport s Temporal Logic of Actions
An OCL Semantics Specified with QVT
An Overview of Door Attribute Grammars
Applied Reconfigurable Computing: Proc./13th International Symposium, ARC 2017, Delft, The Netherlands, April 2017
A Simple Take on Typed Abstract Syntax in Haskell-like Languages
A Syntactic Approach to Program Transformations
A Syntax for Linear Logic
Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017
Automated Technology for Verification and Analysis: Proc./13th International Symposium, ATVA 2015, Shanghai, China, October 2015
Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019
Causal trees and timed causal trees categorically
CENTAUR: Towards a "Software Tool Box" for Programming Environments
Chinese Lexical Semantics: Revised Selected Papers/16th Workshop, CLSW 2015, Beijing, China, May 2015
Comprehension Syntax
Computational Linguistics and Intelligent Text Processing, Part I: Proc./16th International Conference, CICLing 2015, Cairo, Egypt, April 2015
Computational Linguistics and Intelligent Text Processing: Proc./11th International Conference, CICLing 2010, Iasi< Romania, March 2010
Computational Linguistics and Intelligent Text Processing: Proc./9th International Conference, CICLing 2008. Haifa, Israel, February, 2008
Computational Processing of the Portuguese Language: Proc./14th International Conference, PROPOR 2020, Evora, Portugal, March 2020
Computational Processing of the Portuguese Language: Proc./9th International Conference, PROPOR 2010, Porto Alegre,RS,Brasil, April 2010
Computer Aided Verification, Part I: Proc./27th International Conference, CAV 2015, San Francisco,CA,USA, July 2015
Computer Aided Verification, Part I: Proc./28th International Conference, CAV 2016, Toronto,ON,Canada, July 2016
Datalog: a self-contained tutorial. Part one
Defining Context-Dependent Syntax Without Using Contexts
Descriptional Complexity of Formal Systems: Proc./19th IFIP WG 1.02 International Conference. DCFS 2017, Milano. Italy, july 2017
Design and Static Semantics of Algorithm Language L
Design of a Specification Language by Abstract Syntax Engineering (prliminary version)
Efficient Lazy Narrowing using Demandedness Analysis
Equivariant Syntax and Semantics
Extensible Programming for the 21st Century
Formal Syntax and Semantics of a Reconstructed Relational Database System
Formal Syntax and Semantics of Java
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information
Fundamental Approaches to Software Engineering: Proc./16th International Conference, FASE 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, March 2013
Fun, Rigour and Pragmation in Functional Programming
Generation of efficient interprocedural analyzers with PAG
Genetic Programming: Proc./20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 2017
Higher-Order Abstract Syntax in Coq
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts
Human Language Technology: Challenges for Computer Science and Linguistics: Revised Selected Papers/8th Language and Technology Conference, LTC 2017, Poznan, Poland, November 2017
Integration of Z-Based Semantics of OO-Notations
Intelligent Virtual Agents: Proc./12th International Conference, IVA 2012, Santa Cruz, USA, September 2012
Language Engineering and Rigorous Software Development: Recides Tutorial Lectires/ International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February/March 2008
Language, Logic, and Computation: Revised Selected Papers/12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 2017