Search Sciweavers | Sciweavers

7961 search results - page 41 / 1593

» Input-Output Model Programs

146

click to vote

TOOLS
1998
IEEE

125views Programming Languages» more TOOLS 1998»

C++ Program Information Database for Analysis Tools

15 years 10 months ago

Download people.engr.ncsu.edu

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 ...

claim paper

Read More »

144

click to vote

DOCENG
2004
ACM

138views Document Analysis» more DOCENG 2004»

Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation

15 years 11 months ago

Download www.ludicrum.org

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

claim paper

Read More »

122

click to vote

LPNMR
2009
Springer

101views Automated Reasoning» more LPNMR 2009»

Layer Supported Models of Logic Programs

16 years 17 days ago

Download centria.di.fct.unl.pt

Building upon the 2-valued Layered Models semantics for normal programs, we introduce a reﬁnement — the Layer Supported Models semantics — which, besides keeping all of LMs�...

Luís Moniz Pereira, Alexandre Miguel Pinto

claim paper

Read More »

265

click to vote

POPL
2009
ACM

102views Programming Languages» more POPL 2009»

A foundation for flow-based program matching: using temporal logic and model checking

16 years 6 months ago