851 search results - page 56 / 171 » Associative definition of programming languages |
160
click to vote
SAS
1992
Springer
15 years 6 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
117
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Aspect-Oriented Programming (AOP) is a powerful technique to better modularize object-oriented programs by introducing crosscutting concerns in a safe and noninvasive way. Unfortu...
105
click to vote
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...
ISNN
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we analyzed self-organizing map of conceptual and semantic relations for noun, discussing the semantic distinction between conceptual nouns for natural language proc...