Sciweavers

1671 search results - page 37 / 335
» Language Constructs for Multi-agent Programming
Sort
View
121
Voted
JCIT
2010
139views more  JCIT 2010»
14 years 9 months 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 6 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 8 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 6 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
15 years 8 months 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...