Results 61 to 70 of about 81,160 (150)
Towards rule-based visual programming of generic visual systems
, 2000 This paper illustrates how the diagram programming language DiaPlan can be used to program visual systems. DiaPlan is a visual rule-based language that is founded on the computational model of graph transformation.
Hoffmann, Berthold, Minas, Mark
core +3 more sources
User-friendly Support for Common Concepts in a Lightweight Verifier [PDF]
, 2010 Machine verification of formal arguments can only increase our confidence in the correctness of those arguments, but the costs of employing machine verification still outweigh the benefits for some common kinds of formal reasoning activities. As a result,
Lapets, Andrei
core +1 more source
Session Type Inference in Haskell
, 2011 We present an inference system for a version of the Pi-calculus in Haskell for the session type proposed by Honda et al. The session type is very useful in checking if the communications are well-behaved.
Agusa, Kiyoshi, Imai, Keigo, Yuen, Shoji
core +2 more sources
Exploiting Diversity in Natural Language Processing: Combining Parsers
, 2000 Three state-of-the-art statistical parsers are combined to produce more accurate parses, as well as new bounds on achievable Treebank parsing accuracy. Two general approaches are presented and two combination techniques are described for each approach. Both parametric and non-parametric models are explored.
Henderson, John C., Brill, Eric
openaire +2 more sources
Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics
, 2004 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
Design patterns for parser combinators in scala
, 2022 Jamie Willis, Nicolas Wu
openalex +1 more source
Modeling and Testing Implementations of Protocols with Complex Messages [PDF]
, 2018 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
Opportunities for a Truffle-based Golo Interpreter [PDF]
, 2015 Golo is a simple dynamically-typed language for the Java Virtual Machine. Initially implemented as a ahead-of-time compiler to JVM bytecode, it leverages invokedy-namic and JSR 292 method handles to implement a reasonably efficient runtime.
Loiseau, Yannick +3 more
core +2 more sources