Sciweavers

10585 search results - page 279 / 2117
» The Orc Programming Language
Sort
View
BNCOD
2004
106views Database» more  BNCOD 2004»
13 years 11 months ago
Language Bindings for Spatio-Temporal Database Programming in Tripod
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....
Tony Griffiths, Norman W. Paton, Alvaro A. A. Fern...
ICCL
1998
IEEE
14 years 1 months ago
Network Programming Using PLAN
Abstract. We present here a methodology for programming active networks in the environment de ned by our new language PLAN (Packet Language for Active Networks). This environment p...
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore...
APLAS
2003
ACM
14 years 1 months ago
Dataflow Pointcut in Aspect-Oriented Programming
A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is ...
Hidehiko Masuhara, Kazunori Kawauchi
JLP
2007
89views more  JLP 2007»
13 years 9 months ago
Universality and semicomputability for nondeterministic programming languages over abstract algebras
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
Wei Jiang, Yuan Wang, Jeffery I. Zucker
OOPSLA
2005
Springer
14 years 3 months ago
Finding application errors and security flaws using PQL: a program query language
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
Michael C. Martin, V. Benjamin Livshits, Monica S....