Search Sciweavers | Sciweavers

10935 search results - page 374 / 2187

» Neural Programming Language

191

click to vote

FOAL
2009
ACM

134views Natural Language Processing» more FOAL 2009»

A type system for functional traversal-based aspects

16 years 1 months ago

Download www.ccs.neu.edu

We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...

Bryan Chadwick, Karl J. Lieberherr

claim paper

Read More »

154

click to vote

COLING
1994

72views Computational Linguistics» more COLING 1994»

Table-driven Neural Syntactic Analysis of Spoken Korean

15 years 8 months ago

Download acl.ldc.upenn.edu

A CYK-table-driven interactive relaxation parsing method of spoken Korean, integrated with the CYK-based morphological analysis is introduced. An extension of the Categorial Gramm...

Wonil Lee, Geunbae Lee, Jong-Hyeok Lee

claim paper

Read More »

272

click to vote

POPL
2006
ACM

134views Programming Languages» more POPL 2006»

A verifiable SSA program representation for aggressive compiler optimization

16 years 7 months ago

Download www.cs.cmu.edu

Vijay Menon, Neal Glew, Brian R. Murphy, Andrew Mc...

claim paper

Read More »

174

click to vote

ISORC
2002
IEEE

123views Distributed And Parallel Com...» more ISORC 2002»

Program Instrumentation for Debugging and Monitoring with AspectC++

15 years 11 months ago

Download www.aspectc.org

Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...

Daniel Mahrenholz, Olaf Spinczyk, Wolfgang Schr&ou...

claim paper

Read More »

140

click to vote

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers