Sciweavers

10585 search results - page 532 / 2117
» The Orc Programming Language
Sort
View
HPCN
2000
Springer
15 years 10 months ago
Dynamic Reconfiguration in Coordination Languages
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
George A. Papadopoulos, Farhad Arbab
183
Voted
ICALP
2000
Springer
15 years 10 months ago
Reasoning about Idealized ALGOL Using Regular Languages
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
Dan R. Ghica, Guy McCusker
FP
1995
110views Formal Methods» more  FP 1995»
15 years 10 months ago
Using Types to Parse Natural Language
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
Mark P. Jones, Paul Hudak, Sebastian Shaumyan
STACS
1991
Springer
15 years 10 months ago
Optimal Parallel Recognition of Bracket Languages on Hypercubes
Bracket languages play an important role in the syntax analysis of programming languages. We investigate the parallel recognition and analysis of these languages as a first step ...
Gisela Pitsch, Elmar Schömer
159
Voted
USENIX
1990
15 years 8 months ago
Tcl: An Embeddable Command Language
Tcl is an interpreter for a tool command language. It consists of a library package that is embedded in tools (such as editors, debuggers, etc.) as the basic command interpreter. ...
John K. Ousterhout