Sciweavers

189 search results - page 9 / 38
» Semantics of a Functional BSP Language with Imperative Featu...
Sort
View
ACL
1992
13 years 8 months ago
GPSM: A Generalized Probabilistic Semantic Model for Ambiguity Resolution
In natural language processing, ambiguity resolution is a central issue, and can be regarded as a preference assignment problem. In this paper, a Generalized Probabilistic Semanti...
Jing-Shin Chang, Yih-Fen Luo, Keh-Yih Su
PLDI
2010
ACM
14 years 19 days ago
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...
Matthew Might, Yannis Smaragdakis, David Van Horn
PLDI
2010
ACM
14 years 19 days ago
Mint: Java multi-stage programming using weak separability
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong...
ECOOP
2000
Springer
13 years 12 months ago
Towards a Unified Programming Language
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
Ole Lehrmann Madsen
KI
2006
Springer
13 years 7 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach