23 papers:
TOOLS-EUROPE-2001-PfisterW #component #framework #pascal- Building Component Frameworks with Component Pascal (CP, WW), pp. 165–166.
SIGAda-1998-MurtaghH #ada #comparison #pascal- A Comparison of Ada and Pascal in an Introductory Computer Science Course (JLM, JAHJ), pp. 75–80.
SEKE-1996-FoxBM #automation #debugging #fault #pascal #process #syntax- Automating the Debugging Process of Pascal Syntax Errors (RF, CB, JM), pp. 92–99.
- TRI-Ada-C-1992-Jarc #ada #pascal
- Ada, Pascal’s Replacement for Introductory Courses in Computer Science (DJJ), pp. 126–134.
OOPSLA-1986-Olthoff #concept #data type #experience #object-oriented #programming #type system- Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience (WGO), pp. 429–443.
SCC-1984-MacLaren #pascal- Inline routines in VAXELN Pascal (MDM), pp. 266–275.
- SCC-1984-Robbins #compilation #pascal #performance
- Engineering a high-capacity Pascal compiler for high performance (DCR), pp. 300–309.
POPL-1984-MilosPL #compilation #implementation #pascal #revisited #specification- Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited (DM, UFP, GL), pp. 196–207.
ICSE-1984-Rogers #pascal #readability- A New Program Structure to Improve Accuracy and Readability of Pascal Software (WJR), pp. 454–462.
STOC-1983-Olderog #hoare #logic #source code- A Characterization of Hoare’s Logic for Programs with Pascal-like Procedures (ERO), pp. 320–329.
SIGMOD-1982-JarkeS #database #pascal #query #relational- Query Processing Strategies in the PASCAL/R Relational Database Management System (MJ, JWS), pp. 256–264.
- SCC-1982-MadhavjiW #pascal
- Cray Pascal (NHM, IRW), pp. 1–14.
- ICSE-1982-WarrenMH #experience #pascal #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 #pascal
- Construction of a transportable, multi-pass compiler for extended Pascal (GJH, GAS, JDC), pp. 117–126.
- SCC-1979-Nelson #comparison #pascal
- A comparison of PASCAL intermediate languages (PAN), pp. 208–213.
- SCC-1979-PerkinsS #independence #optimisation #pascal
- Machine-independent PASCAL code optimization (DRP, RLS), pp. 201–207.
- ICSE-1979-CampbellK #pascal
- Path Expressions in Pascal (RHC, RBK), pp. 212–219.
- ICSE-1978-KieburtzBH #pascal
- A Type-Checking Program Linkage System for Pascal (RBK, WB, CRH), pp. 23–28.
- ICSE-1978-PerschW #pascal
- Symbolic Interpretation and Tracing of PASCAL-Programs (GP, GW), pp. 312–319.
ICALP-1977-AptB #pascal #proving #semantics- Semantics and Proof Theory of Pascal Procedures (KRA, JWdB), pp. 30–44.
SOSP-1977-Lohr #concurrent #pascal- Beyond Concurrent Pascal (KPL), pp. 173–180.
- DIPL-1976-FischerL #data access #runtime
- Run-time checking of data access in Pascal-like languages (CNF, RJL), pp. 215–230.
- ICSE-1976-SilberschatzKB #concurrent #pascal #resource management
- Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract) (AS, RBK, AJB), p. 236.
