Tag #pascal
20 papers:
TOOLS-EUROPE-2001-PfisterW #component #framework- Building Component Frameworks with Component Pascal (CP, WW), pp. 165–166.
SIGAda-1998-MurtaghH #ada #comparison- A Comparison of Ada and Pascal in an Introductory Computer Science Course (JLM, JAHJ), pp. 75–80.
SEKE-1996-FoxBM #automation #debugging #fault #process #syntax- Automating the Debugging Process of Pascal Syntax Errors (RF, CB, JM), pp. 92–99.
- TRI-Ada-C-1992-Jarc #ada
- Ada, Pascal’s Replacement for Introductory Courses in Computer Science (DJJ), pp. 126–134.
POPL-1984-MilosPL #compilation #implementation #revisited #specification- Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited (DM, UFP, GL), pp. 196–207.
SCC-1984-MacLaren - Inline routines in VAXELN Pascal (MDM), pp. 266–275.
- SCC-1984-Robbins #compilation #performance
- Engineering a high-capacity Pascal compiler for high performance (DCR), pp. 300–309.
ICSE-1984-Rogers #readability- A New Program Structure to Improve Accuracy and Readability of Pascal Software (WJR), pp. 454–462.
SIGMOD-1982-JarkeS #database #query #relational- Query Processing Strategies in the PASCAL/R Relational Database Management System (MJ, JWS), pp. 256–264.
- SCC-1982-MadhavjiW
- Cray Pascal (NHM, IRW), pp. 1–14.
- ICSE-1982-WarrenMH #experience #quality #source code
- Experience with a Module Package in Developing Production Quality PASCAL Programs (SW, BEM, CH), pp. 246–253.
- SCC-1979-HansenSC #compilation #multi
- Construction of a transportable, multi-pass compiler for extended Pascal (GJH, GAS, JDC), pp. 117–126.
- SCC-1979-Nelson #comparison
- A comparison of PASCAL intermediate languages (PAN), pp. 208–213.
- SCC-1979-PerkinsS #independence #optimisation
- Machine-independent PASCAL code optimization (DRP, RLS), pp. 201–207.
- ICSE-1979-CampbellK
- Path Expressions in Pascal (RHC, RBK), pp. 212–219.
- ICSE-1978-KieburtzBH
- A Type-Checking Program Linkage System for Pascal (RBK, WB, CRH), pp. 23–28.
- ICSE-1978-PerschW
- Symbolic Interpretation and Tracing of PASCAL-Programs (GP, GW), pp. 312–319.
ICALP-1977-AptB #proving #semantics- Semantics and Proof Theory of Pascal Procedures (KRA, JWdB), pp. 30–44.
SOSP-1977-Lohr #concurrent- Beyond Concurrent Pascal (KPL), pp. 173–180.
- ICSE-1976-SilberschatzKB #concurrent #resource management
- Extending Concurrent Pascal to Allow Dynamic Resource Management (AS, RBK, AJB), p. 236.
