Printer Friendly

Browse Programming languages topic

Research subtopic

Articles

1-44 out of 44 article(s)
Title Author Type Date Words
IMP with exceptions over decorated logic. Ekici, Burak Report Aug 1, 2018 21517
Software-based self-test generation for microprocessors with high-level decision diagrams/Korgtasemega otsustusdiagrammidel pohinev testprogrammide suntees mikroprotsessoritele. Jasnetski, Artjom; Ubar, Raimund; Tsertov, Anton; Brik, Marina Report Mar 1, 2014 7716
Program flow control in Wolfram mathematica. Lackovic, Andrej Report Jan 1, 2010 1167
Run-time manipulation of programs in a statically-typed language. Greiner, Sago Oct 1, 2009 964
Development and debugging of information measurement and control systems for mobile robots with python dynamic language. Kirsanov, Kirill Report Jan 1, 2009 1286
Shifts with decidable language and non-computable entropy. Hertling, Peter; Spandl, Christoph Formula Nov 1, 2008 10630
Using the "Moodle" Learning Management System and "GREWPtool" Collaborative Tool for Teaching a Programming Language. Cavus, Nadire; Uzunboylu, Huseyin; Ibrahim, Dogan Author abstract Dec 1, 2006 170
The glistening Ruby: an interpreted scripting language with an object-oriented heritage. Joyce, John Oct 1, 2005 1092
Computer science senior section. Naugler, David R. Jan 1, 2004 1148
The Process Specification Language (PSL): theory and applications. Gruninger, Michael; Menzel, Christopher Sep 22, 2003 5444
An overview of the Semantic Web. (South Carolina Academy of Sciences Abstracts). Balem, J. Philip; Demos, Christina; Clarkson, Townsend Pope, II; Gaskins, John; Lipka, Harold; Willi Brief Article Jan 1, 2003 121
Multiagent systems for adaptive workflow enactment. (South Carolina Academy of Sciences Abstracts). Buhler, Paul; Vidal, Jose Brief Article Jan 1, 2003 184
Human rights and Christian mission. Brief Article Jul 1, 2002 460
RUNNABLE NATURAL LANGUAGE SPECIFICATION USING TWO LEVEL GRAMMAR. Brief Article Apr 1, 2001 244
The Role of Commutativity in Constraint Propagation Algorithms. APT, KRZYSZTOF R. Nov 1, 2000 20883
A Needed Narrowing Strategy. ANTOY, SERGIO; ECHAHED, RACHID; HANUS, MICHAEL Jul 1, 2000 26833
The Maximum Entropy Approach and Probabilistic IR Models. GREIFF, WARREN R.; PONTE, JAY M. Jul 1, 2000 14218
Data Integration Using Similarity Joins and a Word-Based Information Representation Language. COHEN, WILLIAM W. Jul 1, 2000 16374
Fusion-Based Register Allocation. LUEH, GUEI-YUAN; GROSS, THOMAS; ADL-TABATABAI, ALI-REZA May 1, 2000 17251
Java Bytecode Compression for Low-End Embedded Systems. CLAUSEN, LARS RAEDER; SCHULTZ, ULRIK PAGH; CONSEL, CHARLES; MULLER, GILLES Statistical Data Included May 1, 2000 9205
From Algol to Polymorphic Linear Lambda-Calculus. O'HEARN, PETER W.; REYNOLDS, JOHN C. Jan 1, 2000 27405
An Implementation of a Fourier Series Method for the Numerical Inversion of the Laplace Transform. D'AMORE, LUISA; LACCETTI, GIULIANO; MURLI, ALMERICO Statistical Data Included Sep 1, 1999 7431
Algorithm 796: A Fortran Software Package for the Numerical Inversion of the Laplace Transform Based on a Fourier Series Method. D'AMORE, LUISA; LACCETTI, GIULIANO; MURLI, ALMERICO Sep 1, 1999 2558
Algorithm 797: Fortran Subroutines for Approximate Solution of Graph Planarization Problems Using GRASP. RIBEIRO, CELSO C.; RESENDE, MAURICIO G. C. Statistical Data Included Sep 1, 1999 4594
Cache Miss Equations: A Compiler Framework for Analyzing and Tuning Memory Behavior. GHOSH, SOMNATH; MARTONOSI, MARGARET; MALIK, SHARAD Statistical Data Included Jul 1, 1999 22744
Model-Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations, and Experimental Results. BULTAN, TEVFIK; GERBER, RICHARD; PUGH, WILLIAM Jul 1, 1999 20527
Dependency Analysis for Standard ML. BLUME, MATTHIAS Statistical Data Included Jul 1, 1999 10572
Hierarchical Modularity. BLUME, MATTHIAS; APPEL, ANDREW W. Jul 1, 1999 13048
Interprocedural Pointer Alias Analysis. HIND, MICHAEL; BURKE, MICHAEL; CARINI, PAUL; CHOI, JONG-DEOK Statistical Data Included Jul 1, 1999 21557
Specificational Functions. MORRIS, J.M.; BUNKENBURG, A. May 1, 1999 12146
Reasoning about Grover's Quantum Search Algorithm Using Probabilistic wp. BUTLER, MICHAEL; HARTEL, PIETER May 1, 1999 4850
Efficient Logic Variables for Distributed Computing. HARIDI, SEIF; VAN ROY, PETER; BRAND, PER; MEHL, MICHAEL; SCHEIDHAUER, RALF; SMOLKA, GERT May 1, 1999 26330
Partial Redundancy Elimination in SSA Form. KENNEDY, ROBERT; CHAN, SUN; LIU, SHIN-MING; LO, RAYMOND; TU, PENG; CHOW, FRED Statistical Data Included May 1, 1999 22415
A Task- and Data-Parallel Programming Language Based on Shared Objects. HASSEN, SANIYA BEN; BAL, HENRI E.; JACOBS, CERIEL J.H. Nov 1, 1998 17612
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. LEE, OUKSEH; YI, KWANGKEUN Jul 1, 1998 7131
A Region Inference Algorithm. TOFTE, MADS; BIRKEDAL, LARS Jul 1, 1998 20799
Automatic Data Layout for Distributed-Memory Machines. KENNEDY, KEN; KREMER, ULRICH Jul 1, 1998 20643
Programming languages for mobile code. Thorn, Tommy Sep 1, 1997 12827
How to declare an imperative. Wadler, Philip Sep 1, 1997 12993
Strategic directions in research on programming languages. Hankin, Chris; Nielson, Hanne Riis; Palsberg, Jens Dec 1, 1996 4000
Third and fourth generation language productivity differences. Klepper, Robert; Bock, Douglas Sep 1, 1995 7238
A visual software process language. Shepard, Terry; Sibbald, Steve; Wortley, Colin Technical Apr 1, 1992 4929
Intelligent software technology for the new decade. Narin'yani, Alexander S. Jun 1, 1991 4237
Three new-generation software environments. Tyugu, Enn Jun 1, 1991 6871

Terms of use | Privacy policy | Copyright © 2020 Farlex, Inc. | Feedback | For webmasters