Printer Friendly

Browse Programming languages topic


1-299 out of 299 article(s)
Title Author Type Date Words
A Programming Language for Future Interests. Basu, Shrutarshi; Foster, Nate; Grimmelmann, James; Parikh, Shan; Richardson, Ryan Jan 1, 2022 22156
Polyglot Programming and the Benefits of Mastering Several Languages. Zabawa, Marcin Oct 1, 2021 1543
Appreciating functional programming: A beginner's tutorial to HASKELL illustrated with applications in numerical methods. Lim, Chu Wei; Ho, Weng Kin Report Jun 1, 2021 9279
Apps and toys to learn coding. Jun 22, 2020 1589
Design and Simulation of 64 Bit FPGA Based Arithmetic Logic Unit. Bedir, Nuray Saglam; Kacar, Firat Report Dec 1, 2019 4095
The Heteroskedasticity Tests Implementation for Linear Regression Model Using MATLAB. Malyarets, Lyudmyla; Kovaleva, Katerina; Lebedeva, Irina; Misiura, Ievgeniia; Dorokhov, Oleksandr Technical report Dec 1, 2018 6147
IMP with exceptions over decorated logic. Ekici, Burak Report Aug 1, 2018 21517
IMP with exceptions over decorated logic. Ekici, Burak Report Jul 1, 2018 16903
Scratch = Logo with enhanced user-friendliness. Gough, John Essay Jun 22, 2018 1049
Coding with Scratch: An interactive addition quizzer. Gough, John Essay Jun 22, 2018 2522
VERS UNE SEMIOTIQUE COMPUTATIONNELLE: ETUDE DE CAS ET PREMIERES EXPLORATIONS. Pulizzotto, Davide; Chartier, Jean-Francois; Meunier, Jean-Guy; Chartand, Louis; Lareau, Francis; He Case study Feb 1, 2018 6235
A Characterization for Decidable Separability by Piecewise Testable Languages. Czerwinski, Wojciech; Martens, Wim; Rooijen, Lorijn van; Zeitoun, Marc; Zetzsche, Georg Report Sep 1, 2017 15407
Model-Based Dependability Analysis of Physical Systems with Modelica. Tundis, Andrea; Buffoni, Lena; Fritzson, Peter; Garro, Alfredo Report Jan 1, 2017 10161
Driving your instruments' out-of-the-box experience. Nelson, Rick Nov 1, 2016 2839
Exploring teaching programming online through web conferencing system: the lens of activity theory. Cakiroglu, Unal; Kokoc, Mehmet; Kol, Elvan; Turan, Ebru Report Oct 1, 2016 6750
BriAnna McKissen: an influencer in the tech world. Watson, Mark Oct 1, 2016 535
Triangulating with libs celebrating diversity and community. Masse, Don Sep 1, 2016 1078
Automated feedback as a convergence tool. Chenoweth, Tim; Corral, Karen; Scott, Kit Report Jan 1, 2016 5650
Toolkits for the mind: programming languages shape the way their users think--which helps explain how tech startups work and why they are able to reinvent themselves. Somers, James May 1, 2015 2323
GoMapReduce parallel computing model implementation on a cluster of Plan9 virtual machines. Leokhin, Yury L.; Myagkov, Andrey S.; Panfilov, Peter B. Report Jan 1, 2015 3098
The MiniZinc challenge 2008-2013. Stuckey, Peter J.; Feydy, Thibaut; Schutt, Andreas; Tack, Guido; Fischer, Julien Jun 22, 2014 3938
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
Trials with TP-based programming for interactive course material. Rocnik, Jan Report Jun 1, 2013 7371
Orange: data mining fruitful and fun--a historical perspective. Demsar, Janez; Zupan, Blaz Report Mar 1, 2013 2475
SEC and FASB filing updates regarding XBRL. Brands, Kristine Mar 1, 2013 872
Preface. Penjam, Jaan Editorial Mar 1, 2013 1022
Certain types of interval-valued fuzzy graphs. Akram, Muhammad; Alshehri, Noura Omair; Dudek, Wieslaw A. Report Jan 1, 2013 7017
Development of state-based squeak and an examination of its effect on robot programming education. Aoki, Hiroyuki; Kim, JaMee; Idosaka, Yukio; Kamada, Toshiyuki; Kanemune, Susumu; Lee, WonGyu Report Nov 1, 2012 8479
Microworlds: Building Powerful Ideas in the Secondary School. Jenkins, Craig William Report Jan 1, 2012 167
Rationale and design of the access specification language RASP. Evered, Mark Report Jan 1, 2012 6039
Froglingo, a programming language empowered by a total-recursive-equivalent data model. Xu, Kevin; Zhang, Jingsong; Gao, Shelby Report Aug 1, 2011 11398
A comparison of single- and dual-screen environment in programming language: cognitive loads and learning effects. Chang, Ting-Wen; Hsu, Jenq-Muh; Yu, Pao-Ta Report Apr 1, 2011 6714
Scratch: multimedia programming environment for young gifted learners. Lee, Younq-Jin Mar 22, 2011 3112
Learning to Program in KPL through Guided Collaboration. Hsiao, Sheng-Che; Lin, Janet Mei-Chuen; Kang, Jiin-Cherng Abstract Jan 1, 2011 294
Optimized RGB to HSV color conversion using SSE technology. Kobalicek, Petr; Bliznak, Michal Report Jan 1, 2011 1703
Using the same problem with different techniques in programming assignments: an empirical study of its effectiveness. Newby, Michael; Nguyen, ThuyUyen H. Report Dec 22, 2010 5595
A model representation for image content. Mocanu, Irina Georgiana; Negreanu, Lorina Cristina Report Jan 1, 2010 2275
Determining the dimensions of the plane semifinished materials for bent parts suing LabView applications. Savu, Tom; Abaza, Bogdan; Spanu, Paulina Report Jan 1, 2010 1229
Program flow control in Wolfram mathematica. Lackovic, Andrej Report Jan 1, 2010 1167
Interpreting beyond syntactics: a semiotic learning model for computer programming languages. May, Jeffrey; Dhillon, Gurpreet Report Dec 22, 2009 5125
Bringing that CanDo spirit: an educator's determined effort to update his school's archaic data systems results in a grassroots programming project whose success is all in its name. O'Hanlon, Charlene Nov 1, 2009 1361
Realization of UML class and state machine models in the C# code generation and execution framework. Derezinska, Anna; Pilitowski, Romuald Report Nov 1, 2009 7193
Run-time manipulation of programs in a statically-typed language. Greiner, Sago Oct 1, 2009 964
Be a quiz whiz. Brief article Sep 1, 2009 288
MIRFAC. Sep 1, 2009 494
Teaching elementary algorithmics using a computer algebra system. McAndrew, Alasdair Jun 1, 2009 6413
A generic context model enhanced with self-configuring features. Cioara, Tudor; Anghel, Ionut; Salomie, Ioan; Dinsoreanu, Mihaela Report Jun 1, 2009 6287
Optimizing data transfer between different integrated design systems using UML architectures. Bucur, Carmen Cristiana; Cazacu, Dragos Alexandru; Aurite, Traian Report Jan 1, 2009 1418
Modelling and simulation of robot system using Matlab and Simulink. Damic, Vjekoslav; Cohodar, Maida; Kulenovic, Malik Report Jan 1, 2009 1196
Wireless networks and programming languages used in the management of emergency situations. Cioca, Marius; Cioca, Lucian-Ionel; Mihaescu, Liviu Report Jan 1, 2009 1741
Using web engineering and programming languages in documents management. Cioca, Lucian-Ionel; Cioca, Marius; Cioca, Adrian Report Jan 1, 2009 1345
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
Fujitsu Siemens Computers with a uniform design concept. Jun 3, 2008 687
Meaning and links. Woods, William A. Report Dec 22, 2007 15375
Application of UML for modeling urban traffic system using producer consumer theory to generate process algebra model. Darbari, Manuj; Medhavi, Sanjay; Srivastava, Abhay Kumar Aug 1, 2007 1055
Data quality: crucial for every organization. Minton, Gabe May 1, 2007 990
A symbolic approach to teaching geometry. Majewski, Miroslaw Feb 1, 2007 4465
Computer aided foundry models design. Andresini, Antonio; Ludovico, Antonio Domenico; Surace, Rossella Report Jan 1, 2007 1287
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 Effectiveness of Using Learning Management Systems and Collaborative Tool in Web-Based Teaching of Programming Languages. Cavus, Nadire; Uzunboylu, Huseyin; Ibrahim, Dogan Report Nov 25, 2006 182
BlackSpider announces enhanced language support. Brief article Aug 23, 2006 144
A survey of programming languages and platforms for multi-agent systems. Bordini, Rafael H.; Braubach, Lars; Dastani, Mehdi; Seghrouchni, Amal El Fallah; Gomez-Sanz, Jorge J Jan 1, 2006 8880
Generative application development using scripting model of application generators. Radosevic, Daniel; Klicek, Bozidar.; Dobsa, Jasminka Report Jan 1, 2006 3423
Conceptual similarities and differences between object model and generator application scripting model. Radosevic, Danijel; Kozina, Melita; Klicek, Bozidar Report Jan 1, 2006 2609
What is Pico. Nov 1, 2005 1336
The glistening Ruby: an interpreted scripting language with an object-oriented heritage. Joyce, John Oct 1, 2005 1092
Intel offers new software tools to unlock potential of multi-core platforms. Brief Article Jun 15, 2005 186
Enhancing conceptual learning through computer-based applets: the effectiveness and implications. Martin, Brian Mar 22, 2005 6962
XBRL: a technology whose time is now; The question isn't whether XBRL is going to happen, but how quickly, where first and with how much collaboration. Even with big U.S. players behind it, fewer than 5 percent of U.S. public companies are now using XBRL--but this could soon change. Cheney, Glenn Mar 1, 2005 2011
XBRL. Jan 1, 2005 416
Analysis of string representations for a modern programming language. Naugler, David Abstract Jan 1, 2005 157
Some Smarandache identities. Karama, Muneer Jebreel Jan 1, 2005 493
Using python scripts in blender. Pokorny, P.; Sysel, M. Report Jan 1, 2005 1614
Celoxica launches new design entry platform to portfolio. Brief Article Dec 13, 2004 151
Definitions of a scripting language from the Web. Dec 1, 2004 400
IMA supports voluntary XBRL filing program. Hannon, Neal Dec 1, 2004 930
SEC wants XBRL filers. Hannon, Neal Brief Article Nov 1, 2004 1221
A programming environment for static and dynamic distributed systems. Roosta, Seyed H. Sep 22, 2004 6676
SEC exploring XBRL. Brief Article Sep 1, 2004 96
BEA WebLogic Lands on x86 Solaris. Brief Article Jul 1, 2004 167
Sun Highlights Market Potential for Java Developers. Brief Article Jun 29, 2004 532
Computer science senior section. Naugler, David R. Jan 1, 2004 1148
Delphi Springs into .NET and Models. larke, Gavin Nov 3, 2003 382
The Process Specification Language (PSL): theory and applications. Gruninger, Michael; Menzel, Christopher Sep 22, 2003 5444
The CIDOC conceptual reference module: an ontological approach to semantic interoperability of metadata. Doerr, Martin Sep 22, 2003 10616
Privacy Programming Language Planned by IBM. Brief Article Jul 9, 2003 292
Talk to me: XBRL makes business, financial reporting easier. (2003 Technology & Business Resource Guide: Digital Age). Willis, Mike May 1, 2003 1112
Writing object-oriented code. (Software Intelligegnce: Technique). Ferguson, Jeff Mar 1, 2003 3856
Xerox makes new programming language for document transformations available for `test drive'. Brief Article Jan 20, 2003 328
UML 2.0 -- a major revision of the industries de facto software modelling language. (Technote -- Software Intelligence). Bissell, Andrew Jan 1, 2003 1928
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
Using WYSH computer programs to model the Alien Tort Claims Act. Engle, Eric Allen Jan 1, 2003 4201
Littlearth announces new Internet language and web site. Brief Article Dec 31, 2002 139
Littlearth announces new Internet language and web site. Brief Article Dec 31, 2002 127
David vun Kannon on XBRL. (XBRL). Hannon, Neal Interview Nov 1, 2002 1047
Leveraging Web infrastructure for speech applications. (Call Center/CRM Management Scope). Seidman, Jim Jul 1, 2002 1043
Human rights and Christian mission. Brief Article Jul 1, 2002 460
'C# in a Nutshell' released. Brief Article May 3, 2002 94
W3C and NIST release DOM Conformance Test Suite. (News Briefs). Brief Article May 1, 2002 224
Interactive Web page design. (Senior Division). Maerz, Adam H Brief Article Apr 1, 2002 160
Computers and the patent system: the problem of the second step. Kerr, Orin S. Mar 22, 2002 4760
XBRL is speeding right along. (Tech Bytes). Brief Article Mar 1, 2002 154
Second edition of 'C# Essentials' released. Feb 7, 2002 127
The Semantic Web. Hairfield, Abbie; Harryman, Yvonne; Hebbard, Robert; Gist, J.D.; Nowocin, Kimberly; Buhler, Paul Brief Article Jan 1, 2002 146
New language: XBRL allows one reporting tongue. (Financial Reporting). Hollrah, Kent Dec 15, 2001 1479
Extensible Markup Language: A New Technology Tool for the Public Sector. Smith, Ken; Abdolmohammadi, Mohammad; Harris, Jon Dec 1, 2001 5054
Big Plans for XBRL at IMA Annual Conference in New Orleans. Hannon, Neal Brief Article May 1, 2001 500
Central Command discovers Internet worm written in SuperLogo language. Brief Article Apr 10, 2001 156
Type elaboration and subtype completion for Java bytecode. Knoblock, Todd B.; Rehof, Jakob Mar 1, 2001 14047
First and Follow Based Analysis of Context-Free Grammars. Garriott, Corey Brief Article Jan 1, 2001 141
Comparison of the Efficiency of Java and C++ Performance using Sorting Algorithms. Young, Jeffrey Brief Article Jan 1, 2001 203
Semiring-Based Constraint Logic Programming: Syntax and Semantics. BISTARELLI, STEFANO; MONTANARI, UGO; ROSSI, FRANCESCA Jan 1, 2001 17415
Using Types to Analyze and Optimize Object-Oriented Programs. DIWAN, AMER; McKINLEY, KATHRYN S.; MOSS, J. ELIOT B. Jan 1, 2001 18013
XBRL's Emerging Framework. Marshall, Jeffrey Jan 1, 2001 1404
On the Perils of Programming. Malik, Masud Ahmad Dec 1, 2000 1385
Translating Financial Data. Hilgen, David Brief Article Dec 1, 2000 339
Optimizing Object Queries Using an Effective Calculus. FEGARAS, LEONIDAS; MAIER, DAVID Dec 1, 2000 26407
Yes, you can program in VBA. Stein, Justin D. Nov 1, 2000 1853
NIST Can Help Your Computer Speak Fluent XML. Brief Article Nov 1, 2000 181
Extending Graham-Glanville Techniques for Optimal Code Generation. MADHAVAN, MAYA; SHANKAR, PRITI; RAI, SIDDHARTHA; RAMAKRISHNA, U. Nov 1, 2000 11926
The Role of Commutativity in Constraint Propagation Algorithms. APT, KRZYSZTOF R. Nov 1, 2000 20883
Syntactic Type Abstraction. GROSSMAN, DAN; MORRISETT, GREG; ZDANCEWIC, STEVE Nov 1, 2000 20697
A Balanced Code Placement Framework. von HANXLEDEN, REINHARD; KENNEDY, KEN Sep 1, 2000 18942
Typed Memory Management via Static Capabilities. WALKER, DAVID; CRARY, KARL; MORRISETT, GREG Jul 1, 2000 30357
Graph Rewrite Systems for Program Optimization. ASSMANN, UWE Jul 1, 2000 24601
Program Transformation and Runtime Support for Threaded MPI Execution on Shared-Memory Machines. TANG, HONG; SHEN, KAI; YANG, TAO Jul 1, 2000 11637
Chimera: Hypermedia for Heterogeneous Software Development Environments. ANDERSON, KENNETH M.; TAYLOR, RICHARD N.; WHITEHEAD, E. JAMES JR. Jul 1, 2000 15095
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
A Needed Narrowing Strategy. ANTOY, SERGIO; ECHAHED, RACHID; HANUS, MICHAEL Jul 1, 2000 26833
NetSanity introduces new web publishing platform. Brief Article Jun 20, 2000 112
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
OLFACTORY OPT IN. Brief Article Apr 1, 2000 145
XFRML model available for comment. Apr 1, 2000 433
Programming By Example. Lieberman, Henry Mar 1, 2000 1162
Java-Based Jiro Builds New Storage Management Supports. Interview Mar 1, 2000 1030
Generation of LR Parsers by Partial Evaluation. SPERBER, MICHAEL; THIEMANN, PETER Mar 1, 2000 15866
A Model for Compound Type Changes Encountered in Schema Evolution. LERNER, BARBARA STAUDT Mar 1, 2000 18977
Temporal Logics for Real-Time System Specification. BELLINI, P.; MATTOLINI, R.; NESI, P. Mar 1, 2000 17504
Programming Languages and Systems for Prototyping Concurrent Applications. HASSELBRING, WILHELM Mar 1, 2000 17729
XML and XFRML--Esperanto for the Web. Castelluccio, Michael Brief Article Feb 1, 2000 967
REVIEW:Applied XML: A toolkit for programmers. Jan 28, 2000 371
Local Type Inference. PIERCE, BENJAMIN C.; TURNER, DAVID N. Statistical Data Included Jan 1, 2000 21640
From Algol to Polymorphic Linear Lambda-Calculus. O'HEARN, PETER W.; REYNOLDS, JOHN C. Jan 1, 2000 27405
C++ Implementations of Numerical Methods for Solving Differential-Algebraic Equations: Design and Optimization Considerations. KEES, CHRISTOPHER E.; MILLER, CASS T. Dec 1, 1999 10314
A Frontal Code for the Solution of Sparse Positive-Definite Symmetric Systems Arising from Finite-Element Applications. DUFF, IAIN S.; SCOTT, JENNIFER A. Dec 1, 1999 8625
A Type System for Object Initialization in the Java Bytecode Language. FREUND, STEPHEN N.; MITCHELL, JOHN C. Statistical Data Included Nov 1, 1999 20896
Comparing Java vs. C/C++ Efficiency Differences to Interpersonal Differences. Prechelt, Lutz Oct 1, 1999 1953
AICPA establishes a language for electronic-based financial reporting. Harding, Wayne E. Sep 1, 1999 458
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
Sharing and Groundness Dependencies in Logic Programs. CODISH, MICHAEL; SONDERGAARD, HARALD; STUCKEY, PETER J. Sep 1, 1999 15219
Procedure Placement Using Temporal-Ordering Information. GLOY, NIKOLAS; SMITH, MICHAEL D. Sep 1, 1999 20773
Static Correlated Branch Prediction. YOUNG, CLIFF; SMITH, MICHAEL D. Sep 1, 1999 20818
Ace: A Language for Parallel Programming With Customizable Protocols. RAGHAVACHARI, MUKUND; ROGERS, ANNE Aug 1, 1999 19308
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
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
Specificational Functions. MORRIS, J.M.; BUNKENBURG, A. May 1, 1999 12146
THE XML files. Koreto, Richard J. May 1, 1999 4846
The Origin OF THE Camel Lot IN THE Breakdown OF THE Bilingual Unix. Wall, Larry Apr 1, 1999 1029
Identifying Loops In Almost Linear Time. RAMALINGAM, G. Mar 1, 1999 6445
`C and tcc: A Language and Compiler for Dynamic Code Generation. POLETTO, MASSIMILIANO; HSIEH, WILSON C.; ENGLER, DAWSON R.; KAASHOEK, M. FRANS Mar 1, 1999 19518
Structure versus Context: Understanding the Design and Use of Computer Tools in Social Settings. POWELL, KEVIN Jan 1, 1999 4701
A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. WIERINGA, ROEL Dec 1, 1998 33595
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
Using computers for algebraic thinking. Sarama, Julie; Clements, Douglas H. Nov 1, 1998 1735
XML: THE LANGUAGE OF TOMORROW? Freed, John Sep 19, 1998 1642
A sip of Java? Allen, Leilani Column Sep 1, 1998 1266
Efficient and Flexible Incremental Parsing. WAGNER, TIM A.; GRAHAM, SUSAN L. Sep 1, 1998 15317
Alma-0: An Imperative Language that Supports Declarative Programming. APT, KRZYSZTOF R.; BRUNEKREEF, JACOB; PARTINGTON, VINCENT; SCHAERF, ANDREA Sep 1, 1998 21353
A Logical Model for Relational Abstract Domains. GIACOBAZZI, ROBERTO; SCOZZARI, FRANCESCA Sep 1, 1998 23279
Algorithm 783: Pcp2Nurb--Smooth Free-Form Surfacing with Linearly Trimmed Bicubic B-Splines. PETERS, JORG Sep 1, 1998 1894
Algorithm 784: GEMM-Based Level 3 BLAS: Portability and Optimization Issues. KAGSTROM, BO; LING, PER; VAN LOAN, CHARLES Sep 1, 1998 5550
Remark on Algorithm 622: A Simple Macroprocessor. LEVIN, STEWART A. Sep 1, 1998 1375
Certification of Algorithm 734: A Fortran 90 Code for Unconstrained Nonlinear Minimization. HOPKINS, TIM Sep 1, 1998 1341
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
Partial Evaluation of Functional Logic Programs. ALPUENTE, MARIA; FALASCHI, MORENO; VIDAL, GERMAN Jul 1, 1998 40505
A Practical and Flexible Flow Analysis for Higher-Order Languages. ASHLEY, J. MICHAEL; DYBVIG, R. KENT Jul 1, 1998 9667
Automatic Data Layout for Distributed-Memory Machines. KENNEDY, KEN; KREMER, ULRICH Jul 1, 1998 20643
The Automatic Generation of Sparse Primitives. BIK, AART J. C.; BRINKHAUS, PETER J. H.; KNIJNENBURG, PETER M. W.; WIJSHOFF, HARRY A. G. Jun 1, 1998 13357
Models and Languages for Parallel Computation. SKILLICORN, DAVID B.; TALIA, DOMENICO Jun 1, 1998 26524
The design, implementation, and evaluation of Jade. Rinard, Martin C.; Lam, Monica S. May 1, 1998 27404
An abstract machine for tabled execution of fixed-order stratified logic programs. Sagonas, Konstantinos; Swift, Terrance May 1, 1998 21382
Constraint-based array dependence analysis. Pugh, William; Wonnacott, David May 1, 1998 21386
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems. Fokkink, Wan; Kamperman, Jasper; Walters, Pum May 1, 1998 13873
Prospects for PostScript RIPs. Rosenberg, Jim Mar 14, 1998 704
PELLPACK: a problem-solving environment for PDE-based applications on multicomputer platforms. Houstis, E.N.; Rice, J.R.; Weerawarana, S.; Catlin, A.C.; Papachiou, P.; Wang, K.-Y.; Gaitatzes, M. Mar 1, 1998 13460
Performance evaluation of the Orca shared-object system. Bal, Henri E.; Bhoedjang, Raoul; Hofman, Rutger; Jacobs, Ceriel; Langendoen, Koen; Ruhl, Tim; Kaasho Feb 1, 1998 18529
Fast algorithms for compressed multimethod dispatch table generation. Dujardin, Eric; Amiel, Eric; Simon, Eric Jan 1, 1998 23538
Polymorphic splitting: an effective polyvariant flow analysis. Wright, Andrew K.; Jagannathan, Suresh Jan 1, 1998 15943
Corpus-based approaches to semantic interpretation in natural language processing. Ng, Hwee Tou; Zelle, John Dec 22, 1997 12120
How best to provide the services IS programmers need. Glass, Robert L. Column Dec 1, 1997 1292
Toward a complete transformational toolkit for compilers. Bergstra, J.A.; Dinesh, T.B.; Field, J.; Heering, J. Sep 1, 1997 16501
Proving concurrent constraint programs correct. Boer, Frank S. De; Gabbrielli, Maurizio; Marchiori, Elena; Palamidessi, Catuscia Sep 1, 1997 19721
Disjunctive program analysis for algebraic data types. Jensen, Thomas Sep 1, 1997 21424
Mobile objects in Distributed Oz. Van Roy, Peter; Haridi, Seif; Brand, Per; Smolka, Gert; Mehl, Michael; Scheidhauer, Ralf Sep 1, 1997 21043
Programming languages for mobile code. Thorn, Tommy Sep 1, 1997 12827
How to declare an imperative. Wadler, Philip Sep 1, 1997 12993
Cobol - a contradiction and an enigma. Glass, Robert L. Sep 1, 1997 1495
Language for data visualization. Herman, David Jun 1, 1997 271
On the semantics of "now" in databases. Clifford, James; Dyreson, Curtis; Isakowitz, Tomas; Jensen, Christian S.; Snodgrass, Richard T. Jun 1, 1997 18287
On the use of regular expressions for searching text. Clarke, Charles L.A.; Cormack, Gordon V. May 1, 1997 6730
Specifying representations of machine instructions. Ramsey, Norman; Fernandez, Mary F. May 1, 1997 27274
Pure versus impure Lisp. Pippenger, Nicholas Mar 1, 1997 7378
Formally based profiling for higher-order functional languages. Sansom, Patrick M.; Peyton Jones, Simon L. Mar 1, 1997 23439
Precise flow-insensitive may-alias analysis is NP-hard. Horwirtz, Susan Jan 1, 1997 2299
Complementation in abstract interpretation. Cortesi, Agostino; File, Gilberto; Giacobazzi, Roberto; Palamidessi, Catuscia; Ranzato, Francesco Jan 1, 1997 19095
Lightweight closure conversion. Steckler, Paul A.; Wand, Mitchell Jan 1, 1997 13338
A practical soft type system for Scheme. Wright, Andrew K.; Cartwright, Robert Jan 1, 1997 26643
Implementing signatures for C++. Baumgartner, Gerald; Russo, Vincent F. Jan 1, 1997 14500
Strategic directions in research on programming languages. Hankin, Chris; Nielson, Hanne Riis; Palsberg, Jens Dec 1, 1996 4000
Strategic directions in software engineering and programming languages. Gunter, Carl; Mitchell, John (American attorney general); Notkin, David Dec 1, 1996 5320
Java: Online marvel or menace? Dern, Daniel Column Sep 1, 1996 1104
SIL finds a home. Garry, Michael Brief Article Jul 1, 1996 182
Using formal methods to reduce risks. Neumann, Peter G. Jul 1, 1996 773
Software by kids for kids. Kafai, Yasmin B. Apr 1, 1996 1050
Java: a new tool for engineering. Deitz, Dan Apr 1, 1996 3948
Industry leaders endorse Java and VRML. Mar 1, 1996 428
Third and fourth generation language productivity differences. Klepper, Robert; Bock, Douglas Sep 1, 1995 7238
Comparing data modeling formalisms. Kim, Young-Gul; March, Salvatore T. Jun 1, 1995 4862
Self-assessment procedure XXIII: programming languages. Clifton, Mitchell H. May 1, 1995 5390
Advantages of using SGML. Lunemann, Rhonda S. May 1, 1995 1415
Encouraging young children's thinking skills with Logo. Yelland, Nicola J. Mar 22, 1995 1730
Language-independent standards. Moore, James W.; Emery, David; Rada, Roy Dec 1, 1994 2387
MTA thrives on change. Interview Jun 1, 1994 724
TOXNET's windows of opportunity open through M technology. Vasta, Bruno M.; Lantz, Robert E. Interview Jun 1, 1994 1177
MTA expands into 'real world' with first exhibition at COMDEX. Interview Jun 1, 1994 874
The honeymoon is over, but the marriage is fruitful. Dunbar, Carolyn Jun 1, 1994 1218
The future of M is in the hands of its users. Dunbar, Carolyn Interview Jun 1, 1994 1067
Spotlight on SIL. Garry, Michael Oct 1, 1993 1703
Newstrack. Fox, Robert Sep 1, 1993 1020
Introducing artificial intelligence into a high school's computer curriculum. Dillon, Richard W. Mar 1, 1993 1265
The Rendezvous language and architecture. Hill, Ralph D.; Brinck, Tom; Patterson, John F.; Rohall, Steven L.; Wilner, Wayne T. Cover Story Jan 1, 1993 2025
Turing Award lecture: elements of interaction. Milner, Robin Jan 1, 1993 8323
Visualizing evaluation in applicative languages. Touretzky, David S.; Lee, Peter Technical Oct 1, 1992 4946
Cross-cultural transfer of a programming language. Harper, Dennis O. Aug 1, 1992 2853
Retire Fortran? A debate rekindled. Cann, David Cover Story Aug 1, 1992 4765
Compiling Fortran D for MIMD distributed-memory machines. Hiranandani, Seema; Kennedy, Ken; Chau-Wen Tseng Cover Story Aug 1, 1992 10750
SIGPLAN holds simultaneous conference and workshops. May 1, 1992 124
Nancy's Wordsmithy. Allison, Nancy Column May 1, 1992 1526
A visual software process language. Shepard, Terry; Sibbald, Steve; Wortley, Colin Technical Apr 1, 1992 4929
Memoing for logic programs. Warren, David S. Mar 1, 1992 13727
Notes on implementing sets in Prolog. Munakata, Toshinori Mar 1, 1992 6307
The case for case studies of programming problems. Linn, Marcia C.; Clancy, Michael J. Mar 1, 1992 6515
Coordination languages and their significance. Gelernter, David; Carriero, Nicholas Feb 1, 1992 7356
The "HyTime" hypermedia/time-based document structuring language. Newcomb, Steven R.; Kipp, Neill A.; Newcomb, Victoria T. Technical Nov 1, 1991 10485
Standard generalized markup language (SGML; ISO/IEC 8879/1986). Nov 1, 1991 806
CLOS: integrating object-oriented and functional programming. Gabriel, Richard P.; White, Jon L.; Bobrow, Daniel G. technical Sep 1, 1991 6718
The philosophy of LISP. Sinclair, Kenneth H.; Moon, David A. technical Sep 1, 1991 3421
LISP systems in the 1990s. Layer, D. Kevin; Richardson, Chris technical Sep 1, 1991 7016
CLIM: the Common Lisp Interface Manager. McKay, Scott technical Sep 1, 1991 1370
LispView: leverage through integration. Muller, Hans Sep 1, 1991 1114
Delivering the goods with Lisp. Barber, Richard; Imlah, George Sep 1, 1991 2177
Real-time programming in Common LISP. Allard, James R.; Hawkinson, Lowell B. technical Sep 1, 1991 3696
First year on the PIL. Rosenberg, Jim Jul 6, 1991 1244
Visual Basic: A standard for graphical scripting? Jun 3, 1991 1259
Three new-generation software environments. Tyugu, Enn Jun 1, 1991 6871
Intelligent software technology for the new decade. Narin'yani, Alexander S. Jun 1, 1991 4237
LaSSIE: a knowledge-based software information system. Devanbu, Premkumar T.; Brachman, Ronald J.; Selfridge, Peter G.; Ballard, Bruce W. technical May 1, 1991 11698
Commentary: object-oriented megaprogramming. Wegner, Peter Oct 1, 1990 711
NEST: a network simulation and prototyping testbed. Dupuy, Alexander; Schwartz, Jed; Yemini, Yechiam; Bacon, David technical Oct 1, 1990 6640
Implementation benefits of C++ language mechanisms. Jordan, David Sep 1, 1990 3325
Trellis: turning designs into programs. Kilian, Michael Sep 1, 1990 2148
Constraint logic programming languages. Cohen, Jacques Jul 1, 1990 10726
An introduction to Prolog III. Colmerauer, Alain Jul 1, 1990 12782
The fate of Fortran-8x. Hunter, Geoffrey column Apr 1, 1990 2066
In response to the fate of Fortran-8x. Bailey, David H. Apr 1, 1990 1049
Additional thoughts. Brainerd, Walt column Apr 1, 1990 560
Literate programming: weaving a language-independent web. Van Wyk, Christopher J. Sep 1, 1989 2905
DEBL: a knowledge-based language for specifying and debugging distributed programs. Cheng, Wan-Hong S.; Wallentine, Virgil E. Sep 1, 1989 3089
Using a global name space for parallel execution of UNIX tools. Fleckenstein, Charles J.; Hemmendinger, David technical Sep 1, 1989 4519
A graphics interface for linear programming. Ma, Pai-Chun; Murphy, Frederic H.; Stohr, Edward A. Aug 1, 1989 5594
Economics: on-line and interactive. Wykoff, Frank C. Jul 1, 1989 1721
A definition optimization technique used in a code translation algorithm. Dejean, David M; Zobrist, George W. technical Jan 1, 1989 3847
The Turing programming language. Holt, Richard C.; Cordy, James R. technical Dec 1, 1988 9718
Fourth-generation computer languages: an overview. Ricks, John Oct 1, 1988 2058
Computer graphics tools for the study of minimal surfaces. Callahan, Michael J.; Hoffman,David; Hoffman, James T. technical Jun 1, 1988 6939
Relational database design using an Object-Oriented Methodology. Blaha, Michael R.; Premerlani, William J.; Rumbaugh, James E. Apr 1, 1988 5692
Distributed programming in Argus. Liskov, Barbara Mar 1, 1988 8608
Parlog86 and the dining logicians. Ringwood, G.A. Jan 1, 1988 10192
Bright ideas that still shine. Peterson, Ivars Aug 9, 1986 1407
Taking a look at Ada. Apr 19, 1986 152

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