Cover Image
Read Now

1
Published 2011
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

2
Published 2012
Springer Berlin Heidelberg
Table of Contents: “....- Optimizing a Geomodeling Domain Specific Language.-A System for Runtime Type Introspection in C++.- Model...”
Cover Image
Read Now

3
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Cover Image
Read Now

4
by Lee, Kent D.
Published 2008
Springer US
Table of Contents: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Cover Image
Read Now

5
Published 2014
Springer International Publishing
Table of Contents: “... and theoretical foundations -- Program analysis and verification -- Programming language design and implementation...”
Cover Image
Read Now

6
Published 2016
Springer International Publishing
Table of Contents: “...Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks...”
Cover Image
Read Now

7
Published 2015
Springer International Publishing
“...This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP...”
Cover Image
Read Now

8
by Lämmel, Ralf
Published 2018
Springer International Publishing
Table of Contents: “...1 The Notion of a Software Language -- 2 A Story of a Domain-Specific Language -- 3 Foundations...”
Cover Image
Read Now

9
Published 1985
Springer US
Table of Contents: “... for Office Procedure Automation -- 3. opal: An Office Procedure Automation Language For Local Area Network...”
Cover Image
Read Now

10
by Bischof, Brian
Published 2002
Apress
Cover Image
Read Now

11
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Semantics for a Natural Language Fragment -- Some Interdefinability Results for Syntactic Constraint Classes...”
Cover Image
Read Now

12
by Hausser, Roland
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...I Natural Language and Formal Grammar -- 1 Goals and Results -- 2 Grammar and Interpretation -- 3...”
Cover Image
Read Now

13
by Rockoff, Larry
Published 2017
Addison-Wesley
Subjects: “...COMPUTERS / Programming Languages / SQL / bisacsh...”
Cover Image
Read Now

14
by Leiss, Ernst L.
Published 1999
Springer New York
Table of Contents: “...An Informal Introduction to Language Equations -- Basic Definitions -- Classical Language Equations...”
Cover Image
Read Now

15
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Checking Visual Modeling Languages -- A Workbench to Experiment on New Model Engineering Applications...”
Cover Image
Read Now

16
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Invited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects...”
Cover Image
Read Now

17
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...? -- Weighted Logics for Nested Words and Algebraic Formal Power Series -- Tree Languages Defined in First-Order...”
Cover Image
Read Now

18
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- A Prolog-Based Language for Workflow Programming -- Reactors: A Data-Oriented Synchronous...”
Cover Image
Read Now

19
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Aperiodic ?-Languages -- On Transition Minimality of Bideterministic Automata...”
Cover Image
Read Now

20
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Structures -- In-Place Suffix Sorting -- Session B2 -- Maximal Infinite-Valued Constraint Languages -- Affine...”