4386 search results - page 302 / 878 » A Tamper-Resistant Programming Language System |
130
click to vote
EACL
2006
ACL Anthology
15 years 4 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...
123
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
124
Voted
ESAW
2009
Springer
15 years 10 months ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
110
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...
122
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...