Sciweavers

933 search results - page 85 / 187
» Multi-paradigm Declarative Languages
Sort
View
PADL
2007
Springer
15 years 10 months ago
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
Per Gustafsson, Konstantinos F. Sagonas
161
Voted
PADL
2005
Springer
15 years 9 months ago
Character-Based Cladistics and Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
Daniel R. Brooks, Esra Erdem, James W. Minett, Don...
MOZ
2004
Springer
15 years 9 months ago
The XDG Grammar Development Kit
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
Ralph Debusmann, Denys Duchier, Joachim Niehren
ECBS
2004
IEEE
93views Hardware» more  ECBS 2004»
15 years 8 months ago
Domain Independent Generative Modeling
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
Branislav Kusy, Ákos Lédeczi, Miklos...
DEON
2006
Springer
15 years 7 months ago
Speech Acts with Institutional Effects in Agent Societies
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
Robert Demolombe, Vincent Louis