J. Nelson Rushton

According to our database1, J. Nelson Rushton authored at least 16 papers between 2003 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
SequenceL: transparency and multi-core parallelisms.
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

2009
Probabilistic reasoning with answer sets.
Theory Pract. Log. Program., 2009

Taking Parnas's Principles to the Next Level: Declarative Language Design.
Computer, 2009

2008
Normalize, transpose, and distribute: An automatic approach for handling nonscalars.
ACM Trans. Program. Lang. Syst., 2008

A System for Checking Semi-formal Proofs.
Proceedings of the 2008 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2008

2007
A Language Facilitating Informal Reasoning about Programs.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

An Experiment Comparing the Performance of Declarative and Procedural Languages.
Proceedings of the 2007 International Conference on Information & Knowledge Engineering, 2007

2006
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

A Cluster Implementation for the Parallel Programming Language SequenceL.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

Executable English.
Proceedings of the 2006 International Conference on Machine Learning; Models, 2006

The Role of Theory and Experiment in Language Design--A 15 Year Perspective.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Combining Logical and Probabilistic Reasoning.
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

2005
SequenceL - An Overview of a Simple Language.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Iterative and Parallel Algorithm Design from High Level Language Traces.
Proceedings of the Computational Science, 2005

2004
Learning Natural Language Using Genetic Algorithms.
Proceedings of the International Conference on Artificial Intelligence, 2004

2003
Natural Language Parsing Using Simple Neural Networks.
Proceedings of the International Conference on Machine Learning; Models, Technologies and Applications. MLMTA'03, June 23, 2003


  Loading...