Sciweavers

Share
10055 search results - page 1 / 2011
» Structured programming using processes
Sort
View
ERLANG
2004
ACM
12 years 7 months ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
Jay Nelson
APLAS
2004
ACM
12 years 7 months ago
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
There are two ways to write a program for manipulating tree-structured data such as XML documents: One is to write a tree-processing program focusing on the logical structure of t...
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
AMR
2006
Springer
138views Multimedia» more  AMR 2006»
12 years 5 months ago
Fast Structuring of Large Television Streams Using Program Guides
An original task of structuring and labeling large television streams is tackled in this paper. Emphasis is put on simple and efficient methods to detect precise boundaries of prog...
Xavier Naturel, Guillaume Gravier, Patrick Gros
ACSAC
2007
IEEE
12 years 8 months ago
Automated Security Debugging Using Program Structural Constraints
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...
Chongkyung Kil, Emre Can Sezer, Peng Ning, Xiaolan...
CC
2005
Springer
115views System Software» more  CC 2005»
12 years 7 months ago
Hob: A Tool for Verifying Data Structure Consistency
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
books