Sciweavers

1671 search results - page 89 / 335
» Language Constructs for Multi-agent Programming
Sort
View
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 9 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
PPDP
2010
Springer
15 years 4 months ago
Graph queries through datalog optimizations
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. L...
ICFP
2005
ACM
16 years 6 months ago
An expressive language of signatures
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
Norman Ramsey, Kathleen Fisher, Paul Govereau
AICCSA
2001
IEEE
103views Hardware» more  AICCSA 2001»
15 years 10 months ago
Seamless Integration of Control Flow and Data Flow in a Visual Language
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
Honitriniela Randriamparany, Bertrand Ibrahim
CL
2000
Springer
15 years 6 months ago
Semantics of well-moded input-consuming logic programs
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
Annalisa Bossi, Sandro Etalle, Sabina Rossi