4743 search results - page 18 / 949 » The PlusCal Algorithm Language |
INFORMATICALT
2002
13 years 9 months ago
2002
In this paper we consider non-deterministic finite Rabin
ICLP
2011
Springer
13 years 1 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
APLAS
2008
ACM
13 years 12 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
COGSCI
2007
13 years 9 months ago
2007
Languages are transmitted from person to person and generation to generation via a process of iterated learning: people learn a language from other people who once learned that la...
GOSLER
1995
14 years 1 months ago
1995
The present paper deals with the learnability of indexed families of uniformly recursive languages from positive data as well as from both, positive and negative data. We consider...