Sciweavers

10055 search results - page 238 / 2011
» Structured programming using processes
Sort
View
FSMNLP
2005
Springer
14 years 4 months ago
A Programming Language for Finite State Transducers
This paper presents SFST-PL, a programming language for finite state transducers which is based on extended regular expressions with variables. The programming language is both si...
Helmut Schmid
POPL
2007
ACM
14 years 11 months ago
PADS/ML: a functional data description language
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
Artem Gleyzer, David Walker, Kathleen Fisher, Mary...
UIST
2003
ACM
14 years 4 months ago
Perceptually-supported image editing of text and graphics
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
Eric Saund, David J. Fleet, Daniel Larner, James M...
HLPPP
1991
14 years 2 months ago
Reasoning About Synchronic Groups
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
Gruia-Catalin Roman, H. Conrad Cunningham
ECOOP
2005
Springer
14 years 4 months ago
State Based Ownership, Reentrance, and Encapsulation
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...
Anindya Banerjee, David A. Naumann