Programming Languages

Authors and titles for recent submissions

[ total of 6 entries: 1-6 ]
[ showing up to 25 entries per page: fewer | more ]

Mon, 12 Jan 2009

[1]  arXiv:0901.1230 [ps, pdf, other]
Title: Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
Authors: Leslie De Koninck
Comments: To appear in Theory and Practice of Logic Programming (TPLP)
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

Wed, 31 Dec 2008

[2]  arXiv:0812.4973 [pdf, other]
Title: A Simple, Linear-Time Algorithm for x86 Jump Encoding
Authors: Neil G. Dickson
Comments: 5 pages
Subjects: Programming Languages (cs.PL)
[3]  arXiv:0812.4852 (cross-list from cs.LO) [pdf]
Title: Common sense for concurrency and strong paraconsistency using unstratified inference and reflection
Authors: Carl Hewitt
Comments: Expanded version of "Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency" Coordination, Organizations, Institutions, and Norms in Agent Systems III Jaime Sichman, Pablo Noriega, Julian Padget and Sascha Ossowski (ed.). Springer-Verlag. 2008. this http URL
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

Fri, 19 Dec 2008

[4]  arXiv:0812.3550 [pdf, other]
Title: XML Static Analyzer User Manual
Authors: Pierre Geneves, Nabil Layaida
Subjects: Programming Languages (cs.PL); Databases (cs.DB); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

Wed, 17 Dec 2008

[5]  arXiv:0812.2926 [ps, pdf, other]
Title: New parallel programming language design: a bridge between brain models and multi-core/many-core computers?
Authors: Gheorghe Stefanescu, Camelia Chira
Comments: To appear in: "From Natural Language to Soft Computing: New Paradigms in Artificial Intelligence,", L.A. Zadeh et.al (Eds.), Editing House of Romanian Academy, 2008
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

Thu, 11 Dec 2008

[6]  arXiv:0812.1986 (cross-list from cs.SE) [pdf, other]
Title: Control software analysis, part II: Closed-loop analysis
Authors: Eric Feron, Fernando Alegre
Comments: 16 pages, 2 figures
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[ total of 6 entries: 1-6 ]
[ showing up to 25 entries per page: fewer | more ]