Search Sciweavers | Sciweavers

7961 search results - page 41 / 1593

» Input-Output Model Programs

106

click to vote

TOOLS
1998
IEEE

125views Programming Languages» more TOOLS 1998»

C++ Program Information Database for Analysis Tools

15 years 6 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 »

100

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

click to vote

LPNMR
2009
Springer

101views Automated Reasoning» more LPNMR 2009»

Layer Supported Models of Logic Programs

15 years 8 months 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 »

205

Voted

POPL
2009
ACM

102views Programming Languages» more POPL 2009»

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

16 years 2 months ago