Sciweavers

8109 search results - page 63 / 1622
» A Model of Component-Based Programming
Sort
View
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 6 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
TOOLS
1998
IEEE
15 years 6 months ago
C++ Program Information Database for Analysis Tools
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
Wanghong Yuan, X. Chen, Tao Xie, Hong Mei, Fuqing ...
DOCENG
2004
ACM
15 years 7 months ago
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
Peter R. King, Patrick Schmitz, Simon J. Thompson
LPNMR
2009
Springer
15 years 9 months ago
Layer Supported Models of Logic Programs
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
Luís Moniz Pereira, Alexandre Miguel Pinto
205
Voted
POPL
2009
ACM
16 years 3 months ago
A foundation for flow-based program matching: using temporal logic and model checking
Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...