Sciweavers

9455 search results - page 318 / 1891
» The Modelling Language Zinc
Sort
View
BIRTHDAY
2009
Springer
16 years 1 months ago
Formal Grammars of Early Language
We propose to model the development of language by a series of formal grammars, accounting for the linguistic capacity of children at the very early stages of mastering language. T...
Shuly Wintner, Alon Lavie, Brian MacWhinney
ASP
2005
Springer
16 years 9 days ago
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
Luis Tari, Chitta Baral, Saadat Anwar
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 4 days ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
SIGCOMM
1999
ACM
15 years 11 months ago
A Readable TCP in the Prolac Protocol Language
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
Eddie Kohler, M. Frans Kaashoek, David R. Montgome...
ALT
1997
Springer
15 years 11 months ago
Synthesizing Noise-Tolerant Language Learners
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of languages (by definition) generat...
John Case, Sanjay Jain, Arun Sharma