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 |
USING WEB ONTOLOGY LANGUAGE TO UNDERSTAND SOFTWARE COMPONENTS BEHAVIOR. |
|
Report |
Feb 28, 2015 |
3578 |
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 |
STATE-OF-THE-ART PROGRAMMING IN VISUAL BASIC AND C#: A COMPARATIVE STUDY. |
|
Report |
Mar 31, 2013 |
2452 |
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 |
JUNE WORKSHOP EXAMINES DRAFT LANGUAGE FOR MATERIALS DATA EXCHANGE. |
|
|
May 1, 2001 |
173 |
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 |
RUNNABLE NATURAL LANGUAGE SPECIFICATION USING TWO LEVEL GRAMMAR. |
|
Brief Article |
Apr 1, 2001 |
244 |
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 |
LYNUXWORKS INTRODUCES BREAKTHROUGH TECHNOLOGY FOR EMBEDDED CODE DEVELOPMENT. |
|
Product Announcement |
Nov 13, 2000 |
261 |
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 |
MODELING WEB APPLICATION DESIGN WITH UML. |
|
Brief Article |
Jan 1, 2000 |
196 |
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 |