TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 67 records were found in 0.312 seconds
A System for Checking Semi-formal Proofs
FECS, 82-85, 2008
An Experiment Comparing the Performance of Declarative and Procedural Languages
IKE, 291-296, 2007
A Language Facilitating Informal Reasoning about Programs
SEKE, 396-, 2007
Executable English
MLMTA, 57-62, 2006
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification
SEKE, 315-320, 2006
A Cluster Implementation for the Parallel Programming Language SequenceL
PDPTA, 569-575, 2006
SequenceL - An Overview of a Simple Language
PLC, 64-70, 2005
Learning Natural Language Using Genetic Algorithms
IC-AI, 1092-1096, 2004
Multiple domain behavioral modeling using VHDL-AMS
ISCAS (5), 644-647, 2004
Natural Language Parsing Using Simple Neural Networks
MLMTA, 137-141, 2003