Sciweavers

Share
MP
2006
65views more  MP 2006»
8 years 4 months ago
Strong Formulations of Robust Mixed 0-1 Programming
We introduce strong formulations for robust mixed 0
Alper Atamtürk
JUCS
2006
104views more  JUCS 2006»
8 years 4 months ago
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
Jaime Sánchez-Hernández
JUCS
2008
137views more  JUCS 2008»
8 years 4 months ago
Context-Oriented Programming with the Ambient Object System
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
Sebastián González, Kim Mens, Alfred...
JOT
2008
100views more  JOT 2008»
8 years 4 months ago
Panda: a Pattern-based Programming System for Automatic Code Generation
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
Daniele Mazzeranghi
CPHYSICS
2007
88views more  CPHYSICS 2007»
8 years 4 months ago
Programming physics softwares in Flash
We discuss various aspects of programming physics education software in Adobe Flash. Since the authoring environment for Flash is initially developed for non-programmers, it is ea...
Koo-Chul Lee, Julian Lee
INTERNET
2008
150views more  INTERNET 2008»
8 years 4 months ago
RPC and REST: Dilemma, Disruption, and Displacement
straction and explained how the Representational State Transfer (REST) architectural style is one alternative that can yield a superior approach to building distributed systems. Be...
Steve Vinoski
ENTCS
2006
122views more  ENTCS 2006»
8 years 4 months ago
Combining Aspect-Oriented and Strategic Programming
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
Karl Trygve Kalleberg, Eelco Visser
CORR
2006
Springer
135views Education» more  CORR 2006»
8 years 4 months ago
Constraint Functional Logic Programming over Finite Domains
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
Antonio J. Fernández, Maria Teresa Hortal&a...
ENTCS
2008
175views more  ENTCS 2008»
8 years 4 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu
CORR
2008
Springer
77views Education» more  CORR 2008»
8 years 4 months ago
Programming an interpreter using molecular dynamics
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
Jan A. Bergstra, C. A. Middelburg
books