Results 51 to 60 of about 1,131 (104)
Monadic compositional parsing with context using Maltese as a case study [PDF]
Combinator-based parsing using functional programming provides an elegant, and compositional approach to parser design and development. By its very nature, sensitivity to context usually fails to be properly addressed in these approaches. We identify two
2nd Computer Science Annual Workshop (CSAW’04) +1 more
core
Constraint Generation for the Jeeves Privacy Language [PDF]
Our goal is to present a completed, semantic formalization of the Jeeves privacy language evaluation engine, based on the original Jeeves constraint semantics defined by Yang et al at POPL12, but sufficiently strong to support a first complete ...
Rose, Eva
core
Modeling and Testing Implementations of Protocols with Complex Messages [PDF]
This paper presents a new language called APSL for formally describing protocols to facilitate automated testing. Many real world communication protocols exchange messages whose structures are not trivial, e.g.
Prasetya, I. S. W. B., Tervoort, Tom
core +1 more source
Processing of ICARTT Data Files Using Fuzzy Matching and Parser Combinators [PDF]
In this paper, the task of parsing and matching inconsistent, poorly formed text data through the use of parser combinators and fuzzy matching is discussed.
Chen, Gao +3 more
core +1 more source
Parser combinators are well-known in functional programming languages such as Haskell. In this paper, we describe how they are implemented as a library in Scala, a functional object-oriented language. Thanks to Scala's flexible syntax, we are able to closely approximate the EBNF notation supported by dedicated parser generators. For the uninitiated, we
Moors, Adriaan +2 more
openaire +1 more source
Sepia: a Framework for Natural Language Semantics [PDF]
Source code and technical descriptionTo help explore linguistic semantics in the context of computational natural language understanding, Sepia provides a realization the central theoretical idea of categorial grammar: linking words and phrases to ...
Marton, Gregory Adam +1 more
core +1 more source
Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics
We investigate the possibility of modelling the syntax and semantics of natural language by constraints, or rules, imposed by the multi-dimensional type theory Nabla.
Villadsen, Jørgen
core +2 more sources
Eine DSL für Harel-Statecharts mit PetitParser [PDF]
Eine AuDSL genannte domänenspezifische Sprache zur Beschreibung von Harel-Statechart-Automaten wird benutzt, um exemplarisch die Eignung von PetitParser, einem zum Helvetia-Framework gehörenden Parser-Combinator, als Baustein einer Language-Workbench zu ...
Brauer, Johannes +2 more
core
A tool written in Scala for preparation and analysis in MD simulation and 3D-RISM calculation of biomolecules. [PDF]
Onishi I, Tsuji H, Irisa M.
europepmc +1 more source
Layered Combinator Parsers with a Unique State [PDF]
Contains fulltext : 207908.pdf (Author’s version preprint ) (Open Access)
Koopman, P.W.M., Plasmeijer, M.J.
openaire

