Sciweavers

1671 search results - page 37 / 335
» Language Constructs for Multi-agent Programming
Sort
View
JCIT
2010
139views more  JCIT 2010»
15 years 23 days ago
Constructing Product Knowledge-Sharing System for Internet Transaction-Matching Model
This study explores the construction of an intermediary as a product knowledge-sharing system for design industry with the advanced features of the Extensible Markup Language (XML...
Yu-Cheng Chen, Hsin-Hsi Lai, Heng-Chang Lin
KBSE
1997
IEEE
15 years 10 months ago
A Formal Automated Approach for Reverse Engineering Programs with Pointers
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
Gerald C. Gannod, Betty H. C. Cheng
SAC
2005
ACM
15 years 11 months ago
A two-dimensional separation of concerns for compiler construction
During language evolution, compiler construction is usually d along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilita...
Xiaoqing Wu, Suman Roychoudhury, Barrett R. Bryant...
ACMSE
2007
ACM
15 years 10 months ago
Java in the box: implementing the BoxScript component language
BoxScript is a Java-based language that supports the componentoriented programming paradigm. BoxScript introduces a composition strategy and type structure to support two main pro...
Yi Liu, H. Conrad Cunningham
FSTTCS
2007
Springer
16 years 4 days ago
Closures and Modules Within Linear Logic Concurrent Constraint Programming
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
Rémy Haemmerlé, François Fage...