391 search results - page 12 / 79 » Automatic programming with semantic streams |
POPL
2012
ACM
13 years 6 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus-based ...
101
click to vote
ER
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
106
click to vote
PLDI
2000
ACM
15 years 3 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...